Skip to content

Issues: OCamlPro/alt-ergo

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

98 Open 236 Closed
98 Open 236 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Unfair matching bug instantiation this issue is related to the instantiation mechanism
#1105 opened May 2, 2024 by Halbaroth
@Halbaroth
4
Shadowing builtin types in Alt-Ergo native language frontend
#1104 opened May 2, 2024 by Halbaroth
3
Assertion failed in Expr on next bug
#1099 opened Apr 29, 2024 by Halbaroth 2.6.0
1
@Halbaroth
ADT: Normalize representatives in assume
#1096 opened Apr 22, 2024 by bclement-ocp
1
@Halbaroth
Potential soundness issues in the interval module 💣 soundness
#1092 opened Apr 9, 2024 by bclement-ocp
@bclement-ocp
Check that we are compatible with bytecode-only environments
#1066 opened Mar 21, 2024 by bclement-ocp
Decision level of SatML after calling unsat bug
#1063 opened Mar 19, 2024 by Halbaroth
@Halbaroth
Use set of literals in Relation API
#1061 opened Mar 19, 2024 by bclement-ocp
Invalid SAT environment while optimizing bug
#1023 opened Jan 8, 2024 by Halbaroth
@Halbaroth
8
[RFC] Input AST of the SAT API backlog clean-up
#1018 opened Dec 22, 2023 by Halbaroth
5 tasks
3
ADT reasoning on distinct literals is incomplete completeness This issue is about completeness of theories reasoning This issue is about improving reasoning capabilities.
#1014 opened Dec 14, 2023 by Halbaroth
8
Simple ADT test with different behavior with or without push bug
#1008 opened Dec 11, 2023 by Stevendeo
@Halbaroth
3
Case split policy may be too aggressive
#1005 opened Dec 11, 2023 by bclement-ocp
Windows CI
#1002 opened Dec 5, 2023 by bclement-ocp 2.6.0
@Halbaroth
Optimization and push and pop bug optimization This issue is related to optimization in models.
#993 opened Nov 29, 2023 by Halbaroth 2.6.0
@Halbaroth
2
Review AC(X) implementation
#989 opened Nov 29, 2023 by bclement-ocp
@bclement-ocp
Style guide?
#967 opened Nov 22, 2023 by bclement-ocp
Make satML types abstract
#963 opened Nov 22, 2023 by bclement-ocp
Timeouts are broken
#946 opened Nov 17, 2023 by bclement-ocp
@Stevendeo
9
Add psmt2 tests
#940 opened Nov 16, 2023 by bclement-ocp
Wrong model for arrays bug models This issue is related to model generation.
#929 opened Nov 9, 2023 by Halbaroth
@Halbaroth
Native support for Windows build
#919 opened Oct 30, 2023 by Halbaroth
@Halbaroth
5
Enable prelude by default performance regression
#917 opened Oct 24, 2023 by bclement-ocp 2.6.0
@Halbaroth
4
Using one opam package for the library, the binary and the parsers build
#910 opened Oct 18, 2023 by Halbaroth
Testing Alt-Ergo compiled with Flamba 2 testing
#906 opened Oct 18, 2023 by Halbaroth
@Stevendeo
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.