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

Add missing CMFTBL operators #119

Open
tillschallau opened this issue May 29, 2024 · 1 comment
Open

Add missing CMFTBL operators #119

tillschallau opened this issue May 29, 2024 · 1 comment
Labels
discussion Something that should be discussed feature New feature
Milestone
v0.6

Comments

@tillschallau
Copy link
Member

Like the missing binding operator (cf. #113), there should be designated operators for the first-order parts: exists and forAll.
The Kotlin functions are currently used but I think a designated logic operator is consistent.
@tillschallau tillschallau added the feature New feature label May 29, 2024
@tillschallau tillschallau added this to the Future work milestone May 29, 2024
@dominikmaeckel
Copy link
Member

Also add Release operator and think of variant Weak Until vs. Strong Until

@dominikmaeckel dominikmaeckel added the discussion Something that should be discussed label Jul 8, 2024
@tillschallau tillschallau modified the milestones: Future work, v0.5 Aug 2, 2024
@tillschallau tillschallau modified the milestones: v0.5, v0.6 Nov 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
discussion Something that should be discussed feature New feature
Projects
None yet
Milestone
v0.6
Development

No branches or pull requests
2 participants
@tillschallau @dominikmaeckel