Commit 5ebc78ca authored by MARCHE Claude's avatar MARCHE Claude

roadmap

parent 51d2defa
......@@ -158,6 +158,9 @@ Release Notes (details in file CHANGES):
== TODO ==
determine which is the minumum version of Ocaml to compile, and then
updated configure.in and the manual
support for veriT recent
-> DONE: version 201410
......@@ -168,9 +171,9 @@ solve issues with metitarski
. DONE theory PowerReal
. crashes when applied on a WP (see examples/my_cosine.mlw)
clean up the support for SMTLIB bitvectors
clean up the support for SMTLIB bitvectors: there are 2 theories in the stdlib: thoeries/bv.why and modules/bitvectors.mlw
. decide if GUI with tabs is convenient enough
decide if GUI with tabs is convenient enough
== 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