Issues · Why3 / why3 · GitLab

"why3 config detect" detects every binary executable only once

#561 · opened Mar 03, 2021 by Guillaume Melquiond 1.4.0 component: configuration
- CLOSED
- 1
- 0
updated Mar 04, 2021
Overzealous positivity checker?

#558 · opened Feb 23, 2021 by Raphaël Rieu-Helft component: core
- CLOSED
- 5
updated Mar 03, 2021
why3 inside a makefile

#518 · opened Dec 01, 2020 by THERY Laurent 1.4.0 component: configuration
- CLOSED
- 5
updated Mar 02, 2021
Shortcuts names for provers can't be used anymore from command line?

#489 · opened Jun 23, 2020 by Denis Cousineau 1.4.0 component: configuration
- CLOSED
- 6
updated Mar 02, 2021
document mutually recursive types

#560 · opened Mar 02, 2021 by Jean-Christophe Filliâtre 1.4.0 component: documentation
- 1
- 0
updated Mar 02, 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
Build a glossary of error messages

#557 · opened Feb 23, 2021 by MARCHE Claude component: documentation
- 0
updated Mar 01, 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
Try Why3 freezes

#516 · opened Nov 26, 2020 by Quentin Garchery component: trywhy3
- CLOSED
- 1
- 2
updated Feb 28, 2021
Vanished invariant "expl" attribute

#559 · opened Feb 24, 2021 by Denis Cousineau
- 2
updated Feb 24, 2021
Unused variable

#556 · opened Feb 22, 2021 by Guillaume Cluzel
- 1
updated Feb 23, 2021
Broken uninstalled prover window

#553 · opened Feb 18, 2021 by Raphaël Rieu-Helft component: graphical user interface
- CLOSED
- 1
- 4
updated Feb 19, 2021
Should why3config --add-prover only add one prover ?

#365 · opened Jul 08, 2019 by DAILLER Sylvain component: configuration component: tools
- CLOSED
- 1
- 5
updated Feb 15, 2021
Allow changing foreground color in source on error

#392 · opened Oct 14, 2019 by DAILLER Sylvain 1.3.0 Hackathon component: configuration
- CLOSED
- 1
- 0
updated Feb 15, 2021
why3config --detect remove manually added prover

#418 · opened Dec 04, 2019 by DAILLER Sylvain component: configuration
- CLOSED
- 1
- 0
updated Feb 15, 2021
automake warnings and error

#447 · opened Feb 22, 2020 by Frédéric Blanqui component: build system
- CLOSED
- 1
updated Feb 15, 2021
Versioning of .why3.conf and sanity check

#484 · opened May 14, 2020 by Ghost User component: configuration
- CLOSED
- 1
- 3
updated Feb 15, 2021
Local config file common to all Why3 commands

#430 · opened Jan 10, 2020 by MARCHE Claude 1.5.0 To be discussed component: configuration component: tools feature wish
- 1
- 6
updated Feb 15, 2021
additional manually-written configuration files

#55 · opened Dec 14, 2017 by CLOCHARD Martin component: configuration feature wish
- 6
updated Feb 15, 2021
Parsing bug: vc_sp attribute/assignment

#262 · opened Jan 29, 2019 by DAILLER Sylvain 1.4.0 To be discussed component: syntax
- CLOSED
- 1
- 9
updated Feb 12, 2021

Prev
1
2
3
4
5
…
28
Next