Merge requests · Why3 / why3

Fix deprecation warnings.

!153 · created May 27, 2019 by Guillaume Melquiond
component: realizations
- Merged
updated May 28, 2019
Update opam packages

!152 · created May 27, 2019 by Guillaume Melquiond
component: build system
- Merged
updated May 28, 2019
Ocaml extraction: look up assign fields in driver

!145 · created May 14, 2019 by Raphaël Rieu-Helft
- Merged
- 4
updated May 27, 2019
C extraction fixes

!147 · created May 15, 2019 by Raphaël Rieu-Helft
- Merged
- 10
updated May 27, 2019
fix #320 Save auto_next value in the configuration

!150 · created May 22, 2019 by DAILLER Sylvain
- Merged
- 1
updated May 22, 2019
Shape by hyp no new rebased

!149 · created May 21, 2019 by DAILLER Sylvain
- Merged
updated May 21, 2019
Release examples/multiprecision

!148 · created May 21, 2019 by Guillaume Melquiond
- Merged
updated May 21, 2019
Inline attribute

!136 · created May 03, 2019 by Raphaël Rieu-Helft
- Merged
- 12
updated May 16, 2019
Add the use of Expr in the manual

!142 · created May 13, 2019 by François Bobot
- Merged
- 1
updated May 14, 2019
Use api with expr

!141 · created May 10, 2019 by François Bobot
- Merged
- 3
updated May 14, 2019
remove useless `import` in doc (avoid warnings)

!143 · created May 13, 2019 by LA
- Merged
updated May 13, 2019
Shape simpl infix

!140 · created May 07, 2019 by DAILLER Sylvain
- Merged
updated May 07, 2019
Resolve "File names for edited proof scripts should be system-independent"

!138 · created May 06, 2019 by MARCHE Claude 1.3.0
- Merged
updated May 07, 2019
ide: Automatic scrolling to location now uses goal location fix #296

!137 · created May 06, 2019 by DAILLER Sylvain
- Merged
updated May 06, 2019
Mpn ptr loops

!135 · created May 02, 2019 by Raphaël Rieu-Helft
- Merged
updated May 02, 2019
Fix destruct term

!133 · created Apr 30, 2019 by DAILLER Sylvain
- Merged
updated Apr 30, 2019
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
WIP: Finding program symbols

!128 · created Apr 23, 2019 by Raphaël Rieu-Helft
- Closed
updated Apr 25, 2019
Issue 311

!130 · created Apr 25, 2019 by DAILLER Sylvain
- Merged
updated Apr 25, 2019