Merge requests · pub

ensure instructions also work with opam >= 2.1

pub.frama-c.com!203 · created Sep 13, 2023 by Andre Maroneze
- Merged
- 1
updated Sep 13, 2023
Improved get-frama-c page

pub.frama-c.com!200 · created Sep 07, 2023 by Allan Blanchard
updated Sep 11, 2023
Proper announce for Frama-Clang 0.0.14

pub.frama-c.com!201 · created Sep 08, 2023 by Virgile Prevosto
release
updated Sep 08, 2023
[stmr] add case study

open-source-case-studies!43 · created Sep 05, 2023 by Andre Maroneze
updated Sep 06, 2023
frama-clang v0.0.14

pub.frama-c.com!199 · created Sep 01, 2023 by Virgile Prevosto
release
- Merged
- 14
- Approved
updated Sep 01, 2023
Resolve "[doc] heading and multi-line comments"

why3find!45 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
- Merged
- 1
updated Aug 08, 2023
Resolve "[doc] missing summaries in index"

why3find!44 · created Aug 08, 2023 by Loïc Correnson 1.0
feature
updated Aug 08, 2023
Resolve "[doc] link with infix `<`"

why3find!42 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
updated Aug 08, 2023
Resolve "[all] collected files with `.`"

why3find!43 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
updated Aug 08, 2023
Updates nonterm logs: the display order of some callstacks changes.

open-source-case-studies!42 · created Jul 13, 2023 by David Bühler
updated Jul 19, 2023
Release 27.1-Cobalt

pub.frama-c.com!198 · created Jul 18, 2023 by Frama-CI Bot
updated Jul 18, 2023
Resolve "[doc] mention package soundness in features"

why3find!41 · created Jul 18, 2023 by Loïc Correnson 1.0
- Merged
- 5
updated Jul 18, 2023
Add test coverage

why3find!40 · created Jul 14, 2023 by Allan Blanchard
- Merged
- 6
- 1
updated Jul 17, 2023
Resolve "[ide] generate why3 ide strategy"

why3find!38 · created Jul 13, 2023 by Loïc Correnson 1.0
feature
updated Jul 13, 2023
[docgen] remove external infos

why3find!37 · created Jul 13, 2023 by Loïc Correnson
updated Jul 13, 2023
New plugin: deadlock

pub.frama-c.com!196 · created Jul 10, 2023 by Allan Blanchard
- Merged
updated Jul 10, 2023
[doc] detecting unsound definitions

why3find!36 · created Jul 07, 2023 by Loïc Correnson
bug
updated Jul 08, 2023
[prover] fix prover versions

why3find!35 · created Jul 07, 2023 by Loïc Correnson 1.0
bug
updated Jul 07, 2023
[doc] compute parametrized module soundness 4 of 4 checklist items completed

why3find!34 · created Jun 29, 2023 by Loïc Correnson
updated Jul 04, 2023
Resolve "[all] better user interface"

why3find!33 · created Jun 26, 2023 by Loïc Correnson 1.0
feature
updated Jun 27, 2023