Merge requests · pub

Resolve "[prove] preserves partial proofs on Ctrl-C"

why3find!57 · created Feb 16, 2024 by Benjamin Jorge
feature
- Closed
- 18
- Approved
updated May 14, 2024
[doc] Fix bugs with clones 5 of 5 checklist items completed

why3find!58 · created Feb 20, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
Improved Eva messages about garbled mix

open-source-case-studies!47 · created Feb 27, 2024 by David Bühler
- Merged
- 11
updated Mar 20, 2024
Release 28.1-Nickel

pub.frama-c.com!221 · created Mar 01, 2024 by Frama-CI Bot
updated Mar 01, 2024
Add tracing information

colibrics!54 · created Mar 01, 2024 by Christophe Junke
- Merged
- 7
updated Mar 26, 2024
C utils

open-source-case-studies!48 · created Mar 04, 2024 by Remi Lazarini
- Merged
- 11
updated Mar 08, 2024
Bobot/decisions

colibrics!55 · created Mar 05, 2024 by François Bobot
- Merged
updated May 16, 2024
Draft: use nix for CI

colibrics!56 · created Mar 05, 2024 by François Bobot
updated Mar 26, 2024
Unify prover identification

why3find!59 · created Mar 12, 2024 by Benjamin Jorge
- Merged
- 1
- 1
updated Apr 26, 2024
[ci] Update nix commit

why3find!60 · created Mar 13, 2024 by Allan Blanchard
CI
updated Apr 26, 2024
Warning summary

why3find!61 · created Mar 18, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
use local 'cloc' to ensure a stable summary.md; only include git-tracked files

open-source-case-studies!49 · created Mar 19, 2024 by Andre Maroneze
- Merged
- 1
updated Mar 19, 2024
[gui] Fix menu item labels alignment

frama-c!12 · created Mar 19, 2024 by Sylvain Chiron
- Closed
- 1
updated Mar 29, 2024
[gzip124] improve parametrization

open-source-case-studies!50 · created Mar 20, 2024 by Andre Maroneze
updated Mar 20, 2024
check that summary.md is up-to-date via the CI

open-source-case-studies!51 · created Mar 20, 2024 by Andre Maroneze
updated Mar 21, 2024
synchronize with frama-c master

open-source-case-studies!52 · created Mar 21, 2024 by Andre Maroneze
updated Mar 21, 2024
[doc] Fix instances references

why3find!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
frama-clang Release 0.0.15

pub.frama-c.com!222 · created Mar 25, 2024 by Frama-CI Bot
- Merged
- Approved
updated Mar 26, 2024
Improve nsequence, arrays and implement diff logic

colibrics!57 · created Mar 26, 2024 by François Bobot
- Merged
updated Mar 26, 2024
[log] Improved output

why3find!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024