Issues · Why3 / why3 · GitLab

Impossible to reload the ide after parsing error

#111 · opened Apr 24, 2018 by DAILLER Sylvain component: core component: syntax
- 0
updated Apr 24, 2018
Unused constant in stdlib/floating_point

#110 · opened Apr 18, 2018 by Tomohito Yabu
- 0
updated Apr 18, 2018
split_*_wp redundant?

#109 · opened Apr 17, 2018 by Andrei Paskevich
- 0
updated Apr 17, 2018
[@model_trace: <name>] labels redundant?

#108 · opened Apr 17, 2018 by Andrei Paskevich
- 1
updated Apr 17, 2018
why3 is not compatible with OCaml 4.07

#105 · opened Apr 13, 2018 by Kate Next release
- 0
updated Apr 13, 2018
why3 config for provers with compile-time support

#100 · opened Mar 23, 2018 by Guillaume Melquiond
- 0
updated Mar 23, 2018
Simplification of array initializer for generated Why3 code

#99 · opened Mar 14, 2018 by DAILLER Sylvain component: transformations
- 0
updated Mar 14, 2018
range types should introduce an injectivity axiom

#97 · opened Mar 07, 2018 by MARCHE Claude
- 9
updated Mar 08, 2018
Release of the new system 4 of 11 tasks completed

#96 · opened Mar 06, 2018 by Guillaume Melquiond New system priority: blocker
- 1
updated Apr 05, 2018
Improve handling of premises

#88 · opened Feb 14, 2018 by Guillaume Melquiond Next release component: (graphical) user interface component: transformations feature wish
- 4
updated Feb 20, 2018
Cannot use a type variable absent from the function arguments

#87 · opened Feb 09, 2018 by MARCHE Claude New system component: core
- 1
updated Mar 07, 2018
Commands request to be reorganized

#63 · opened Dec 19, 2017 by DAILLER Sylvain component: (graphical) user interface feature wish priority: low
- 1
updated Dec 22, 2017
Variants and soundness guarantees

#57 · opened Dec 15, 2017 by Guillaume Melquiond component: wp soundness
- 0
updated Dec 15, 2017
No default order for range types

#56 · opened Dec 14, 2017 by Guillaume Melquiond New system component: wp
- 0
updated Dec 14, 2017
additional manually-written configuration files

#55 · opened Dec 14, 2017 by CLOCHARD Martin feature wish
- 3
updated Mar 26, 2018
warning when cloning module containing only "val"s as abstract symbols

#52 · opened Dec 14, 2017 by CLOCHARD Martin New system
- 0
updated Mar 06, 2018
Instantiation of mutable type symbol when cloning

#51 · opened Dec 14, 2017 by CLOCHARD Martin component: core
- 0
updated Dec 15, 2017
Invalid_argument('Expr.let_rec") in clone declarations

#42 · opened Nov 22, 2017 by Raphaël Rieu-Helft New system component: core
- 4
updated Mar 06, 2018
Tab completion in the command line

#39 · opened Nov 17, 2017 by Raphaël Rieu-Helft component: (graphical) user interface feature wish
- 1
updated Dec 19, 2017
Coercions in branching expressions (if and match)

#35 · opened Nov 16, 2017 by MARCHE Claude New system component: core
- 4
updated Mar 06, 2018

Prev
1
2
Next