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


parent 647d843c
......@@ -68,6 +68,10 @@
recognizing the default message as irrelevant.
(Gabriel Scherer.)
* Add a facility to produce a set of sentences that reach *every* (reachable)
state of the automaton. This could be useful in regression testing, says
Frédéric Bour.
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et
sur la page Web), ajouter le back-end Coq, l'API incrémentale
et l'API d'inspection, les règles anonymes, la gestion fine des
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