Merge requests · pub

Cleanup build scripts

colibri!50 · created May 07, 2024 by Christophe Junke
- Closed
updated May 27, 2024
Draft: Resolve "[WP] The support of sets is partial"

frama-c!13 · created Jul 02, 2024 by Cécile Ruet-Cros
confirmed wp
- Closed
updated Jul 02, 2024
Draft: Resolve "[WP] region plugin division by 0 with blob region node"

frama-c!14 · created Jul 04, 2024 by Jérémy Damour
wp
- Closed
updated Jul 04, 2024
Draft: Test

why3find!101 · created Aug 28, 2024 by Benjamin Jorge
- Closed
updated Aug 28, 2024
[prove] emit prover warnings once

why3find!115 · created Sep 13, 2024 by Loïc Correnson 1.1
bug
- Closed
- 2
updated Oct 14, 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
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
[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
TEST: Update proofs.ml

why3find!125 · created Oct 10, 2024 by Benjamin Jorge
- Closed
updated Oct 10, 2024
[lib] move crc, prover, tactic

why3find!134 · created Oct 24, 2024 by Loïc Correnson
feature
- Closed
- 1
updated Oct 25, 2024
Add option to set path to source directory

why3find!135 · created Oct 24, 2024 by Xia Li-yao
- Closed
- 2
updated Oct 25, 2024
[prove] forward warnoff options to ide

why3find!138 · created Oct 28, 2024 by Xia Li-yao
- Closed
- 1
updated Oct 28, 2024
Draft: [lsp] proof tree in vscode

why3find!153 · created Dec 04, 2024 by Loïc Correnson
lsp
- Closed
updated Mar 12, 2025
Define a public name for generate_dune_tests

colibrics!88 · created Dec 19, 2024 by Christophe Junke
- Closed
- 1
updated Jan 23, 2025
Draft: Fix/ping pong

why3find!167 · created Jan 23, 2025 by Loïc Correnson
cli prove
- Closed
- 1
updated Mar 06, 2025
Resolve "Should why3find cache be perfect?"

why3find!168 · created Feb 10, 2025 by Benjamin Jorge
- Closed
updated Feb 11, 2025
Draft: Fixes ménage des tests

colibri!58 · created Feb 20, 2025 by Bruno Marre
- Closed
updated Feb 20, 2025