-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: d702e20/CGAAL
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Allow for any order of model and formula args
discussion
Details are under discussion
enhancement
New feature or request
good first issue
Good for newcomers
#225
opened Sep 15, 2023 by
falkecarlsen
Test 'strat_syn_despite_until_true' fails non-deterministically
bug
Something isn't working
#223
opened Sep 12, 2023 by
falkecarlsen
Check multiple queries at once
enhancement
New feature or request
#217
opened Sep 12, 2023 by
NicEastvillage
Rewrite and reduce ATL formula
enhancement
New feature or request
#214
opened Aug 10, 2023 by
NicEastvillage
Test algorithms::certain_zero::test::test_dcz_negation_02 can fail non-deterministically
#211
opened Jul 21, 2023 by
NicEastvillage
Separate Implementation and Integration Testing
refactoring
Rewriting or restructuring of existing features
#210
opened Jul 17, 2023 by
NicEastvillage
LCGS syntax update proposal
discussion
Details are under discussion
enhancement
New feature or request
#190
opened Jun 7, 2023 by
NicEastvillage
Rare SendErrors in Certain Zero
bug
Something isn't working
#188
opened Jun 5, 2023 by
NicEastvillage
Symbol checker reduction of expressions
enhancement
New feature or request
#161
opened May 13, 2021 by
MathiasMehl
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.