Issues · Why3 / why3 · GitLab

Remaining TODOs for Range and Float

#138 · created Jun 17, 2018 by François Bobot 1.0.0
- CLOSED
- 5
updated Aug 14, 2018
Readd smoke detector

#137 · created Jun 15, 2018 by François Bobot 1.0.0
- CLOSED
- 4
updated Jun 18, 2018
Make `any ... ensures` less error-prone

#136 · created Jun 15, 2018 by Guillaume Melquiond 1.0.0 component: wp
- CLOSED
- 2
updated Jun 22, 2018
Transformation `split_vc` and term shapes

#128 · created Jun 01, 2018 by Guillaume Melquiond 1.0.0 component: session component: transformations priority: blocker
- CLOSED
- 1
- 0
updated Jun 13, 2018
Check Isabelle realization

#121 · created May 23, 2018 by François Bobot 1.0.0
- CLOSED
- 2
updated May 24, 2018
Failure to compile the error reporting module of the parser

#118 · created May 16, 2018 by Guillaume Melquiond 1.0.0 component: build system priority: blocker
- CLOSED
- 1
- 3
updated Oct 02, 2018
Release of the new system 17 of 19 tasks completed

#96 · created Mar 06, 2018 by Guillaume Melquiond 1.0.0 priority: blocker
- CLOSED
- 2
updated Jun 25, 2018
Cannot use a type variable absent from the function arguments

#87 · created Feb 09, 2018 by MARCHE Claude 1.0.0 component: core
- CLOSED
- 2
updated May 23, 2018
Syntactic construction for infinite loops disappeared

#76 · created Jan 16, 2018 by CLOCHARD Martin 1.0.0 component: syntax
- CLOSED
- 1
updated Mar 14, 2018
Coercion and Higher-Order

#72 · created Jan 11, 2018 by CLOCHARD Martin 1.0.0 component: core
- CLOSED
- 1
updated Mar 06, 2018
Merge theories and modules into a single directory

#62 · created Dec 15, 2017 by Guillaume Melquiond 1.0.0 component: build system
- CLOSED
- 0
updated Dec 18, 2017
Poor error message when assigning field of a purified type

#41 · created Nov 22, 2017 by Guillaume Melquiond 1.0.0 component: core
- CLOSED
- 1
updated Nov 23, 2017
Machine integers and range types

#29 · created Nov 09, 2017 by Guillaume Melquiond 1.0.0 component: theories component: wp
- CLOSED
- 1
updated Feb 02, 2018
Error-prone behavior when cloning theories

#6 · created Oct 19, 2017 by Guillaume Melquiond 1.0.0 component: core component: syntax priority: blocker
- CLOSED
- 5
updated Jun 15, 2018