Merge requests · pub / colibrics

[Egraph] Fix a bug in egraph (node with value)

!9 · created May 18, 2021 by François Bobot
- Merged
- 1
updated May 20, 2021
Fix/readme

!8 · created May 17, 2021 by Arthur Correnson
- Closed
- 2
updated May 20, 2021
One delayed by environment

!7 · created May 06, 2021 by François Bobot
- Merged
updated May 20, 2021
Define properly stage0 and stage1

!6 · created Apr 29, 2021 by François Bobot
- Merged
updated May 20, 2021
Use Why3 1.4 for extraction

!5 · created Apr 24, 2021 by François Bobot
- Merged
updated May 20, 2021
Headers and installation instructions.

!4 · created Apr 21, 2021 by François Bobot
- Merged
updated Apr 21, 2021
Fix quantifiers and propagation of equality in fourier

!3 · created Apr 21, 2021 by François Bobot
- Merged
updated May 20, 2021
Some extensions

!2 · created Apr 19, 2021 by François Bobot
- Merged
updated May 20, 2021
Iterative deepening must limit the depth

!1 · created Apr 13, 2021 by François Bobot
updated May 20, 2021