Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Commit 97edd540 authored by fpottier's avatar fpottier
Browse files

Minor TODO update.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@358 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
parent 0a093ebc
* ajouter une possibilité de désactiver certains warnings (utile pour
le cours de compilation où on démarre avec une grammaire à trous)
le cours de compilation où on démarre avec une grammaire à trous),
par exemple les non-terminaux inaccessibles
* add a way of turning off the "unused token" warning for a specific token
(or for all of them) This is legitimate because the lexer might be designed
to produce certain tokens that the parser does not use at all.
* move to a new license (GPL V2?), as per Hongbo Zhang's request.
......
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