Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
93efc319
Commit
93efc319
authored
Oct 08, 2015
by
POTTIER Francois
Browse files
Removed a TODO item.
parent
64784c8a
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
93efc319
* LRijkstra: see if the forward search could be removed by just adding
one more trie, rooted at the initial state, which covers all of the
automaton?
* Another crazy idea: if we had a special "void" non-terminal symbol,
* Another crazy idea: if we had a special "void" non-terminal symbol,
we could use it as a parameter, which would allow us to make extensible
we could use it as a parameter, which would allow us to make extensible
definitions. (Any production that contains void would be removed after
definitions. (Any production that contains void would be removed after
...
...
Write
Preview
Markdown
is supported
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