Merge requests · pub

[prove] forward warnoff options to ide

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

why3find!138 · created Oct 28, 2024 by Xia Li-yao
- Closed
- 1
updated Oct 28, 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
Rework prover api

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

why3find!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

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

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

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

why3find!132 · created Oct 21, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 23, 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
[make] fix headers

why3find!131 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 1
updated Oct 18, 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
[hammer] fix tactic ordering

why3find!129 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 21
- Approved
updated Oct 23, 2024
Cleanup and fix scheduler

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

colibrics!75 · created Oct 17, 2024 by François Bobot
- Merged
updated Oct 17, 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
Add CHANGES.md

why3find!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

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

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

why3find!125 · created Oct 10, 2024 by Benjamin Jorge
- Closed
updated Oct 10, 2024