Merge requests · pub

Uninterp use disequalities for models

colibrics!40 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023
Fix and simplify interpretation

colibrics!39 · created Oct 12, 2023 by François Bobot
- Merged
updated Nov 16, 2023
Minor cosmetic changes

colibrics!38 · created Oct 11, 2023 by Hichem R. A.
- Merged
- Approved
updated Oct 12, 2023
Regression

colibrics!37 · created Oct 10, 2023 by François Bobot
- Merged
updated Oct 10, 2023
[why3] port to why3 1.7.x

why3find!46 · created Oct 05, 2023 by Loïc Correnson 1.0
bug
- Merged
- 1
updated Apr 26, 2024
Bobot/abs

colibrics!36 · created Oct 05, 2023 by François Bobot
- Merged
updated Oct 11, 2023
Add some css and some images

colibri-website!4 · created Oct 05, 2023 by Augustin Lemesle
- Merged
- 1
updated Oct 24, 2023
Remove support@frama-c.com

pub.frama-c.com!204 · created Sep 25, 2023 by Allan Blanchard
- Merged
- Approved
updated Sep 25, 2023
[CI] update docker and bump ocaml version

colibrics!35 · created Sep 15, 2023 by François Bobot
- Merged
updated Sep 15, 2023
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
Update node in CI (15 -> 18)

pub.frama-c.com!202 · created Sep 11, 2023 by Allan Blanchard
updated Oct 20, 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
Improved get-frama-c page

pub.frama-c.com!200 · created Sep 07, 2023 by Allan Blanchard
updated Sep 11, 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 "[all] collected files with `.`"

why3find!43 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
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
Release 27.1-Cobalt

pub.frama-c.com!198 · created Jul 18, 2023 by Frama-CI Bot
updated Jul 18, 2023