Merge requests · pub

Quick and dirty fix for saving proofs on Ctrl-C

why3find!75 · created May 14, 2024 by Benjamin Jorge 1.0
updated May 14, 2024
Release 29.0~beta-Copper

pub.frama-c.com!226 · created May 14, 2024 by Frama-CI Bot
updated May 14, 2024
Use inline code format to display backslashes in 29.0-beta event

pub.frama-c.com!227 · created May 14, 2024 by Thibault Martin
release
- Merged
- 2
updated May 15, 2024
synchronize with frama-c master

open-source-case-studies!55 · created May 16, 2024 by Andre Maroneze
updated May 17, 2024
Bump trace version needed

colibrics!60 · created May 22, 2024 by François Bobot
- Merged
updated May 22, 2024
Update array and sequence

colibrics!61 · created May 22, 2024 by François Bobot
- Merged
- 3
updated May 22, 2024
Update OCamlPro's logo

colibri-website!8 · created May 22, 2024 by Hichem R. A.
- Merged
updated Jun 03, 2024
Add viewer-app/ react project in ui/

colibrics!62 · created May 22, 2024 by Christophe Junke
- Merged
- 3
updated May 31, 2024
Fix missing line breaks in API

pub.frama-c.com!228 · created May 22, 2024 by Allan Blanchard
updated May 24, 2024
Add link to the program

pub.frama-c.com!229 · created May 22, 2024 by Allan Blanchard
updated May 24, 2024
Use top scroll instead of ugly hack for anchors

pub.frama-c.com!230 · created May 22, 2024 by Allan Blanchard
updated May 24, 2024
Merge nseq

colibrics!63 · created May 22, 2024 by François Bobot
- Merged
- Approved
updated May 22, 2024
Accept all input formats (including those from plugins)

why3find!77 · created May 31, 2024 by Benjamin Jorge
- Merged
- 4
updated Jun 05, 2024
Update file LICENSE.md

why3find!78 · created Jun 03, 2024 by Benjamin Jorge
- Merged
updated Jun 03, 2024
Release 29.0-Copper

pub.frama-c.com!231 · created Jun 06, 2024 by Frama-CI Bot
updated Jun 06, 2024
Remove unnecessary Core depdency

colibrics!64 · created Jun 07, 2024 by Hichem R. A.
- Merged
- 1
updated Jun 17, 2024
Don't allow extra config files

why3find!79 · created Jun 10, 2024 by Benjamin Jorge
- Merged
- 1
updated Jun 11, 2024
Ivette Packages 28.1 and 29.0

pub.frama-c.com!232 · created Jun 11, 2024 by Allan Blanchard
- Merged
updated Jun 14, 2024
Debug and warnings

why3find!80 · created Jun 11, 2024 by Benjamin Jorge
- Merged
- 15
updated Jun 19, 2024
Update LTest dependancies

pub.frama-c.com!233 · created Jun 20, 2024 by Thibault Martin
release
updated Jun 20, 2024