Issues · Why3 / why3 · GitLab

Consider upgrading the module `mach.bv`

#340 · opened Jun 05, 2019 by MARCHE Claude
- 0
updated Jun 05, 2019
Module `Fxp` should be documented

#339 · opened Jun 05, 2019 by MARCHE Claude
- CLOSED
- 0
updated Nov 04, 2019
Module `Tagset` should be documented

#338 · opened Jun 05, 2019 by MARCHE Claude
- 0
updated Jun 05, 2019
Module `Cursor` should be documented

#337 · opened Jun 05, 2019 by MARCHE Claude
- 0
updated Jun 05, 2019
seq.Sorted should be using TotalPreOrder, not TotalOrder

#336 · opened Jun 05, 2019 by Jean-Christophe Filliâtre
- CLOSED
- 2
- 0
updated Jun 06, 2019
Disable js_of_ocaml by default

#335 · opened Jun 05, 2019 by Raphaël Rieu-Helft Hackathon component: build system
- CLOSED
- 1
- 1
updated Aug 22, 2019
Missing warning for useless pattern in quantifier.

#334 · opened Jun 05, 2019 by Léo Andrès Hackathon
- CLOSED
- 2
updated Jun 05, 2019
Why3 shell improvements 4 of 8 tasks completed

#333 · opened Jun 05, 2019 by François Bobot To be discussed component: session server feature wish
- 4
updated Jun 07, 2019
[patch] teach Array.append to Pinterp

#332 · opened May 30, 2019 by SCHERER Gabriel Hackathon
- CLOSED
- 1
- 11
updated Jun 06, 2019
Extraction of pattern contained in driver

#331 · opened May 29, 2019 by PARREIRA PEREIRA Mário José Hackathon component: extraction
- CLOSED
- 1
- 1
updated Jun 25, 2019
Use hypotheses when doing compile_match

#330 · opened May 29, 2019 by PARREIRA PEREIRA Mário José feature wish
- 5
updated Jun 03, 2019
Missing lots of standard modules in the documentation

#329 · opened May 29, 2019 by Guillaume Melquiond 1.3.0 Hackathon documentation
- CLOSED
- 1
- 2
updated Jun 05, 2019
[patch] why3 tutorial: use numbered list for Einstein hints

#328 · opened May 29, 2019 by SCHERER Gabriel To be discussed
- CLOSED
- 4
updated Jun 05, 2019
Anomaly when trying to locally open a non-imported module

#327 · opened May 28, 2019 by PARREIRA PEREIRA Mário José
- CLOSED
- 0
updated Jul 29, 2019
extraction of records fields used as functions

#326 · opened May 28, 2019 by Léo Andrès Hackathon component: extraction
- CLOSED
- 1
- 2
updated Jun 07, 2019
Extraction of partial applications

#325 · opened May 27, 2019 by Raphaël Rieu-Helft Hackathon component: extraction
- 3
updated May 27, 2019
Let-functions without non-ghost arguments

#324 · opened May 27, 2019 by Raphaël Rieu-Helft 1.3.0 Hackathon component: extraction
- CLOSED
- 1
- 0
updated Jun 25, 2019
Allow Coq proof using why3prove only

#323 · opened May 27, 2019 by DAILLER Sylvain To be discussed
- CLOSED
- 16
updated Oct 25, 2019
Error ident renaming

#322 · opened May 22, 2019 by DAILLER Sylvain
- CLOSED
- 1
- 2
updated Dec 03, 2019
"val" differenciation question

#321 · opened May 22, 2019 by DAILLER Sylvain
- CLOSED
- 5
updated May 23, 2019

« First
Prev
1
2
3
4
5
6
7
8
9
…
Next
Last »