Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
POTTIER Francois
menhir
Repository
menhir
src
lr0.ml
Find file
Blame
History
Permalink
Turn off the costly well-formedness assertions in Lr0.
· 62350257
POTTIER Francois
authored
Jul 01, 2020
This allows a 30% speedup on the construction of large LR(1) automata and in conflict explanation.
62350257