Skip to content
GitLab
Menu
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
da896a87
Commit
da896a87
authored
Jun 24, 2020
by
POTTIER Francois
Browse files
TODO.
parent
4b6647fd
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
da896a87
...
@@ -176,7 +176,14 @@
...
@@ -176,7 +176,14 @@
est-il bien le bug connu? peut-on le corriger? ne suffirait-il pas de
est-il bien le bug connu? peut-on le corriger? ne suffirait-il pas de
passer sous silence les conflits qui ont lieu dans une partie inaccessible
passer sous silence les conflits qui ont lieu dans une partie inaccessible
de l'automate? (Avoid reporting conflicts in unreachable states. See e.g.
de l'automate? (Avoid reporting conflicts in unreachable states. See e.g.
petr4.mly, perhaps other examples.)
belloeil.mly.) (Once this is done, the test suite
could be improved to test that we never have "unexplainable conflicts".)
* BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict.
(see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto)
(also check the parser.mly sent by Andrej Bauer on 2016/01/21)
Or just give up on explaining the conflict in this case.
* Implémenter un test de détection de boucles. Si la grammaire contient une
* Implémenter un test de détection de boucles. Si la grammaire contient une
boucle, elle est infiniment ambiguë. Pour le test, calculer tous les
boucle, elle est infiniment ambiguë. Pour le test, calculer tous les
...
@@ -198,12 +205,6 @@
...
@@ -198,12 +205,6 @@
nom de fichier; d'après Damien, il devrait suffire que la phrase après
nom de fichier; d'après Damien, il devrait suffire que la phrase après
les deux points ne commence pas par un nombre.
les deux points ne commence pas par un nombre.
* BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict.
(see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto)
(also check the parser.mly sent by Andrej Bauer on 2016/01/21)
Or just give up on explaining the conflict in this case.
* dans le dump de l'automate, rajouter les transitions qui ont
* dans le dump de l'automate, rajouter les transitions qui ont
ete supprimees par resolution de conflits. Afficher aussi les
ete supprimees par resolution de conflits. Afficher aussi les
réductions par défaut?
réductions par défaut?
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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