Issues · Why3 / why3 · GitLab

The execute button in TryWhy3 no longer works

#541 · created Feb 02, 2021 by Guillaume Melquiond 1.4.0 component: trywhy3 priority: blocker
- CLOSED
- 1
- 0
updated Feb 02, 2021
TryWhy3 crashes at startup: "caml_thread_initialize not implemented"

#540 · created Feb 02, 2021 by Guillaume Melquiond 1.4.0 component: trywhy3 priority: blocker
- CLOSED
- 1
- 2
updated Feb 02, 2021
List changes for 1.4.0 10 of 13 tasks completed

#539 · created Feb 02, 2021 by Guillaume Melquiond 1.4.0 component: documentation priority: blocker
- CLOSED
- 1
updated Mar 13, 2021
Find a replacement for headache

#536 · created Jan 29, 2021 by Guillaume Melquiond 1.4.0 priority: blocker
- CLOSED
- 2
updated Feb 01, 2021
ppx_deriving dependency

#473 · created Apr 03, 2020 by Claudio Belo Lourenco 1.4.0 component: build system priority: blocker
- CLOSED
- 1
- 5
updated Feb 05, 2021
Detection of non-progressing transformation is broken

#462 · created Mar 20, 2020 by Guillaume Melquiond 1.3.1 To be discussed component: core priority: blocker
- CLOSED
- 1
- 22
updated Mar 24, 2020
'make clean' erases Why3_BV.thy and Why3_Map.thy

#455 · created Mar 03, 2020 by Guillaume Melquiond 1.3.0 component: build system component: realizations priority: blocker
- CLOSED
- 3
updated Mar 03, 2020
Merge unreleased shape formats

#428 · created Jan 10, 2020 by Guillaume Melquiond 1.3.0 component: session priority: blocker
- CLOSED
- 1
- 4
updated Feb 11, 2020
Impossible to build Why3 due to `parser/handcrafted.messages`

#407 · created Nov 04, 2019 by Guillaume Melquiond 1.3.0 component: build system priority: blocker
- CLOSED
- 1
- 12
updated Nov 04, 2019
`why3 ide` fails to start because of some missing files

#402 · created Oct 29, 2019 by Guillaume Melquiond 1.3.0 component: graphical user interface priority: blocker
- CLOSED
- 0
updated Oct 29, 2019
Unsound termination check

#182 · created Sep 11, 2018 by Guillaume Melquiond 1.1.0 component: core priority: blocker soundness
- CLOSED
- 6
updated Oct 05, 2018
Transformation `split_vc` and term shapes

#128 · created Jun 01, 2018 by Guillaume Melquiond 1.0.0 component: session component: transformations priority: blocker
- CLOSED
- 1
- 0
updated Jun 13, 2018
Obsolete nodes unsoundly reattached after errors

#119 · created May 17, 2018 by Raphaël Rieu-Helft component: graphical user interface priority: blocker
- CLOSED
- 1
updated May 18, 2018
Failure to compile the error reporting module of the parser

#118 · created May 16, 2018 by Guillaume Melquiond 1.0.0 component: build system priority: blocker
- CLOSED
- 1
- 3
updated Oct 02, 2018
Release of the new system 17 of 19 tasks completed

#96 · created Mar 06, 2018 by Guillaume Melquiond 1.0.0 priority: blocker
- CLOSED
- 2
updated Jun 25, 2018
why3 config does not update main.loadpath

#69 · created Dec 21, 2017 by MARCHE Claude priority: blocker
- CLOSED
- 4
updated Mar 26, 2018
Errors make too many nodes obsolete

#61 · created Dec 15, 2017 by Raphaël Rieu-Helft component: graphical user interface priority: blocker
- CLOSED
- 0
updated Dec 21, 2017
Reload remove transformations with same name

#33 · created Nov 13, 2017 by DAILLER Sylvain component: session priority: blocker
- CLOSED
- 0
updated Nov 16, 2017
Key shorcut for going from command-line to task-tree

#26 · created Nov 08, 2017 by MARCHE Claude component: graphical user interface priority: blocker
- CLOSED
- 1
updated Nov 08, 2017
Error-prone behavior when cloning theories

#6 · created Oct 19, 2017 by Guillaume Melquiond 1.0.0 component: core component: syntax priority: blocker
- CLOSED
- 5
updated Jun 15, 2018