Merge requests · pub / Why3find

Preprocessing tactics

!142 · created Nov 04, 2024 by Benjamin Jorge 1.1
feature prove
- Merged
- 10
- Approved
updated Nov 20, 2024
[doc] Rename references to old option -m to --master

!141 · created Oct 30, 2024 by Xia Li-yao
- Merged
- 1
updated Oct 30, 2024
`--list-*` commands prevent modification of the config

!140 · created Oct 29, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 31, 2024
[prove] forward warnoff options to ide

!139 · created Oct 28, 2024 by Benjamin Jorge
updated Oct 28, 2024
[prove] forward warnoff options to ide

!138 · created Oct 28, 2024 by Xia Li-yao
- Closed
- 1
updated Oct 28, 2024
Rework prover api

!137 · created Oct 25, 2024 by Benjamin Jorge
- Merged
- 14
- 1
- Approved
updated Oct 29, 2024
[doc] new changelog

!136 · created Oct 24, 2024 by Loïc Correnson 1.1
manual
- Merged
- 4
updated Oct 29, 2024
Add option to set path to source directory

!135 · created Oct 24, 2024 by Xia Li-yao
- Closed
- 2
updated Oct 25, 2024
[lib] move crc, prover, tactic

!134 · created Oct 24, 2024 by Loïc Correnson
feature
- Closed
- 1
updated Oct 25, 2024
Improve nix checks

!133 · created Oct 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 24, 2024
Fix multiple move_to_root

!132 · created Oct 21, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 23, 2024
[make] fix headers

!131 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 1
updated Oct 18, 2024
[doc] fix self module ref

!130 · created Oct 18, 2024 by Loïc Correnson 1.1
bug
- Merged
- 2
- Approved
updated Oct 18, 2024
[hammer] fix tactic ordering

!129 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 21
- Approved
updated Oct 23, 2024
Add CHANGES.md

!128 · created Oct 15, 2024 by Benjamin Jorge
- Merged
- 2
- 1
updated Oct 18, 2024
[config] rename config options -m and -v to --master and --velocity

!127 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
Warn once

!126 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
TEST: Update proofs.ml

!125 · created Oct 10, 2024 by Benjamin Jorge
- Closed
updated Oct 10, 2024
[lib] make load_theories not catch exceptions and exit

!124 · created Oct 09, 2024 by Xia Li-yao
- Closed
- 3
updated Oct 10, 2024
Remove the possibility to use extra why3 config files

!123 · created Oct 08, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 09, 2024