Merge requests · Why3 / why3

queue.Queue now uses seq instead of list

!171 · created Jun 05, 2019 by Jean-Christophe Filliâtre
- Closed
- 6
updated Jun 06, 2019
WIP: fix ce-bench and continuous integration

!181 · created Jun 17, 2019 by DAILLER Sylvain
- Closed
updated Jun 17, 2019
WIP: Resolve "Too much ghostification?"

!162 · created Jun 05, 2019 by Andrei Paskevich
Hackathon component: core
- Closed
updated Jun 21, 2019
WIP: S509-002 Remove socket when exiting

!195 · created Jun 25, 2019 by DAILLER Sylvain
- Closed
- 10
updated Jun 26, 2019
Powm extraction

!211 · created Jul 31, 2019 by Raphaël Rieu-Helft
- Closed
updated Jul 31, 2019
WIP: Latex export of inductive rules

!146 · created May 15, 2019 by Benedikt Becker
To be discussed component: tools
- Closed
- 8
- 1
updated Sep 24, 2019
Add injectivity to peano

!201 · created Jul 02, 2019 by François Bobot
- Closed
- 1
updated Oct 25, 2019
WIP: Mlmpfr -> Mlgmp for #385

!244 · created Oct 10, 2019 by DAILLER Sylvain
- Closed
- 1
updated Nov 08, 2019
WIP: transformation: add trivial_true (from SPARK); change strategy split_vc

!291 · created Dec 03, 2019 by DAILLER Sylvain
- Closed
updated Dec 04, 2019
WIP: ide: Force the use of a recent lablgtk

!284 · created Nov 27, 2019 by DAILLER Sylvain
- Closed
- 1
updated Dec 13, 2019
WIP: Resolve "result variable not printed in counterexamples"

!186 · created Jun 20, 2019 by DAILLER Sylvain
component: counterexample
- Closed
- 2
updated Dec 13, 2019
Fix parsing of cvc4 models for cvc4 1.8 (git)

!302 · created Jan 10, 2020 by Johannes Kanig
- Closed
updated Jan 10, 2020
Add a library sum using a higher order interface

!315 · created Feb 11, 2020 by François Bobot
- Closed
- 10
updated Feb 17, 2020
WIP: Resolve "Add support for Isabelle 2019"

!256 · created Oct 31, 2019 by MARCHE Claude 1.3.0
- Closed
- 3
updated Mar 03, 2020
WIP: `Task.add_decl` should not necessary fail if task already has a goal

!134 · created May 02, 2019 by MARCHE Claude
- Closed
- 6
updated Mar 03, 2020
Basic RAC for why3execute

!375 · created May 05, 2020 by Benedikt Becker
- Closed
updated May 12, 2020
Refer to type invariants as TypeInvariant rather than LoopInvariant (fix #480).

!374 · created May 04, 2020 by Guillaume Melquiond 1.4.0
component: syntax
- Closed
- 6
updated Aug 24, 2020
cleaning

!363 · created Apr 01, 2020 by MARCHE Claude
- Closed
- 2
updated Aug 25, 2020
[WIP] Run the main of commands outside the initialization of the module

!414 · created Nov 23, 2020 by François Bobot 1.4.0
component: tools
- Closed
- 7
updated Jan 22, 2021
Fix pp boxes

!442 · created Jan 26, 2021 by MARCHE Claude
- Closed
- 1
updated Jan 27, 2021