Merge requests · pub / colibrics

Fix and simplify scheduler

!89 · created Dec 23, 2024 by François Bobot
- 1
updated Dec 24, 2024
Define a public name for generate_dune_tests

!88 · created Dec 19, 2024 by Christophe Junke
updated Dec 19, 2024
Fix --debug

!87 · created Dec 18, 2024 by François Bobot
- Merged
- 1
updated Dec 18, 2024
[LRA] make relop normalization optional

!86 · created Dec 13, 2024 by Hichem R. A.
- Merged
updated Dec 22, 2024
Use specific comparison for Learnt propagation

!85 · created Dec 12, 2024 by François Bobot
- Merged
- 1
updated Dec 23, 2024
[LRA] remove total pivot

!84 · created Nov 29, 2024 by Hichem R. A.
- Merged
updated Nov 29, 2024
Egraph.pp

!83 · created Nov 26, 2024 by François Bobot
- Merged
- 1
updated Dec 20, 2024
Interval domains updates using the pivot

!82 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Improvements to difflogic engine

!81 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Fix interleave function from Base

!80 · created Nov 23, 2024 by François Bobot
- Merged
- 3
updated Nov 25, 2024
[LRA] fix add_cst in sign_domain

!79 · created Nov 07, 2024 by Hichem R. A.
- Merged
updated Nov 07, 2024
[ITE] Simplify ITEs when consequence and alternative are the same

!78 · created Oct 25, 2024 by Hichem R. A.
- Merged
- 6
updated Nov 08, 2024
[LRA] Update dom for integers obtained from `select` operations

!77 · created Oct 21, 2024 by Hichem R. A.
- Merged
- 2
updated Nov 08, 2024
Cleanup and fix scheduler

!76 · created Oct 17, 2024 by François Bobot
- Merged
- 1
updated Oct 17, 2024
Merge nseq theory for merge

!75 · created Oct 17, 2024 by François Bobot
- Merged
updated Oct 17, 2024
Fix learning for decision that doesn't create decisions

!74 · created Oct 16, 2024 by François Bobot
- Merged
- 2
updated Oct 17, 2024
Share pattern matching, and avoid iterating on IP

!73 · created Oct 07, 2024 by François Bobot
- Merged
- 1
updated Oct 08, 2024
Resolve "Incompleteness on integer reasoning with intervals"

!72 · created Oct 02, 2024 by François Bobot
- Merged
- 2
updated Dec 22, 2024
[BV] support bvsub

!71 · created Sep 16, 2024 by Hichem R. A.
- Merged
- 2
updated Sep 17, 2024
Add linear approximations of products

!70 · created Sep 16, 2024 by Christophe Junke
- Merged
- 12
updated Dec 20, 2024