Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Redo Predicates removed from ePO 4.2.0 #707

Open
AchillesDougalis opened this issue Oct 16, 2024 · 1 comment
Open

Redo Predicates removed from ePO 4.2.0 #707

AchillesDougalis opened this issue Oct 16, 2024 · 1 comment
Assignees
@AchillesDougalis
Labels
act: for implementation it can be implemented and closed, all is clear module: ePO core ePO core type: feature request something requested to be implemented in a future release
Milestone
5.0.0

Comments

@AchillesDougalis
Copy link
Contributor

AchillesDougalis commented Oct 16, 2024 •
edited
Loading

Recreate the following predicates that were removed from ePO 4.2.0. in #705. This may happen in ePO 5.0.0 or a subsequent ePO version after a WG approval of these predicates takes place.
image
@AchillesDougalis AchillesDougalis added type: feature request something requested to be implemented in a future release module: ePO core ePO core act: for implementation it can be implemented and closed, all is clear labels Oct 16, 2024
@AchillesDougalis AchillesDougalis added this to the 5.0.0 milestone Oct 16, 2024
@AchillesDougalis AchillesDougalis self-assigned this Oct 16, 2024
@andreea-pasare
Copy link
Collaborator

Implemented as depicted below:
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AchillesDougalis AchillesDougalis

Labels
act: for implementation it can be implemented and closed, all is clear module: ePO core ePO core type: feature request something requested to be implemented in a future release
Projects
None yet
Milestone
5.0.0
Development

No branches or pull requests
2 participants
@andreea-pasare @AchillesDougalis