Commit aafaa2c7 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO update.

parent 819c0e30
......@@ -4,6 +4,8 @@
collect performance data
correlate with star size and alphabet size, etc. draw a graph
graph unreachable states, too
Add --compile-errors and check that every error is covered at
least once and at most once.
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et
sur la page Web), ajouter le back-end Coq, l'API incrémentale
Supports Markdown
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