Merge requests · pub / Why3find

[make] adding lint & headers

!23 · created Dec 01, 2022 by Loïc Correnson
updated Apr 05, 2023
[fibers] new implementation

!22 · created Dec 01, 2022 by Loïc Correnson
updated Dec 01, 2022
Resolve "[tty] use terminal width"

!21 · created Nov 23, 2022 by Loïc Correnson
bug
updated Nov 23, 2022
Resolve "[extract] install symbol maps"

!20 · created Nov 22, 2022 by Loïc Correnson
updated Nov 23, 2022
Resolve "[opam] use one package for all"

!19 · created Nov 22, 2022 by Loïc Correnson
bug
updated Nov 22, 2022
[calibration] fix races & max depth search

!18 · created Nov 08, 2022 by Loïc Correnson
- Merged
updated Nov 08, 2022
[cluster] why3find proof cluster 3 of 3 checklist items completed

!17 · created Oct 28, 2022 by Loïc Correnson
updated Nov 22, 2022
Resolve "[prove] report list of residual axioms"

!16 · created Oct 25, 2022 by Loïc Correnson
feature
updated Oct 26, 2022
Resolve "[doc] adds general documentation pages"

!15 · created Oct 25, 2022 by Loïc Correnson
feature
updated Oct 25, 2022
[ppx] why3 extension for extracted code

!14 · created Oct 24, 2022 by Loïc Correnson
updated Oct 25, 2022
Test install

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

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

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

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

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

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

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

!6 · created Oct 12, 2022 by Loïc Correnson
- Merged
updated Oct 13, 2022
Resolve "[prove] print statistics on proof session"

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

!4 · created Oct 07, 2022 by Loïc Correnson
- Merged
- Approved
updated Oct 07, 2022