updated roadmap

63115308 · Jean-Christophe Filliâtre · 0da389ed · 63115308 · 63115308
Commit 63115308 authored Feb 18, 2011 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 2 deletions

ROADMAP ROADMAP +5 -1

tests/test-jcf.why tests/test-jcf.why +1 -1

No files found.
--- a/ROADMAP
+++ b/ROADMAP
@@ -2,7 +2,11 @@

 = Roadmap for 2011 =========================================================

-* WhyML (JC) 
+* WhyML
+  ** regions
+  ** clone module
+  ** ghost code
+  ** extraction of Ocaml code 
 * Jessie3
 * traceability
 * Coq plugin

--- a/tests/test-jcf.why
+++ b/tests/test-jcf.why
@@ -73,7 +73,7 @@ end

 (*
 Local Variables: 
-compile-command: "cd ..; bin/why.opt -D drivers/simplify.drv tests/test-jcf.why && bin/why.opt -P simplify tests/test-jcf.why"
+compile-command: "make -C .. tests/test-jcf.gui"
 End: 
 *)