Merge requests · pub

[lib] make load_theories not catch exceptions and exit

why3find!124 · created Oct 09, 2024 by Xia Li-yao
- Closed
- 3
updated Oct 10, 2024
Remove the possibility to use extra why3 config files

why3find!123 · created Oct 08, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 09, 2024
Share pattern matching, and avoid iterating on IP

colibrics!73 · created Oct 07, 2024 by François Bobot
- Merged
- 1
updated Oct 08, 2024
2 internships positions + refine jobs' skeleton.md

pub.frama-c.com!244 · created Oct 07, 2024 by Virgile Prevosto
position
- Merged
- 6
updated Oct 07, 2024
metacsl Release 0.7

pub.frama-c.com!243 · created Oct 03, 2024 by Frama-CI Bot
- Merged
updated Oct 03, 2024
[lsp] fix printing

why3find!122 · created Oct 03, 2024 by Loïc Correnson 1.1
bug lsp
updated Oct 03, 2024
Link installation pages to the GitLab

pub.frama-c.com!242 · created Oct 03, 2024 by Allan Blanchard
- Merged
- 1
updated Oct 03, 2024
Draft: Resolve "Incompleteness on integer reasoning with intervals"

colibrics!72 · created Oct 02, 2024 by François Bobot
- 1
updated Dec 19, 2024
Resolve "False goal doesn't produce null"

why3find!121 · created Oct 02, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 02, 2024
Draft: Add OSCS targets for sort.c in coreutils

open-source-case-studies!60 · created Oct 01, 2024 by Basile Desloges
updated Oct 01, 2024
Draft: Add OSCS targets for sort.c in coreutils

open-source-case-studies!59 · created Oct 01, 2024 by Basile Desloges
- Closed
updated Oct 01, 2024
Adds an option to annotate functions and their callers

pub/ltest/lannotate!1 · created Sep 20, 2024 by Steven de Oliveira
- Closed
- 3
updated Sep 20, 2024
Fix itemize on the website

pub.frama-c.com!241 · created Sep 20, 2024 by François Bobot
- Merged
- 3
updated Sep 26, 2024
Fix path for .eva targets

open-source-case-studies!58 · created Sep 18, 2024 by Dorian Lesbre
- 8
updated Sep 25, 2024
[doc] updated readme(s)

why3find!120 · created Sep 17, 2024 by Loïc Correnson
manual
updated Sep 17, 2024
[BV] support bvsub

colibrics!71 · created Sep 16, 2024 by Hichem R. A.
- Merged
- 2
updated Sep 17, 2024
[lsp] fix field type in hovers

why3find!119 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
[prove] added option -H to tune proof strategy

why3find!118 · created Sep 16, 2024 by Loïc Correnson 1.1
feature
- Merged
- Approved
updated Sep 23, 2024
Add linear approximations of products

colibrics!70 · created Sep 16, 2024 by Christophe Junke
- Merged
- 12
updated Dec 20, 2024
[lsp] document references

why3find!117 · created Sep 16, 2024 by Loïc Correnson
bug feature lsp
updated Sep 16, 2024