Merge requests · pub

[hammer] fix replay & update modes

why3find!150 · created Nov 22, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 27, 2024
frama-clang Release 0.0.17~beta

pub.frama-c.com!246 · created Nov 15, 2024 by Virgile Prevosto
- Merged
- 1
updated Nov 27, 2024
[prove] fix ranges for -x

why3find!149 · created Nov 21, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 26, 2024
Fix interleave function from Base

colibrics!80 · created Nov 23, 2024 by François Bobot
- Merged
- 3
updated Nov 25, 2024
[dune] fix default flags

why3find!148 · created Nov 21, 2024 by Loïc Correnson 1.1
bug dev
- Merged
- Approved
updated Nov 21, 2024
Preprocessing tactics

why3find!142 · created Nov 04, 2024 by Benjamin Jorge 1.1
feature prove
- Merged
- 10
- Approved
updated Nov 20, 2024
[lsp] fix type & crc typos

why3find!147 · created Nov 20, 2024 by Loïc Correnson
updated Nov 20, 2024
[prove] more statistics

why3find!146 · created Nov 13, 2024 by Loïc Correnson 1.1
cli feature
- Merged
- 2
- Approved
updated Nov 18, 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
[prove] keep further hints on each saving

why3find!114 · created Sep 13, 2024 by Loïc Correnson 1.1
bug
- Merged
- 19
- Approved
updated Nov 14, 2024
Timing and profiling

why3find!92 · created Aug 01, 2024 by Benjamin Jorge
- Merged
- 4
- Approved
updated Nov 14, 2024
[hammer] separate timeout for Hammer 0

why3find!144 · created Nov 08, 2024 by Loïc Correnson
feature
- Merged
- 18
- Approved
updated Nov 13, 2024
[session] fix proved status

why3find!145 · created Nov 12, 2024 by Loïc Correnson 1.1
bug
- Merged
- 4
- Approved
updated Nov 12, 2024
Release 30.0~beta-Zinc

pub.frama-c.com!245 · created Nov 07, 2024 by Frama-CI Bot
updated Nov 08, 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
[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
[LRA] fix add_cst in sign_domain

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

why3find!137 · created Oct 25, 2024 by Benjamin Jorge
- Merged
- 14
- 1
- Approved
updated Oct 29, 2024