Merge requests · pub

Egraph.pp

colibrics!83 · created Nov 26, 2024 by François Bobot
- Merged
- 1
updated Dec 20, 2024
[prove] restore --no-cache option

why3find!151 · created Nov 26, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 4
updated Dec 04, 2024
Interval domains updates using the pivot

colibrics!82 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Improvements to difflogic engine

colibrics!81 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Fix interleave function from Base

colibrics!80 · created Nov 23, 2024 by François Bobot
- Merged
- 3
updated Nov 25, 2024
[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
[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
[dune] fix default flags

why3find!148 · created Nov 21, 2024 by Loïc Correnson 1.1
bug dev
- Merged
- Approved
updated Nov 21, 2024
[lsp] fix type & crc typos

why3find!147 · created Nov 20, 2024 by Loïc Correnson
updated Nov 20, 2024
metacsl Release 0.8~beta

pub.frama-c.com!247 · created Nov 15, 2024 by Virgile Prevosto
- Merged
- 1
updated Dec 06, 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] more statistics

why3find!146 · created Nov 13, 2024 by Loïc Correnson 1.1
cli feature
- Merged
- 2
- Approved
updated Nov 18, 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
[hammer] separate timeout for Hammer 0

why3find!144 · created Nov 08, 2024 by Loïc Correnson
feature
- Merged
- 18
- Approved
updated Nov 13, 2024
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