Merge requests · pub

[LRA] normalize gt and ge to lt and le

colibrics!98 · created Jan 24, 2025 by Hichem R. A.
- Merged
- 1
updated Jan 24, 2025
synchronize with frama-c master

open-source-case-studies!62 · created Jan 31, 2025 by Andre Maroneze
updated Feb 03, 2025
[Monad] Don't schedule useless propagation

colibrics!99 · created Jan 31, 2025 by François Bobot
- Merged
updated Feb 04, 2025
[LRA] Move all the converter in one module

colibrics!100 · created Feb 03, 2025 by François Bobot
- Merged
- 1
updated Feb 06, 2025
[Equality] add function for iterating of distinct

colibrics!102 · created Feb 06, 2025 by François Bobot
- Merged
- 2
updated Mar 12, 2025
[Value] Values have also a type

colibrics!103 · created Feb 09, 2025 by François Bobot
- Merged
- 3
updated Mar 12, 2025
Exact times in cache

why3find!169 · created Feb 11, 2025 by Benjamin Jorge
bug prove
- Merged
- 3
- Approved
updated Feb 28, 2025
Add an option to suppress or force progress output

why3find!170 · created Feb 12, 2025 by Benjamin Jorge
updated Feb 12, 2025
[mbedtls] update custom leon4 machdep

open-source-case-studies!63 · created Feb 13, 2025 by Andre Maroneze
- Merged
- 2
updated Feb 13, 2025
Simplex one decision by one decision

colibrics!104 · created Feb 13, 2025 by François Bobot
- Merged
- 1
updated Mar 12, 2025
synchronize with frama-c master

open-source-case-studies!64 · created Feb 17, 2025 by Andre Maroneze
updated Feb 19, 2025
Release for february 2025

colibri!53 · created Feb 18, 2025 by Christophe Junke
updated Feb 18, 2025
Remove COLIBRI/ and Floats/ top directories

colibri!54 · created Feb 19, 2025 by Christophe Junke
updated Feb 19, 2025
Update and fix tests

colibri!55 · created Feb 19, 2025 by Christophe Junke
updated Feb 19, 2025
Make all tests pass by ignoring some tests

colibri!56 · created Feb 19, 2025 by Christophe Junke
updated Feb 19, 2025
Makefile: force tests for both versions of eclipse

colibri!57 · created Feb 19, 2025 by Christophe Junke
updated Feb 19, 2025
sync with frama-c master

open-source-case-studies!65 · created Feb 24, 2025 by Andre Maroneze
updated Feb 24, 2025
[cache] fix version newline

why3find!171 · created Mar 06, 2025 by Loïc Correnson
bug cli
- Merged
- 1
updated Mar 07, 2025
synchronize with frama-c master

open-source-case-studies!66 · created Mar 07, 2025 by Andre Maroneze
updated Mar 07, 2025
Congruence domain

colibrics!105 · created Mar 12, 2025 by François Bobot
- Merged
- 1
updated Mar 12, 2025