Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Resolve "Extracting higher-order calls"

!90 · created Feb 08, 2019 by MARCHE Claude 1.2.0
component: extraction
- Merged
updated Feb 08, 2019
Resolve "Extraction of recursive polymorphic functions"

!89 · created Feb 08, 2019 by MARCHE Claude
- Merged
updated Feb 08, 2019
Resolve "destruct improvement with if then else"

!85 · created Feb 06, 2019 by Benedikt Becker
component: transformations
- Merged
updated Feb 08, 2019
Resolve "Questions on `replay --use-steps `"

!87 · created Feb 08, 2019 by MARCHE Claude
- Merged
updated Feb 08, 2019
New documentation on counterexamples feature

!86 · created Feb 07, 2019 by MARCHE Claude
- Merged
updated Feb 07, 2019
Resolve "destruct improvement with if then else"

!84 · created Feb 05, 2019 by Benedikt Becker
component: transformations
- Merged
updated Feb 05, 2019
Model record

!83 · created Feb 01, 2019 by DAILLER Sylvain
- Merged
updated Feb 01, 2019
Issue 259

!81 · created Jan 31, 2019 by DAILLER Sylvain
- Merged
updated Jan 31, 2019
Peano: allows to convert to int63

!19 · created Sep 10, 2018 by François Bobot
- Merged
- 22
updated Jan 24, 2019
hybrid eliminate_if

!80 · created Jan 17, 2019 by Quentin Garchery
- Merged
updated Jan 17, 2019
add-prover: now adds a shortcut too

!74 · created Dec 07, 2018 by DAILLER Sylvain
- Merged
updated Dec 19, 2018
ce: first step for treatment of record with one field

!79 · created Dec 17, 2018 by DAILLER Sylvain
- Merged
updated Dec 17, 2018
Get ce in ide for #133

!78 · created Dec 14, 2018 by DAILLER Sylvain
- Merged
updated Dec 14, 2018
ce: Correctly remove proxy variables from counterexamples

!77 · created Dec 12, 2018 by DAILLER Sylvain
- Merged
updated Dec 12, 2018
ce: Add elements correconding to an internal_loc. Remove duplicates.

!76 · created Dec 11, 2018 by DAILLER Sylvain
- Merged
updated Dec 11, 2018
Improve elim let

!75 · created Dec 11, 2018 by Quentin Garchery
- Merged
updated Dec 11, 2018
Resolve "Make file paths in sessions system-independant"

!71 · created Dec 06, 2018 by MARCHE Claude
- Merged
updated Dec 06, 2018
destruct: first step simplification

!72 · created Dec 06, 2018 by DAILLER Sylvain
- Merged
updated Dec 06, 2018
ce: support for if-branching

!70 · created Dec 05, 2018 by DAILLER Sylvain
- Merged
updated Dec 05, 2018
Better error when matching fails for apply

!69 · created Dec 04, 2018 by DAILLER Sylvain
- Merged
updated Dec 05, 2018

Prev
1
…
48
49
50
51
52
53
54
55
Next