Commit 3b400c17 authored by MARCHE Claude's avatar MARCHE Claude

updated ROADMAP

parent 76d2631e
......@@ -154,7 +154,8 @@ DATE : fin avril / début mai
Release Notes (details in file CHANGES):
* Support for new provers or new versions of provers
* Stdlib: new theories for sequences and bitvectors
* bug fixes
== TODO ==
......@@ -164,12 +165,6 @@ Release Notes (details in file CHANGES):
updated configure.in and the manual
-> vérification compilation avec OCaml 3.12 -> Claude va le faire
* support for veriT recent
-> DONE: version 201410
* support for Yices2 recent
-> DONE: 2.3.0, but still does not support quantifiers
* solve issues with metitarski
. DONE theory PowerReal
. crashes when applied on a WP (see examples/my_cosine.mlw)
......@@ -181,9 +176,16 @@ updated configure.in and the manual
-> onglets dans why3 ide : est-ce apprécié ? OUI
mais enlever l'onglet "Counterexamples" avant la release
* sauvegarde de la configuration : à quel endroit dans l'IDE ?
== DONE ==
DONE * sauvegarde de la configuration : à quel endroit dans l'IDE ?
-> Claude le met dans la fenetre preferences a cote du bouton "Close"
* support for veriT recent
-> DONE: version 201410
* support for Yices2 recent
-> DONE: 2.3.0, but still does not support quantifiers
== Final preparation ==
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment