Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
94c83072
Commit
94c83072
authored
Feb 03, 2020
by
POTTIER Francois
Committed by
POTTIER Francois
Feb 10, 2020
Browse files
Remove a couple TODO items (one solved, one moot).
parent
27186186
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
94c83072
...
...
@@ -189,9 +189,6 @@
non la trace. (En mode --trace.) Et si possible, donner accès depuis
l'extérieur à la fonction print_token qui est engendrée.
* (petit) BUG: --follow-construction n'affiche pas le contenu des états
initiaux (r0)
* Préserver dirname/ dans les directives #line émises.
* BUG: Boris (1.- bouclage parser sur une entrée erronée 2.- une lecture
...
...
@@ -210,8 +207,6 @@
(also check the parser.mly sent by Andrej Bauer on 2016/01/21)
Or just give up on explaining the conflict in this case.
* BUG: cutdown.mly
* dans le dump de l'automate, rajouter les transitions qui ont
ete supprimees par resolution de conflits. Afficher aussi les
réductions par défaut?
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment