Merge requests · pub

[wenv] options: make '!' prefix work as expected

why3find!50 · created Jan 25, 2024 by Benjamin Jorge
bug
- Merged
- 8
updated Jan 30, 2024
Update core to v1.16.1

colibrics!52 · created Jan 27, 2024 by Hichem R. A.
- Closed
- 3
updated Jan 29, 2024
Update core to v1.16.1

colibrics!53 · created Jan 29, 2024 by Hichem R. A.
- Merged
- 2
- Approved
updated Jan 30, 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
Draft: Resolve "[config] depth not saved in config"

why3find!51 · created Jan 29, 2024 by Loïc Correnson
bug
- Closed
- 1
updated Jan 29, 2024
Resolve "[doc] shall document all files by default"

why3find!52 · created Jan 29, 2024 by Loïc Correnson
bug
updated Jan 29, 2024
replace twitter with mastodon

pub.frama-c.com!219 · created Feb 05, 2024 by Andre Maroneze
- Merged
- 2
updated Feb 05, 2024
Resolve "[init] don't erase existing files"

why3find!53 · created Feb 06, 2024 by Benjamin Jorge 1.0
bug
- Merged
- 5
- Approved
updated Apr 26, 2024
[prove] fixed reported path

why3find!54 · created Feb 06, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
[config] better option management

why3find!55 · created Feb 09, 2024 by Loïc Correnson 1.0
feature
- Merged
- 23
updated Apr 26, 2024
[doc] fix several issues with unsafe parameters

why3find!56 · created Feb 12, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
Change bullet points to sections

colibri-website!7 · created Feb 13, 2024 by Christophe Junke
- Merged
updated Feb 13, 2024
metacsl Release 0.6

pub.frama-c.com!220 · created Feb 16, 2024 by Virgile Prevosto
- Merged
- 3
updated Feb 16, 2024
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