Merge requests · pub

Merge nseq theory for merge

colibrics!75 · created Oct 17, 2024 by François Bobot
- Merged
updated Oct 17, 2024
Fix learning for decision that doesn't create decisions

colibrics!74 · created Oct 16, 2024 by François Bobot
- Merged
- 2
updated Oct 17, 2024
Add CHANGES.md

why3find!128 · created Oct 15, 2024 by Benjamin Jorge
- Merged
- 2
- 1
updated Oct 18, 2024
[config] rename config options -m and -v to --master and --velocity

why3find!127 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
Warn once

why3find!126 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
TEST: Update proofs.ml

why3find!125 · created Oct 10, 2024 by Benjamin Jorge
- Closed
updated Oct 10, 2024
[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
Resolve "Incompleteness on integer reasoning with intervals"

colibrics!72 · created Oct 02, 2024 by François Bobot
- Merged
- 2
updated Dec 22, 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