Merge requests · pub / Why3find

[prove] render pending task on console

!64 · created Mar 28, 2024 by Loïc Correnson
feature
- Merged
- 21
updated Apr 30, 2024
Update license and project infos

!69 · created Apr 09, 2024 by Benjamin Jorge 1.0
updated Apr 26, 2024
[config] command --check

!70 · created Apr 15, 2024 by Benjamin Jorge
- Merged
- 8
- 1
updated Apr 26, 2024
[provers] rework prover patterns and selection

!65 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 16
updated Apr 26, 2024
[ci] use public nix runner

!72 · created Apr 22, 2024 by Allan Blanchard 1.0
CI
- Merged
- 1
updated Apr 26, 2024
Resolve "[config] option to use registered provers from why3 conf without running why3 config detect"

!66 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 3
updated Apr 26, 2024
[ci] update CI

!67 · created Apr 04, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
Warning summary

!61 · created Mar 18, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
Unify prover identification

!59 · created Mar 12, 2024 by Benjamin Jorge
- Merged
- 1
- 1
updated Apr 26, 2024
[doc] Fix bugs with clones 5 of 5 checklist items completed

!58 · created Feb 20, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
[doc] fix several issues with unsafe parameters

!56 · created Feb 12, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
Resolve "[init] don't erase existing files"

!53 · created Feb 06, 2024 by Benjamin Jorge 1.0
bug
- Merged
- 5
- Approved
updated Apr 26, 2024
[why3] port to why3 1.7.x

!46 · created Oct 05, 2023 by Loïc Correnson 1.0
bug
- Merged
- 1
updated Apr 26, 2024
[config] better option management

!55 · created Feb 09, 2024 by Loïc Correnson 1.0
feature
- Merged
- 23
updated Apr 26, 2024
[log] Improved output

!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024
[opam] fix versions

!68 · created Apr 07, 2024 by Loïc Correnson
feature
- Merged
- 10
updated Apr 26, 2024
[doc] Fix instances references

!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
[ci] Update nix commit

!60 · created Mar 13, 2024 by Allan Blanchard
CI
updated Apr 26, 2024
[prove] fixed reported path

!54 · created Feb 06, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
Resolve "[prove] give more information on failure"

!49 · created Jan 24, 2024 by Benjamin Jorge
feature
- Merged
- 13
- Approved
updated Feb 05, 2024