Merge requests · Why3 / why3

Fix popups of bisect/remove

!132 · created Apr 26, 2019 by DAILLER Sylvain
- Merged
updated Apr 26, 2019
Finding program symbols

!131 · created Apr 25, 2019 by Raphaël Rieu-Helft
- Merged
updated Apr 25, 2019
Issue 311

!130 · created Apr 25, 2019 by DAILLER Sylvain
- Merged
updated Apr 25, 2019
batch mode: add printing of source color and cursor position as text

!124 · created Apr 17, 2019 by DAILLER Sylvain
- Merged
- 1
updated Apr 23, 2019
Add --stats to cvc4 to allow querying steps

!126 · created Apr 19, 2019 by DAILLER Sylvain
- Merged
updated Apr 19, 2019
Resolve "Support for Alt-Ergo 2.3.0 and CVC4 1.7"

!127 · created Apr 19, 2019 by MARCHE Claude 1.3.0
- Merged
updated Apr 19, 2019
counterexamples: Indices are now model_value

!125 · created Apr 17, 2019 by DAILLER Sylvain
- Merged
updated Apr 17, 2019
Add comment prelude and outofmemory error for z3 driver

!121 · created Apr 15, 2019 by DAILLER Sylvain
- Merged
- 2
updated Apr 16, 2019
Add %t/%m for timelimit/memlimit in strategy definitions

!123 · created Apr 15, 2019 by DAILLER Sylvain
- Merged
updated Apr 16, 2019
ide/session: Add a command that resets all proofs from a session

!120 · created Apr 11, 2019 by DAILLER Sylvain
- Merged
updated Apr 12, 2019
Fix example iee float

!102 · created Feb 19, 2019 by MARCHE Claude
- Merged
- 2
updated Apr 11, 2019
counterexamples display: add hexadecimal representation to int and bv

!119 · created Apr 10, 2019 by DAILLER Sylvain
- Merged
updated Apr 10, 2019
fix #282

!118 · created Apr 09, 2019 by DAILLER Sylvain
- Merged
updated Apr 09, 2019
Issue 290

!116 · created Apr 04, 2019 by DAILLER Sylvain
- Merged
updated Apr 05, 2019
ide - fix #293 give the focus on new tabs that are added to the ide

!115 · created Apr 01, 2019 by DAILLER Sylvain
- Merged
updated Apr 01, 2019
Socket error

!114 · created Apr 01, 2019 by DAILLER Sylvain
- Merged
updated Apr 01, 2019
fix #292

!113 · created Apr 01, 2019 by DAILLER Sylvain
- Merged
updated Apr 01, 2019
Issue 288

!111 · created Mar 29, 2019 by DAILLER Sylvain
- Merged
updated Mar 29, 2019
fix #22 Add arguments to induction_pr_arg

!110 · created Mar 27, 2019 by DAILLER Sylvain
- Merged
updated Mar 27, 2019
Fix induction_arg_ty_lex by adding attribute induction on variable

!109 · created Mar 26, 2019 by DAILLER Sylvain
- Merged
updated Mar 26, 2019