Merge requests · pub / Why3find

[prove] fix hammer strategy & improve feedback

!82 · created Jun 24, 2024 by Loïc Correnson
bug
- Merged
- 2
updated Oct 14, 2024
[utils] rework json printing and reading, truncate float values

!81 · created Jun 21, 2024 by Benjamin Jorge
- Merged
- 12
updated Jun 24, 2024
Debug and warnings

!80 · created Jun 11, 2024 by Benjamin Jorge
- Merged
- 15
updated Jun 19, 2024
Don't allow extra config files

!79 · created Jun 10, 2024 by Benjamin Jorge
- Merged
- 1
updated Jun 11, 2024
Update file LICENSE.md

!78 · created Jun 03, 2024 by Benjamin Jorge
- Merged
updated Jun 03, 2024
Accept all input formats (including those from plugins)

!77 · created May 31, 2024 by Benjamin Jorge
- Merged
- 4
updated Jun 05, 2024
Improve project organization

!76 · created May 28, 2024 by Benjamin Jorge
dev
- 2
updated Nov 15, 2024
Quick and dirty fix for saving proofs on Ctrl-C

!75 · created May 14, 2024 by Benjamin Jorge 1.0
updated May 14, 2024
Draft: Prove fine-grained target

!74 · created Apr 30, 2024 by Benjamin Jorge
cli feature
- 3
updated Nov 15, 2024
Invalidate cache on why3 version

!73 · created Apr 29, 2024 by Benjamin Jorge
updated May 01, 2024
[ci] use public nix runner

!72 · created Apr 22, 2024 by Allan Blanchard 1.0
CI
- Merged
- 1
updated Apr 26, 2024
"[readme] improved documentation"

!71 · created Apr 18, 2024 by Loïc Correnson 1.0
manual
- Merged
- 14
updated May 13, 2024
[config] command --check

!70 · created Apr 15, 2024 by Benjamin Jorge
- Merged
- 8
- 1
updated Apr 26, 2024
Update license and project infos

!69 · created Apr 09, 2024 by Benjamin Jorge 1.0
updated Apr 26, 2024
[opam] fix versions

!68 · created Apr 07, 2024 by Loïc Correnson
feature
- Merged
- 10
updated Apr 26, 2024
[ci] update CI

!67 · created Apr 04, 2024 by Benjamin Jorge 1.0
- 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
[provers] rework prover patterns and selection

!65 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 16
updated Apr 26, 2024
[prove] render pending task on console

!64 · created Mar 28, 2024 by Loïc Correnson
feature
- Merged
- 21
updated Apr 30, 2024
[log] Improved output

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