Issues · Why3 / why3 · GitLab

Vanished invariant "expl" attribute

#559 · opened Feb 24, 2021 by Denis Cousineau
- 2
updated Feb 24, 2021
Build a glossary of error messages

#557 · opened Feb 23, 2021 by MARCHE Claude component: documentation
- 0
updated Mar 01, 2021
Unused variable

#556 · opened Feb 22, 2021 by Guillaume Cluzel
- 1
updated Feb 23, 2021
Add support for `string` type and module `io` in `why3 execute`

#555 · opened Feb 19, 2021 by MARCHE Claude 1.5.0 component: execution
- 1
updated Mar 01, 2021
Document the modulo `io`, document printing capabilities

#554 · opened Feb 19, 2021 by MARCHE Claude 1.5.0 component: documentation
- 0
updated Mar 01, 2021
RFC: binders for tuple components in function prototype

#552 · opened Feb 10, 2021 by Jean-Christophe Filliâtre component: syntax feature wish
- 2
updated Feb 11, 2021
Module `mach.bv` should provide purely bitvector-based pre-conditions

#551 · opened Feb 09, 2021 by MARCHE Claude 1.5.0 component: theories
- 1
updated Feb 12, 2021
Syntactic sugar for lemma functions

#547 · opened Feb 03, 2021 by Loïc Correnson component: syntax feature wish
- 2
updated Feb 11, 2021
Inductive proofs on inductives

#546 · opened Feb 03, 2021 by Loïc Correnson component: core feature wish
- 10
updated Feb 11, 2021
List changes for 1.4.0 10 of 13 tasks completed

#539 · opened Feb 02, 2021 by Guillaume Melquiond 1.4.0 component: documentation priority: blocker
- 1
updated Feb 10, 2021
Add a deriving framework for WhyML

#531 · opened Jan 22, 2021 by François Bobot To be discussed component: syntax
- 4
updated Feb 11, 2021
Private types are exposed in server communication

#526 · opened Jan 14, 2021 by Xavier Denis component: session server
- 6
updated Jan 18, 2021
destruct/case transformations incorrectly handle polymorphic formulas

#525 · opened Jan 14, 2021 by Quentin Garchery 1.4.0 component: transformations soundness
- 3
updated Jan 22, 2021
why3 configuration

#522 · opened Dec 10, 2020 by François Bobot component: configuration
- 1
updated Feb 11, 2021
Update documentation of the Why3 API

#520 · opened Dec 03, 2020 by Guillaume Cluzel component: documentation
- 0
updated Jan 29, 2021
When clauses

#519 · opened Dec 01, 2020 by Xavier Denis component: syntax
- 0
updated Jan 29, 2021
why3 inside a makefile

#518 · opened Dec 01, 2020 by THERY Laurent 1.4.0 component: configuration
- 4
updated Feb 15, 2021
Why3dep ?

#513 · opened Nov 06, 2020 by François Bobot component: tools
- 4
updated Nov 18, 2020
Smt-lib2 counterexample syntax extension

#511 · opened Oct 26, 2020 by Albin Coquereau component: counterexample
- 13
updated Feb 09, 2021
Interface for Module

#505 · opened Oct 01, 2020 by François Bobot component: syntax
- 14
updated Nov 30, 2020

Prev
1
2
3
4
5
6
Next