Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
tableInterpreter.ml
Find file
Blame
History
Permalink
New compact encoding of the table of items in [lr0_items2].
· 1c37e833
POTTIER Francois
authored
Jan 08, 2015
According to the tiny test, the two encodings are equivalent.
1c37e833