Merge requests · pub

Release 30.0~beta-Zinc

pub.frama-c.com!245 · created Nov 07, 2024 by Frama-CI Bot
updated Nov 08, 2024
[LRA] fix add_cst in sign_domain

colibrics!79 · created Nov 07, 2024 by Hichem R. A.
- Merged
updated Nov 07, 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
Preprocessing tactics

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

why3find!141 · created Oct 30, 2024 by Xia Li-yao
- Merged
- 1
updated Oct 30, 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
[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