Commit 73d0b5b2 authored by MARCHE Claude's avatar MARCHE Claude

updated roadmap

parent 575398f8
...@@ -167,7 +167,7 @@ Scheduled for 31 october 2013 ...@@ -167,7 +167,7 @@ Scheduled for 31 october 2013
** --hist: TODO documenter (voir Alain ou Mohamed sur les graphes SMT) ** --hist: TODO documenter (voir Alain ou Mohamed sur les graphes SMT)
* bug fixes: * bug fixes:
** remove leading zeros in decimal literals when needed by a prover ** remove extra leading zeros in decimal literals when a prover don't like them
** PVS output: types are always non-empty ** PVS output: types are always non-empty
** PVS: fixed configuration and installation process ** PVS: fixed configuration and installation process
** improved shape mecanism for session updates (see VSTTE'13 paper). ** improved shape mecanism for session updates (see VSTTE'13 paper).
...@@ -178,8 +178,8 @@ Scheduled for 31 october 2013 ...@@ -178,8 +178,8 @@ Scheduled for 31 october 2013
** bug #15493: ? ** bug #15493: ?
** bug #15053: ? ** bug #15053: ?
** bug #13736: ? ** bug #13736: ?
** syntax highlighting bugs: should be fixed by removing old language ** syntax highlighting bugs: should be fixed by removing the old language
files from alt-ergo file alt-ergo.lang from alt-ergo distribution
== Final preparation == == 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