Merge requests · pub

Fixes unsoundness2 #22

colibri!10 · created Feb 06, 2021 by François Bobot
- Merged
updated Feb 08, 2021
Fix bug24

colibri!11 · created Feb 14, 2021 by François Bobot
- Merged
updated Feb 14, 2021
[blog] add post about benchmarking and -no-autoload-plugins

pub.frama-c.com!108 · created Feb 15, 2021 by Andre Maroneze
- Merged
- 1
updated Feb 16, 2021
[c-testsuite] add new case study

open-source-case-studies!13 · created Feb 22, 2021 by Andre Maroneze
- Merged
- 1
updated May 18, 2021
WIP: test support for lannotate

open-source-case-studies!14 · created Feb 25, 2021 by Andre Maroneze
updated Jan 21, 2022
frama-clang 0.0.10

pub.frama-c.com!109 · created Mar 08, 2021 by Virgile Prevosto
- Merged
- 5
updated Mar 08, 2021
[blog] add post about frama-c-gui Docker image

pub.frama-c.com!110 · created Mar 12, 2021 by Andre Maroneze
blog
updated Mar 16, 2021
Redirection page for the old BTS

pub.frama-c.com!111 · created Mar 29, 2021 by Allan Blanchard
updated Mar 31, 2021
Fixes BTS id format

pub.frama-c.com!112 · created Mar 31, 2021 by Allan Blanchard
- Merged
updated Mar 31, 2021
Fix bug25

colibri!12 · created Apr 01, 2021 by François Bobot
- Merged
- 1
updated Apr 09, 2021
[tsvc] new case study

open-source-case-studies!15 · created Apr 07, 2021 by Andre Maroneze
updated Apr 27, 2021
Fix bug25

colibri!13 · created Apr 12, 2021 by François Bobot
- Merged
- 1
updated Apr 24, 2021
Iterative deepening must limit the depth

colibrics!1 · created Apr 13, 2021 by François Bobot
updated May 20, 2021
[tests] use shorter, path-independent includes

frama-c!4 · created Apr 16, 2021 by Andre Maroneze
- Closed
updated Apr 16, 2021
Some extensions

colibrics!2 · created Apr 19, 2021 by François Bobot
- Merged
updated May 20, 2021
Fix quantifiers and propagation of equality in fourier

colibrics!3 · created Apr 21, 2021 by François Bobot
- Merged
updated May 20, 2021
Headers and installation instructions.

colibrics!4 · created Apr 21, 2021 by François Bobot
- Merged
updated Apr 21, 2021
Use Why3 1.4 for extraction

colibrics!5 · created Apr 24, 2021 by François Bobot
- Merged
updated May 20, 2021
Bug #26

colibri!14 · created Apr 26, 2021 by François Bobot
- Merged
- 1
updated Apr 27, 2021
More detailed installation page

pub.frama-c.com!113 · created Apr 27, 2021 by Allan Blanchard
- Merged
- 11
- Approved
updated Apr 28, 2021