Merge requests · pub

Resolve "[why3find] suppress makefile command and resources"

why3find!4 · created Oct 07, 2022 by Loïc Correnson
- Merged
- Approved
updated Oct 07, 2022
Resolve "[prove] print statistics on proof session"

why3find!5 · created Oct 07, 2022 by Loïc Correnson
- Merged
updated Oct 07, 2022
Fix filename for publi

pub.frama-c.com!162 · created Oct 11, 2022 by Allan Blanchard
updated Oct 11, 2022
Add Server and Ivette

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

why3find!6 · created Oct 12, 2022 by Loïc Correnson
- Merged
updated Oct 13, 2022
Adding Nix CI

why3find!7 · created Oct 12, 2022 by Loïc Correnson
- Merged
- 1
updated Oct 13, 2022
[why3find] Install project

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

why3find!11 · created Oct 13, 2022 by Loïc Correnson
updated Oct 13, 2022
Resolve "[manual] update README"

why3find!12 · created Oct 13, 2022 by Loïc Correnson
updated Oct 14, 2022
Test install

why3find!13 · created Oct 15, 2022 by Loïc Correnson
- Merged
- 7
updated Oct 17, 2022
Makefiles and build targets

open-source-case-studies!35 · created Oct 18, 2022 by Andre Maroneze
updated Nov 15, 2022
[Jobs] Eva internships position

pub.frama-c.com!164 · created Oct 21, 2022 by Valentin Perrelle
updated Oct 24, 2022
[ppx] why3 extension for extracted code

why3find!14 · created Oct 24, 2022 by Loïc Correnson
updated Oct 25, 2022
Resolve "[doc] adds general documentation pages"

why3find!15 · created Oct 25, 2022 by Loïc Correnson
feature
updated Oct 25, 2022
Resolve "[prove] report list of residual axioms"

why3find!16 · created Oct 25, 2022 by Loïc Correnson
feature
updated Oct 26, 2022
[cluster] why3find proof cluster 3 of 3 checklist items completed

why3find!17 · created Oct 28, 2022 by Loïc Correnson
updated Nov 22, 2022
Release 26.0~beta-Iron

pub.frama-c.com!165 · created Oct 28, 2022 by Frama-CI Bot
updated Oct 28, 2022
[jobs] Add internship position on ml4eva.

pub.frama-c.com!166 · created Nov 04, 2022 by Michele Alberti
- Merged
- 2
updated Nov 07, 2022
Fix and domain propagation

colibrics!26 · created Nov 08, 2022 by François Bobot
- Merged
updated Jan 19, 2023
[calibration] fix races & max depth search

why3find!18 · created Nov 08, 2022 by Loïc Correnson
- Merged
updated Nov 08, 2022