Merge requests · pub / colibrics

Release helpers

!24 · created Jun 18, 2022 by François Bobot
- Merged
updated Jun 20, 2022
Dev

!23 · created Apr 08, 2022 by François Bobot
- Merged
updated Jun 17, 2022
[Farith2] Runtime checks with assertions

!22 · created Jan 07, 2022 by François Bobot
- Merged
- 1
updated Jun 17, 2022
[Tests] readd more time for CI

!21 · created Dec 17, 2021 by François Bobot
- Merged
updated Jan 04, 2022
Better reccursive function handling

!20 · created Oct 08, 2021 by François Bobot
- Merged
updated Dec 16, 2021
Start proving union interval with Colibri2

!19 · created Sep 28, 2021 by François Bobot
- Merged
updated Sep 29, 2021
Fix artifact path for colibri2

!18 · created Aug 13, 2021 by François Bobot
- Merged
updated Aug 13, 2021
Separate Abs and Sign

!17 · created Aug 12, 2021 by François Bobot
- Merged
updated Aug 12, 2021
Fp/ieee

!16 · created Jul 28, 2021 by Arthur Correnson
- Merged
- 6
updated Aug 12, 2021
Start of learning

!15 · created Jun 25, 2021 by François Bobot
- Merged
- 2
- Approved
updated Jun 28, 2021
Add get-model and get-value

!14 · created Jun 18, 2021 by François Bobot
- Merged
updated Jun 21, 2021
Feature/fp check

!12 · created Jun 03, 2021 by Arthur Correnson
- Merged
updated Jun 12, 2021
Improve doc, a simplify daemons

!13 · created Jun 07, 2021 by François Bobot
- Merged
updated Jun 11, 2021
[CI] Fix static compilation

!11 · created May 26, 2021 by François Bobot
- Merged
updated Jun 11, 2021
Iterative deepening must limit the depth

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

!10 · created May 19, 2021 by Arthur Correnson
- Merged
- 1
updated May 20, 2021
Define properly stage0 and stage1

!6 · created Apr 29, 2021 by François Bobot
- Merged
updated May 20, 2021
One delayed by environment

!7 · created May 06, 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
Fix quantifiers and propagation of equality in fourier

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