Commit 4864d003 authored by POTTIER Francois's avatar POTTIER Francois

TODO item.

parent a663fd9b
...@@ -13,6 +13,11 @@ ...@@ -13,6 +13,11 @@
correlate with star size and alphabet size, etc. correlate with star size and alphabet size, etc.
create separate graphs for 3 modes: --lalr, pager, --canonical create separate graphs for 3 modes: --lalr, pager, --canonical
Could --interpret-error obey --trace? Could --interpret-error obey --trace?
Auto-comment: show the shape of the stack (invariant).
Idea: allow the user to make assertions about
the known shape of the stack,
the known lhs of all items in the state,
the possible continuations...?
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et * Dans les avantages de Menhir versus ocamlyacc (dans la doc et
sur la page Web), ajouter le back-end Coq, l'API incrémentale sur la page Web), ajouter le back-end Coq, l'API incrémentale
......
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