Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:
https://about.gitlab.com/releases/2021/03/17/security-release-gitlab-13-9-4-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/

Commit 366d10c5 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 19854f32
......@@ -114,13 +114,14 @@
recognizing the default message as irrelevant.
(Gabriel Scherer.)
* At level -la 2, display a shortest terminal sentence
for each nonterminal symbol. (Easy application of Fix.)
* At level -la 2, display a minimal terminal sentence
for each nonterminal symbol. (Code in attic/.)
Check Purdom, "A sentence generator for testing parsers", 1972.
* 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.
* Add a facility to produce a set of *valid* sentences that reach *every*
(reachable) state of the automaton. Also, a set of valid sentences that
exercise *every* production. 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
......
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