issues
search
OCamlPro
/
alt-ergo
OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
133
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix(CP): Do not add unnecessary explanations to domains
#1065
bclement-ocp
closed
7 months ago
0
fix(incremental): Reset to `Assert` mode after `push`/`pop` command
#1064
bclement-ocp
closed
7 months ago
0
Decision level of `SatML` after calling `unsat`
#1063
Halbaroth
opened
7 months ago
0
Update `Lib_usage.ml`
#1062
Halbaroth
closed
7 months ago
4
Use set of literals in `Relation` API
#1061
bclement-ocp
opened
7 months ago
0
CHANGES for 2.5.3
#1060
bclement-ocp
closed
7 months ago
0
Do not hardcode Dynlink error in test output
#1059
bclement-ocp
closed
7 months ago
0
feat(BV): Interval domains for bit-vectors
#1058
bclement-ocp
closed
4 months ago
12
feat(BV): Generic constraint representation
#1057
bclement-ocp
closed
7 months ago
0
feat(BV,CP): Explicit constraint simplification
#1056
bclement-ocp
closed
7 months ago
0
feat(BV,CP): Ephemeral API for domain updates
#1055
bclement-ocp
closed
7 months ago
1
feat(BV,CP): Use a FIFO queue for constraint propagation
#1054
bclement-ocp
closed
7 months ago
2
chore(dolmen): Use Dolmen builtins for bv2nat and int2bv
#1053
bclement-ocp
closed
7 months ago
1
fix(CI): Use lockfile for all workflows
#1052
bclement-ocp
closed
7 months ago
0
fix(Dolmen): Parse triggers from formula body
#1051
bclement-ocp
closed
7 months ago
8
fix(build): Require dolmen 0.9
#1050
bclement-ocp
closed
7 months ago
1
feat(plugins): Use dune-site for inequalities plugins
#1049
bclement-ocp
closed
7 months ago
0
Do not hardcode Dynlink error in test output
#1048
bclement-ocp
closed
7 months ago
1
Tests failure with OCaml 5.2
#1047
kit-ty-kate
closed
7 months ago
4
fix(dolmen): Preserve trigger order
#1046
bclement-ocp
closed
8 months ago
0
feat: Statically linked binary releases
#1045
bclement-ocp
closed
7 months ago
4
CP: Support for domains on non-leaves
#1044
bclement-ocp
closed
7 months ago
0
chore(CI): Bump GitHub Actions to v4
#1043
bclement-ocp
closed
9 months ago
0
chore: Check modified files for style in pre-commit hook
#1042
bclement-ocp
closed
9 months ago
0
feat(CDCL-Tableaux): Do not make irrelevant decisions
#1041
bclement-ocp
closed
7 months ago
3
cleanup(CP): Simplify constraint handling
#1040
bclement-ocp
closed
7 months ago
3
Use a wrapper to set timers
#1039
Halbaroth
closed
8 months ago
6
Remove the Records_rel module
#1038
Halbaroth
closed
9 months ago
4
Fix the `Dune` rule to generate the manpage
#1037
Halbaroth
closed
9 months ago
0
Fix the `Dune` rule to generate the manpage
#1036
Halbaroth
closed
9 months ago
4
Alt-Ergo 2.5.2 doesn't compile with `Dune 3.13`
#1035
Halbaroth
closed
7 months ago
4
cleanup(CDCL): Type-safe proxy representation
#1034
bclement-ocp
closed
9 months ago
0
Remove stubs for the shostak theory for Ite and Array
#1033
Halbaroth
closed
9 months ago
0
Support `get-value` statement
#1032
Halbaroth
opened
9 months ago
13
fix(Shostak): names must return `false` for `X.is_constant`
#1031
bclement-ocp
closed
9 months ago
0
cleanup(CDCL): Get rid of `repush` list
#1030
bclement-ocp
closed
9 months ago
4
cleanup: Make `Vec.shrink` take the new length
#1029
bclement-ocp
closed
9 months ago
0
cleanup: Use proper namespacing for names
#1028
bclement-ocp
closed
9 months ago
0
feat(CDCL): Add ability to decide on semantic literals
#1027
bclement-ocp
closed
7 months ago
9
Partial documentation of SatML
#1026
Halbaroth
opened
9 months ago
0
fix(arith): Do not overly tighten bounds over infinite domains
#1025
bclement-ocp
closed
10 months ago
9
Mode is not properly updated on push/pop
#1024
bclement-ocp
closed
7 months ago
0
Invalid SAT environment while optimizing
#1023
Halbaroth
opened
10 months ago
8
Unsoundness in model generation
#1022
bclement-ocp
closed
10 months ago
1
Copy the ocp-checker binary even if one already exists
#1021
bclement-ocp
closed
10 months ago
0
Clean up documentation of the SAT API
#1020
Halbaroth
closed
10 months ago
0
Complete model
#1019
Halbaroth
closed
9 months ago
2
[RFC] Input AST of the SAT API
#1018
Halbaroth
opened
10 months ago
3
Removing testers in the ADT Shostak theory
#1017
Halbaroth
closed
10 months ago
0
Removing exhaustive exception catch in satml_frontend
#1016
Stevendeo
closed
10 months ago
0
Previous
Next