Merge requests · pub

Warn once

why3find!126 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
[config] rename config options -m and -v to --master and --velocity

why3find!127 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
Add CHANGES.md

why3find!128 · created Oct 15, 2024 by Benjamin Jorge
- Merged
- 2
- 1
updated Oct 18, 2024
Fix learning for decision that doesn't create decisions

colibrics!74 · created Oct 16, 2024 by François Bobot
- Merged
- 2
updated Oct 17, 2024
Merge nseq theory for merge

colibrics!75 · created Oct 17, 2024 by François Bobot
- Merged
updated Oct 17, 2024
Cleanup and fix scheduler

colibrics!76 · created Oct 17, 2024 by François Bobot
- Merged
- 1
updated Oct 17, 2024
[hammer] fix tactic ordering

why3find!129 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 21
- Approved
updated Oct 23, 2024
[doc] fix self module ref

why3find!130 · created Oct 18, 2024 by Loïc Correnson 1.1
bug
- Merged
- 2
- Approved
updated Oct 18, 2024
[make] fix headers

why3find!131 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 1
updated Oct 18, 2024
[LRA] Update dom for integers obtained from `select` operations

colibrics!77 · created Oct 21, 2024 by Hichem R. A.
- Merged
- 2
updated Nov 08, 2024
Fix multiple move_to_root

why3find!132 · created Oct 21, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 23, 2024
Improve nix checks

why3find!133 · created Oct 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 24, 2024
[doc] new changelog

why3find!136 · created Oct 24, 2024 by Loïc Correnson 1.1
manual
- Merged
- 4
updated Oct 29, 2024
Rework prover api

why3find!137 · created Oct 25, 2024 by Benjamin Jorge
- Merged
- 14
- 1
- Approved
updated Oct 29, 2024
[ITE] Simplify ITEs when consequence and alternative are the same

colibrics!78 · created Oct 25, 2024 by Hichem R. A.
- Merged
- 6
updated Nov 08, 2024
[prove] forward warnoff options to ide

why3find!139 · created Oct 28, 2024 by Benjamin Jorge
updated Oct 28, 2024
`--list-*` commands prevent modification of the config

why3find!140 · created Oct 29, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 31, 2024
[doc] Rename references to old option -m to --master

why3find!141 · created Oct 30, 2024 by Xia Li-yao
- Merged
- 1
updated Oct 30, 2024
Preprocessing tactics

why3find!142 · created Nov 04, 2024 by Benjamin Jorge 1.1
feature prove
- Merged
- 10
- Approved
updated Nov 20, 2024
Add --update option to update provers to latest available version

why3find!143 · created Nov 07, 2024 by Benjamin Jorge
- Merged
- 1
- Approved
updated Nov 14, 2024