Merge requests · Why3 / why3

intro_vc_vars: change same_line_loc to use new vc_written attrs

!68 · created Dec 04, 2018 by DAILLER Sylvain
- Merged
updated Dec 04, 2018
245 theories

!67 · created Dec 03, 2018 by DAILLER Sylvain
- Merged
updated Dec 03, 2018
ce: duplicate vc:written variables at appropriate locations

!66 · created Nov 30, 2018 by DAILLER Sylvain
- Merged
updated Nov 30, 2018
destruct: adhoc unsoundness correction

!65 · created Nov 29, 2018 by DAILLER Sylvain
- Merged
updated Nov 29, 2018
Destruct 243

!64 · created Nov 29, 2018 by DAILLER Sylvain
- Merged
updated Nov 29, 2018
108 issue3

!63 · created Nov 28, 2018 by DAILLER Sylvain
- Merged
updated Nov 28, 2018
Remove unused attributes.

!62 · created Nov 26, 2018 by DAILLER Sylvain
- Merged
updated Nov 26, 2018
235 issue

!60 · created Nov 13, 2018 by DAILLER Sylvain
- Merged
updated Nov 13, 2018
Mark "any" expressions as ghost. (Fix #225.)

!53 · created Oct 26, 2018 by Guillaume Melquiond
- Merged
- 7
updated Nov 09, 2018
Add transformation inst_rem: instantiate which removes general hypothesis.

!59 · created Nov 08, 2018 by DAILLER Sylvain
- Merged
updated Nov 08, 2018
231 destruct

!58 · created Nov 08, 2018 by DAILLER Sylvain
- Merged
updated Nov 08, 2018
Extraction: inline more proxy variables

!37 · created Oct 08, 2018 by Raphaël Rieu-Helft
- Merged
- 1
updated Nov 06, 2018
ce: fix problems in ce collecting and transformations

!57 · created Nov 05, 2018 by DAILLER Sylvain
- Merged
updated Nov 05, 2018
Range projection meta

!56 · created Oct 30, 2018 by DAILLER Sylvain
- Merged
updated Oct 30, 2018
Remove list_terms argument from rewrite_list (fix #226)

!55 · created Oct 30, 2018 by Raphaël Rieu-Helft
- Merged
updated Oct 30, 2018
counterexamples: change the kind of output model_elements

!54 · created Oct 30, 2018 by DAILLER Sylvain
- Merged
updated Oct 30, 2018
Switch CI to opam 2 (fix #217).

!47 · created Oct 23, 2018 by Raphaël Rieu-Helft
- Merged
- 11
updated Oct 26, 2018
ce: Parsing of models for cvc41.6

!52 · created Oct 25, 2018 by DAILLER Sylvain
- Merged
updated Oct 25, 2018
ce-bench: change oracles directory. Add possibility to xfail tests for ce

!50 · created Oct 24, 2018 by DAILLER Sylvain
- Merged
updated Oct 24, 2018
Rebase collecting counterex

!45 · created Oct 22, 2018 by DAILLER Sylvain
- Merged
updated Oct 24, 2018