Issues · Why3 / why3 · GitLab

remove dependency on rubber

#260 · opened Jan 28, 2019 by MARCHE Claude 1.3.0 Hackathon component: build system
- CLOSED
- 1
- 2
updated Jun 05, 2019
improve destruct_alg

#259 · opened Jan 28, 2019 by MARCHE Claude component: transformations
- CLOSED
- 1
- 2
updated Jan 31, 2019
Cloning part of mutable structure

#258 · opened Jan 28, 2019 by François Bobot component: theories component: wp
- CLOSED
- 1
updated Jan 28, 2019
invalid parenthesis in ocaml extraction

#257 · opened Jan 28, 2019 by Benoit Rognier 1.2.0 component: extraction
- CLOSED
- 1
updated Jan 29, 2019
Automake error : missing Makefile.am

#255 · opened Jan 18, 2019 by Henri de BOUTRAY component: build system
- CLOSED
- 1
- 1
updated Oct 29, 2019
Clone, writes and resets

#254 · opened Jan 18, 2019 by François Bobot
- CLOSED
- 3
updated Jan 24, 2019
Support Z3 4.8.1 and 4.8.3

#250 · opened Dec 14, 2018 by MARCHE Claude 1.2.0 component: drivers
- CLOSED
- 3
updated Feb 07, 2019
why3config add-prover

#249 · opened Dec 07, 2018 by DAILLER Sylvain component: tools
- CLOSED
- 10
updated Jan 29, 2019
File names for edited proof scripts should be system-independent

#248 · opened Dec 07, 2018 by MARCHE Claude 1.3.0
- CLOSED
- 1
- 0
updated May 06, 2019
Make file paths in sessions system-independant

#247 · opened Dec 03, 2018 by MARCHE Claude
- CLOSED
- 1
- 0
updated Dec 07, 2018
Add lemma Power_pos for power in stdlib

#245 · opened Nov 29, 2018 by DAILLER Sylvain component: realizations component: theories
- CLOSED
- 1
updated Dec 03, 2018
Assert failure while using destruct_rec

#244 · opened Nov 29, 2018 by BECKER Benedikt 1.3.0
- CLOSED
- 8
updated Jun 28, 2019
destruct on 'exists' should remove original hypothesis

#243 · opened Nov 28, 2018 by MARCHE Claude
- CLOSED
- 1
updated Nov 29, 2018
Improve error message when defining a module inside another module

#241 · opened Nov 16, 2018 by GARCHERY Quentin Hackathon
- CLOSED
- 0
updated Jun 06, 2019
Extraction of recursive polymorphic functions

#240 · opened Nov 15, 2018 by PARREIRA PEREIRA Mário José
- CLOSED
- 1
- 5
updated Feb 08, 2019
Extracting higher-order calls

#239 · opened Nov 15, 2018 by BECKER Benedikt 1.2.0 component: extraction
- CLOSED
- 1
- 0
updated Feb 08, 2019
Improve case transformation

#238 · opened Nov 14, 2018 by DAILLER Sylvain component: transformations
- CLOSED
- 1
updated Jun 18, 2019
Update counterexample doc

#237 · opened Nov 14, 2018 by DAILLER Sylvain documentation
- CLOSED
- 0
updated Feb 11, 2019
Better error messages when cloning

#236 · opened Nov 13, 2018 by DAILLER Sylvain
- CLOSED
- 1
updated Jun 25, 2019
Avoid substituting to proxy symbols

#235 · opened Nov 13, 2018 by DAILLER Sylvain component: transformations
- CLOSED
- 2
updated Nov 16, 2018

« First
Prev
…
4
5
6
7
8
9
10
11
12
…
Next
Last »