Issues · Why3 / why3 · GitLab

turn lemma into lemma function automatically

#493 · opened Jul 02, 2020 by Jean-Christophe Filliâtre feature wish
- 1
- 16
updated Jul 02, 2020
Integer literals

#492 · opened Jun 30, 2020 by Claudio Belo Lourenco
- 8
updated Jun 30, 2020
Invalid XML file generated for Isabelle 2019 for a VC in micro-C

#491 · opened Jun 26, 2020 by Frédéric Boulanger
- 0
updated Jun 26, 2020
Function symbol not found in a block of mutually recursive definitions

#490 · opened Jun 23, 2020 by Mário Pereira component: wp
- 8
updated Jun 23, 2020
Shortcuts names for provers can't be used anymore from command line?

#489 · opened Jun 23, 2020 by Denis Cousineau
- 5
updated Jun 23, 2020
allow using some gtk language style other than classic.xml

#488 · opened Jun 20, 2020 by LAWALL Julia component: (graphical) user interface
- 1
updated Jun 21, 2020
MLCFG frontend : feature wishes 0 of 5 tasks completed

#487 · opened Jun 18, 2020 by MARCHE Claude
- 1
updated Jun 18, 2020
MLCFG frontend : bugs with the `old` construct

#486 · opened Jun 18, 2020 by MARCHE Claude
- 0
updated Jun 18, 2020
Size of commands in lib

#485 · opened Jun 18, 2020 by Ghost User component: build system
- 16
updated Jun 19, 2020
extraction to C of function without argument

#483 · opened May 01, 2020 by Jean-Christophe Filliâtre component: extraction
- 2
updated May 04, 2020
Spurious statements when extracting to C

#482 · opened Apr 29, 2020 by Guillaume Melquiond component: extraction
- 3
updated Apr 29, 2020
Type invariants are named "LoopInvariant"

#480 · opened Apr 27, 2020 by Raphaël Rieu-Helft component: (graphical) user interface
- 1
- 0
updated May 04, 2020
why3prove, JSON output : make the output fully in JSON

#479 · opened Apr 22, 2020 by MARCHE Claude
- 0
updated Apr 22, 2020
Is the `reset_gc` workaround is still useful?

#478 · opened Apr 17, 2020 by Guillaume Melquiond 1.4.0 component: (graphical) user interface
- 3
updated Apr 20, 2020
Extraction of interface files is too conservative

#477 · opened Apr 11, 2020 by Guillaume Melquiond component: extraction
- 0
updated Apr 14, 2020
Strange interaction between `remove module` and extraction to C

#476 · opened Apr 11, 2020 by Guillaume Melquiond component: extraction
- 0
updated Apr 20, 2020
Extraction of top-level function alias

#475 · opened Apr 09, 2020 by Mário Pereira
- 0
updated Apr 09, 2020
document the emacs mode for Why3

#474 · opened Apr 09, 2020 by MARCHE Claude
- 0
updated Apr 09, 2020
Distinguish usages of explanations

#472 · opened Apr 01, 2020 by MARCHE Claude To be discussed
- 4
updated Apr 06, 2020
Anomaly Why3.Controller_itp.Make(S).TransAlreadyExists("split_vc", "")

#471 · opened Mar 31, 2020 by MARCHE Claude
- 0
updated Mar 31, 2020

Prev
1
2
3
4
5
6
Next