Issues · Why3 / why3 · GitLab

Cloning: please improve syntax and error messages

#387 · created Oct 03, 2019 by MARCHE Claude 1.4.0 Hackathon
- CLOSED
- 3
updated Mar 12, 2021
Allow changing foreground color in source on error

#392 · created Oct 14, 2019 by DAILLER Sylvain 1.3.0 Hackathon component: configuration
- CLOSED
- 1
- 0
updated Feb 15, 2021
Extraction of partial applications

#325 · created May 27, 2019 by Raphaël Rieu-Helft Hackathon component: extraction
- CLOSED
- 1
- 3
updated Jun 02, 2020
Invalid_argument('Expr.let_rec") in clone declarations

#42 · created Nov 22, 2017 by Raphaël Rieu-Helft 1.3.0 Hackathon component: core
- CLOSED
- 1
- 5
updated Mar 17, 2020
Cloning function with bad ghost status raises Invalid_argument("Expr.let_rec")

#168 · created Aug 24, 2018 by PARREIRA PEREIRA Mário José 1.3.0 Hackathon
- CLOSED
- 1
- 7
updated Mar 17, 2020
The behavior of Ctrl-Down is not user-friendly

#420 · created Dec 06, 2019 by Raphaël Rieu-Helft Hackathon component: graphical user interface
- CLOSED
- 3
- 6
updated Mar 06, 2020
Update gallery 28 of 28 tasks completed

#452 · created Feb 29, 2020 by Guillaume Melquiond 1.3.0 Hackathon To be discussed component: website
- CLOSED
- 1
updated Mar 04, 2020
Wrong smtlib file generation for ieee_float.FloatXX.in_range (at least) for CVC4

#450 · created Feb 27, 2020 by Ghost User 1.3.0 Hackathon component: drivers
- CLOSED
- 1
- 3
updated Mar 04, 2020
set logic to ALL_SUPPORTED for CVC4

#401 · created Oct 28, 2019 by MARCHE Claude 1.3.0 Hackathon
- CLOSED
- 1
- 0
updated Feb 13, 2020
eliminate_if transformation explodes

#374 · created Aug 20, 2019 by Johannes Kanig Hackathon
- CLOSED
- 2
- 14
updated Dec 10, 2019
Add file from IDE is broken

#300 · created Apr 08, 2019 by DAILLER Sylvain Hackathon
- CLOSED
- 5
updated Nov 20, 2019
Make sure that Str is not used in places that trywhy3 uses

#381 · created Sep 05, 2019 by Raphaël Rieu-Helft Hackathon component: trywhy3
- CLOSED
- 1
- 2
updated Nov 14, 2019
syntax function in extraction drivers

#222 · created Oct 24, 2018 by Jean-Christophe Filliâtre Hackathon
- CLOSED
- 1
- 1
updated Nov 13, 2019
module appmap.AppMap should propose *finite domain* maps

#283 · created Mar 01, 2019 by MARCHE Claude 1.3.0 Hackathon
- CLOSED
- 1
updated Nov 12, 2019
Named results shadow parameter names

#384 · created Sep 18, 2019 by Raphaël Rieu-Helft Hackathon component: syntax
- CLOSED
- 1
- 7
updated Nov 12, 2019
avoid jumping after deleting a detached subgoal

#406 · created Nov 03, 2019 by LAWALL Julia Hackathon
- CLOSED
- 1
- 0
updated Nov 12, 2019
Allow modifying colors directly in IDE

#397 · created Oct 25, 2019 by Guillaume Melquiond Hackathon component: graphical user interface
- CLOSED
- 1
- 0
updated Nov 10, 2019
Choice of MLMPFR

#385 · created Sep 22, 2019 by François Bobot Hackathon
- CLOSED
- 10
updated Nov 08, 2019
Rename `axiom` into `hypothesis` in task printing

#388 · created Oct 04, 2019 by MARCHE Claude 1.3.0 Hackathon
- CLOSED
- 1
- 2
updated Nov 08, 2019
Modifying source in IDE should remove error marks

#398 · created Oct 25, 2019 by Guillaume Melquiond 1.3.0 Hackathon component: graphical user interface
- CLOSED
- 1
- 0
updated Nov 08, 2019