Merge requests · pub

Test install

why3find!13 · created Oct 15, 2022 by Loïc Correnson
- Merged
- 7
updated Oct 17, 2022
Resolve "[manual] update README"

why3find!12 · created Oct 13, 2022 by Loïc Correnson
updated Oct 14, 2022
[install] proof certificates

why3find!11 · created Oct 13, 2022 by Loïc Correnson
updated Oct 13, 2022
[why3find] Install project

why3find!10 · created Oct 13, 2022 by Loïc Correnson
updated Oct 13, 2022
Draft: Cache operations

why3find!9 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
DRAFT: upgrade to why3 1.5.1+git

why3find!8 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
Adding Nix CI

why3find!7 · created Oct 12, 2022 by Loïc Correnson
- Merged
- 1
updated Oct 13, 2022
Fix task digest

why3find!6 · created Oct 12, 2022 by Loïc Correnson
- Merged
updated Oct 13, 2022
Add Server and Ivette

pub.frama-c.com!163 · created Oct 11, 2022 by Allan Blanchard
- Merged
- 10
updated Oct 19, 2022
Fix filename for publi

pub.frama-c.com!162 · created Oct 11, 2022 by Allan Blanchard
updated Oct 11, 2022
Resolve "[prove] print statistics on proof session"

why3find!5 · created Oct 07, 2022 by Loïc Correnson
- Merged
updated Oct 07, 2022
Resolve "[why3find] suppress makefile command and resources"

why3find!4 · created Oct 07, 2022 by Loïc Correnson
- Merged
- Approved
updated Oct 07, 2022
[doc] generating axioms summary

why3find!3 · created Oct 07, 2022 by Loïc Correnson
- Merged
- Approved
updated Oct 07, 2022
Publis e acsl jfla

pub.frama-c.com!161 · created Oct 06, 2022 by Thibaut Benjamin
- Merged
- 1
updated Oct 06, 2022
Frama clang 0.0.13

pub.frama-c.com!160 · created Oct 06, 2022 by Virgile Prevosto
updated Oct 06, 2022
Bench ast diff

open-source-case-studies!34 · created Sep 21, 2022 by Virgile Prevosto
- Merged
- 2
updated Oct 05, 2022
update Makefiles following new installation directories

open-source-case-studies!33 · created Sep 21, 2022 by Andre Maroneze
- Closed
updated Jan 06, 2023
why3find prove command 9 of 9 checklist items completed

why3find!2 · created Sep 14, 2022 by Loïc Correnson
- Merged
updated Sep 22, 2022
[Quant] Substitute by prefering existing terms to new equal one

colibrics!25 · created Sep 12, 2022 by François Bobot
- Merged
- 1
updated Sep 12, 2022
allow local installation with post-dune Frama-C

open-source-case-studies!32 · created Sep 06, 2022 by Andre Maroneze
- Merged
- 17
- Approved
updated Sep 09, 2022