Merge requests · pub

[blog] post about new machdep mechanism

pub.frama-c.com!216 · created Dec 21, 2023 by Andre Maroneze
blog
- Merged
- 13
- Approved
updated Jan 29, 2024
Resolve "[prove] running prove without path argument"

why3find!48 · created Jan 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Jan 24, 2024
New year improvements

colibrics!50 · created Jan 08, 2024 by François Bobot
- Merged
- 3
updated Jan 22, 2024
Resolve "[scan] avoid special directories"

why3find!47 · created Jan 22, 2024 by Benjamin Jorge 1.0
bug
- Merged
- 8
- Approved
updated Jan 22, 2024
Add OCamlPro to the acknowledgements page

colibri-website!5 · created Dec 08, 2023 by Hichem R. A.
- Merged
updated Jan 11, 2024
update information about Aorai website

pub.frama-c.com!215 · created Dec 21, 2023 by Andre Maroneze
- Merged
- 1
- Approved
updated Jan 09, 2024
[LRA] expose builtins

colibrics!51 · created Jan 08, 2024 by Hichem R. A.
- Merged
- Approved
updated Jan 08, 2024
Fix RSS links: no more spaces before/after

pub.frama-c.com!217 · created Jan 07, 2024 by Allan Blanchard
updated Jan 07, 2024
Bobot/abs

colibrics!49 · created Dec 20, 2023 by François Bobot
- Merged
updated Dec 20, 2023
Fixes

colibrics!47 · created Dec 07, 2023 by François Bobot
- Merged
- 2
updated Dec 20, 2023
Small fixes in dune projects

colibrics!48 · created Dec 08, 2023 by Christophe Junke
- Merged
- 4
updated Dec 11, 2023
New internship/refinement

pub.frama-c.com!214 · created Dec 07, 2023 by Allan Blanchard
updated Dec 07, 2023
Add simplified regression test for init

colibrics!46 · created Nov 30, 2023 by François Bobot
- Merged
- 1
updated Dec 07, 2023
Release 28.0 NIckel: add Ivette packages for Linux

pub.frama-c.com!213 · created Dec 01, 2023 by Allan Blanchard
- Merged
- 10
updated Dec 05, 2023
Release 28.0-Nickel

pub.frama-c.com!212 · created Nov 30, 2023 by Frama-CI Bot
updated Nov 30, 2023
Fix unsoundness with sqrt

colibrics!45 · created Nov 29, 2023 by François Bobot
- Merged
updated Nov 29, 2023
Multiple fixes on auto-generated pages

pub.frama-c.com!210 · created Oct 27, 2023 by Allan Blanchard
- Merged
- 1
updated Nov 29, 2023
Allows to detect contradiction when looking for choices

colibrics!44 · created Nov 16, 2023 by François Bobot
- Merged
- 4
updated Nov 21, 2023
Fix and simplify interpretation

colibrics!39 · created Oct 12, 2023 by François Bobot
- Merged
updated Nov 16, 2023
Fixes propagation of zero into known non-zero variable

colibrics!43 · created Oct 26, 2023 by François Bobot
- Merged
updated Nov 16, 2023