Merge requests · pub

[Monad] Don't schedule useless propagation

colibrics!99 · created Jan 31, 2025 by François Bobot
- Merged
updated Feb 04, 2025
synchronize with frama-c master

open-source-case-studies!62 · created Jan 31, 2025 by Andre Maroneze
updated Feb 03, 2025
[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
[FixModel] Propagate value to union of interval

colibrics!97 · created Jan 24, 2025 by François Bobot
- Merged
- 2
updated Jan 24, 2025
[Scheduler] Add restart without activating it

colibrics!96 · created Jan 23, 2025 by François Bobot
- Merged
- 1
updated Jan 24, 2025
compatibility for trace version 0.9

colibrics!95 · created Jan 23, 2025 by François Bobot
- Merged
- 1
updated Jan 23, 2025
Fix urls

colibri-website!9 · created Jan 23, 2025 by Christophe Junke
updated Jan 23, 2025
Fix repeated interval in simplex

colibrics!94 · created Jan 21, 2025 by François Bobot
- Merged
updated Jan 21, 2025
Refactor scheduler

colibrics!93 · created Jan 20, 2025 by François Bobot
- Merged
updated Jan 20, 2025
Synchronize

colibri!52 · created Jan 20, 2025 by Christophe Junke
updated Jan 20, 2025
[runner] fair time wall

why3find!166 · created Jan 18, 2025 by Loïc Correnson
bug prove
- Merged
- 3
updated Feb 05, 2025
[prove] add option -X

why3find!165 · created Jan 16, 2025 by Loïc Correnson
cli
- Merged
- 5
- Approved
updated Feb 05, 2025
Add E-ACSL PhD on Multistate RAC

pub.frama-c.com!251 · created Jan 14, 2025 by Allan Blanchard
- Merged
- 2
updated Jan 15, 2025
Bobot/help simplex

colibrics!92 · created Jan 13, 2025 by François Bobot
- Merged
- 1
updated Jan 21, 2025
Factorize skolem

colibrics!91 · created Jan 13, 2025 by François Bobot
- Merged
- 1
updated Jan 23, 2025
Do not backtrack

why3find!164 · created Jan 10, 2025 by Benjamin Jorge
- Merged
- 3
updated Jan 10, 2025
Remember useful decision

colibrics!90 · created Jan 09, 2025 by François Bobot
- Merged
- 2
updated Jan 23, 2025
[Dune-project] Fix source

why3find!163 · created Jan 07, 2025 by François Bobot
- Merged
- 1
updated Jan 10, 2025
Fix and simplify scheduler

colibrics!89 · created Dec 23, 2024 by François Bobot
- Merged
- 3
updated Jan 23, 2025
Changelog : Highlight most important new features, various minor changes

why3find!162 · created Dec 18, 2024 by Benjamin Jorge 1.1
- Merged
- 1
updated Dec 18, 2024