Commit 76617da9 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

roadmap: smoke detector

parent d7fcff9b
......@@ -47,8 +47,6 @@
=== Roadmap for next release ========================
* stages
** M1. preuve d'un petit compilateur, pas de pb de lieur,
eventuellement outils pour les preuves par recurrence
......@@ -72,6 +70,8 @@
** move -latex from why3replayer to why3report
** document why3report
* FRANCOIS
** document smoke detector
* CLAUDE provers
** fix support for newer Z3, CVC3 and Alt-Ergo, allow several version
......
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