• POTTIER Francois's avatar
    Updated the code back-end to produce the same positions as ocamlyacc and the... · 245805d5
    POTTIER Francois authored
    Updated the code back-end to produce the same positions as ocamlyacc and the table back-end, in principle.
    This involves:
    1- moving the [endp] field (when it exists) to offset 1 in every stack cell,
       so it can be found when reducing an epsilon production;
    2- creating a sentinel cell with an [endp] field at offset 1;
    3- changing the code for epsilon productions to read the [endp] field in the
       top stack cell.
    245805d5
Name
Last commit
Last update
..
attic Loading commit data...
.gitignore Loading commit data...
.merlin Loading commit data...
Boolean.ml Loading commit data...
Boolean.mli Loading commit data...
CompletedNatWitness.ml Loading commit data...
CompletedNatWitness.mli Loading commit data...
Convert.ml Loading commit data...
Convert.mli Loading commit data...
Driver.mli Loading commit data...
Engine.ml Loading commit data...
Engine.mli Loading commit data...
EngineTypes.ml Loading commit data...
Fix.ml Loading commit data...
Fix.mli Loading commit data...
GNUmakefile Loading commit data...
General.ml Loading commit data...
General.mli Loading commit data...
IL.mli Loading commit data...
IO.ml Loading commit data...
IO.mli Loading commit data...
IncrementalEngine.ml Loading commit data...
InfiniteArray.ml Loading commit data...
InfiniteArray.mli Loading commit data...
InspectionTableFormat.ml Loading commit data...
InspectionTableInterpreter.ml Loading commit data...
InspectionTableInterpreter.mli Loading commit data...
LRijkstra.ml Loading commit data...
LRijkstra.mli Loading commit data...
LinearizedArray.ml Loading commit data...
LinearizedArray.mli Loading commit data...
LowIntegerPriorityQueue.ml Loading commit data...
LowIntegerPriorityQueue.mli Loading commit data...
META Loading commit data...
Makefile Loading commit data...
Maps.ml Loading commit data...
Maps.mli Loading commit data...
MySet.ml Loading commit data...
MySet.mli Loading commit data...
PackedIntArray.ml Loading commit data...
PackedIntArray.mli Loading commit data...
Printers.ml Loading commit data...
Printers.mli Loading commit data...
RowDisplacement.ml Loading commit data...
RowDisplacement.mli Loading commit data...
Seq.ml Loading commit data...
Seq.mli Loading commit data...
TableFormat.ml Loading commit data...
TableInterpreter.ml Loading commit data...
TableInterpreter.mli Loading commit data...
_tags Loading commit data...
action.ml Loading commit data...
action.mli Loading commit data...
astar.ml Loading commit data...
astar.mli Loading commit data...
back.ml Loading commit data...
back.mli Loading commit data...
checkOCamlVersion.ml Loading commit data...
codeBackend.ml Loading commit data...
codeBackend.mli Loading commit data...
codeBits.ml Loading commit data...
codeBits.mli Loading commit data...
codePieces.ml Loading commit data...
codePieces.mli Loading commit data...
compare.sh Loading commit data...
compressedBitSet.ml Loading commit data...
compressedBitSet.mli Loading commit data...
concreteSyntax.mli Loading commit data...
conflict.ml Loading commit data...
conflict.mli Loading commit data...
coqBackend.ml Loading commit data...
coqBackend.mli Loading commit data...
cst.ml Loading commit data...
cst.mli Loading commit data...
derivation.ml Loading commit data...
derivation.mli Loading commit data...
dot.ml Loading commit data...
dot.mli Loading commit data...
error.ml Loading commit data...
error.mli Loading commit data...
fancy-parser.mly Loading commit data...
fancyDriver.ml Loading commit data...
front.ml Loading commit data...
front.mli Loading commit data...
gMap.ml Loading commit data...
gSet.ml Loading commit data...
grammar.ml Loading commit data...
grammar.mli Loading commit data...
infer.ml Loading commit data...
infer.mli Loading commit data...
inliner.ml Loading commit data...
inliner.mli Loading commit data...
installation.mli Loading commit data...
interface.ml Loading commit data...
interface.mli Loading commit data...
internalSyntax.mli Loading commit data...
interpret.ml Loading commit data...
interpret.mli Loading commit data...
invariant.ml Loading commit data...
invariant.mli Loading commit data...
item.ml Loading commit data...
item.mli Loading commit data...
keyword.ml Loading commit data...
keyword.mli Loading commit data...
lexdep.mll Loading commit data...
lexer.mll Loading commit data...
lexmli.mll Loading commit data...
lineCount.mll Loading commit data...
listMonad.ml Loading commit data...
listMonad.mli Loading commit data...
lookahead.mli Loading commit data...
lr0.ml Loading commit data...
lr0.mli Loading commit data...
lr1.ml Loading commit data...
lr1.mli Loading commit data...
lr1partial.ml Loading commit data...
lr1partial.mli Loading commit data...
mark.ml Loading commit data...
mark.mli Loading commit data...
menhir.ml Loading commit data...
menhirLib.mlpack Loading commit data...
misc.ml Loading commit data...
misc.mli Loading commit data...
myocamlbuild.ml Loading commit data...
nonTerminalDefinitionInlining.ml Loading commit data...
nonTerminalDefinitionInlining.mli Loading commit data...
nonterminalType.ml Loading commit data...
nonterminalType.mli Loading commit data...
option.ml Loading commit data...
option.mli Loading commit data...
parameterizedGrammar.ml Loading commit data...
parameterizedGrammar.mli Loading commit data...
parameters.ml Loading commit data...
parserAux.ml Loading commit data...
parserAux.mli Loading commit data...
parserMessages.messages Loading commit data...
partialGrammar.ml Loading commit data...
partialGrammar.mli Loading commit data...
patricia.ml Loading commit data...
patricia.mli Loading commit data...
positions.ml Loading commit data...
positions.mli Loading commit data...
pprint.ml Loading commit data...
pprint.mli Loading commit data...
printer.ml Loading commit data...
printer.mli Loading commit data...
rawPrinter.ml Loading commit data...
rawPrinter.mli Loading commit data...
reachability.ml Loading commit data...
reachability.mli Loading commit data...
referenceInterpreter.ml Loading commit data...
referenceInterpreter.mli Loading commit data...
resizableArray.ml Loading commit data...
resizableArray.mli Loading commit data...
segment.mll Loading commit data...
sentenceLexer.mll Loading commit data...
sentenceParser.mly Loading commit data...
sentenceParserAux.ml Loading commit data...
settings.ml Loading commit data...
settings.mli Loading commit data...
slr.ml Loading commit data...
slr.mli Loading commit data...
standard.mly Loading commit data...
stretch.mli Loading commit data...
stringMap.ml Loading commit data...
stringMap.mli Loading commit data...
stringSet.ml Loading commit data...
stringSet.mli Loading commit data...
syntax.mli Loading commit data...
tableBackend.ml Loading commit data...
tableBackend.mli Loading commit data...
tarjan.ml Loading commit data...
tarjan.mli Loading commit data...
time.ml Loading commit data...
time.mli Loading commit data...
tokenType.ml Loading commit data...
tokenType.mli Loading commit data...
traverse.ml Loading commit data...
unionFind.ml Loading commit data...
unionFind.mli Loading commit data...
unparameterizedPrinter.ml Loading commit data...
unparameterizedPrinter.mli Loading commit data...
unparameterizedSyntax.ml Loading commit data...
version.ml Loading commit data...
yacc-parser.mly Loading commit data...
yaccDriver.ml Loading commit data...