Skip to content

why3
why3
Commit 10ee7670 authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

update roadmap

parent 775b5164
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 1 deletion
ROADMAP
View file @ 10ee7670
......@@ -58,7 +58,7 @@
* debuguer cpulimit pour gappa (pb de return code)
* option --version a tous les executables (done, except IDE)
* option --version a tous les executables (done, except IDE: bug 11604)
** + affichage dans l'IDE (done)
* Builtin arrays in provers (done)
* make install (done)
......@@ -73,6 +73,8 @@
= Roadmap for second release, as early as possible in 2011 =
* file names in DB
** use only file names relative to the db file
* proof replay
** in IDE
** in whybench
......
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