Merge requests · pub

replace twitter with mastodon

pub.frama-c.com!219 · created Feb 05, 2024 by Andre Maroneze
- Merged
- 2
updated Feb 05, 2024
Resolve "[doc] shall document all files by default"

why3find!52 · created Jan 29, 2024 by Loïc Correnson
bug
updated Jan 29, 2024
[blog] improve layout for internal anchors

pub.frama-c.com!218 · created Jan 29, 2024 by Andre Maroneze
CSS blog
- Merged
- 3
- Approved
updated Feb 21, 2024
Update core to v1.16.1

colibrics!53 · created Jan 29, 2024 by Hichem R. A.
- Merged
- 2
- Approved
updated Jan 30, 2024
[wenv] options: make '!' prefix work as expected

why3find!50 · created Jan 25, 2024 by Benjamin Jorge
bug
- Merged
- 8
updated Jan 30, 2024
Resolve "[prove] give more information on failure"

why3find!49 · created Jan 24, 2024 by Benjamin Jorge
feature
- Merged
- 13
- Approved
updated Feb 05, 2024
Resolve "[prove] running prove without path argument"

why3find!48 · created Jan 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Jan 24, 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
[gnugo] add case study

open-source-case-studies!46 · created Jan 16, 2024 by Andre Maroneze
- Merged
- 13
updated Mar 19, 2024
[LRA] expose builtins

colibrics!51 · created Jan 08, 2024 by Hichem R. A.
- Merged
- Approved
updated Jan 08, 2024
New year improvements

colibrics!50 · created Jan 08, 2024 by François Bobot
- Merged
- 3
updated Jan 22, 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
[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
update information about Aorai website

pub.frama-c.com!215 · created Dec 21, 2023 by Andre Maroneze
- Merged
- 1
- Approved
updated Jan 09, 2024
Bobot/abs

colibrics!49 · created Dec 20, 2023 by François Bobot
- Merged
updated Dec 20, 2023
Various changes notably a link to download COLIBRI bundle

colibri-website!6 · created Dec 11, 2023 by Christophe Junke
- Merged
- 2
updated Feb 13, 2024
Small fixes in dune projects

colibrics!48 · created Dec 08, 2023 by Christophe Junke
- Merged
- 4
updated Dec 11, 2023
Add OCamlPro to the acknowledgements page

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

colibrics!47 · created Dec 07, 2023 by François Bobot
- Merged
- 2
updated Dec 20, 2023
New internship/refinement

pub.frama-c.com!214 · created Dec 07, 2023 by Allan Blanchard
updated Dec 07, 2023