package info (click to toggle)
menhir 20210929-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 4,292 kB
  • sloc: ml: 24,825; sh: 180; makefile: 100; lisp: 8

Folder: src

d .. (parent)
d d rwxr-xr-x 66 stage1
d d rwxr-xr-x 142 stage2
d d rwxr-xr-x 45 stage3
- - rw-r--r-- 462 .merlin
- - rw-r--r-- 5,434 AtomicBitSet.ml
- - rw-r--r-- 1,587 AtomicBitSet.mli
- - rw-r--r-- 1,637 AutomatonGraph.ml
- - rw-r--r-- 1,246 AutomatonGraph.mli
- - rw-r--r-- 2,374 BoundedBitSet.ml
- - rw-r--r-- 1,231 BoundedBitSet.mli
- - rw-r--r-- 10,279 CheckSafeParameterizedGrammar.ml
- - rw-r--r-- 1,330 CheckSafeParameterizedGrammar.mli
- - rw-r--r-- 2,653 Compatibility.ml
- - rw-r--r-- 1,414 Compatibility.mli
- - rw-r--r-- 2,361 CompletedNatWitness.ml
- - rw-r--r-- 2,037 CompletedNatWitness.mli
- - rw-r--r-- 2,056 DFS.ml
- - rw-r--r-- 3,056 DFS.mli
- - rw-r--r-- 4,855 DWordBitSet.ml
- - rw-r--r-- 1,259 DWordBitSet.mli
- - rw-r--r-- 1,198 Driver.mli
- - rw-r--r-- 5,835 Drop.ml
- - rw-r--r-- 1,243 Drop.mli
- - rw-r--r-- 1,429 Fix.ml
- - rw-r--r-- 2,050 FixSolver.ml
- - rw-r--r-- 1,615 FixSolver.mli
- - rw-r--r-- 1,279 Generic.ml
- - rw-r--r-- 1,092 GroundSort.ml
- - rw-r--r-- 1,221 GroundSort.mli
- - rw-r--r-- 7,125 IL.ml
- - rw-r--r-- 4,525 IO.ml
- - rw-r--r-- 2,151 IO.mli
- - rw-r--r-- 3,742 InputFile.ml
- - rw-r--r-- 2,830 InputFile.mli
- - rw-r--r-- 4,384 LALR.ml
- - rw-r--r-- 1,377 LALR.mli
- - rw-r--r-- 3,191 LR1Canonical.ml
- - rw-r--r-- 1,079 LR1Canonical.mli
- - rw-r--r-- 15,455 LR1Pager.ml
- - rw-r--r-- 1,134 LR1Pager.mli
- - rw-r--r-- 1,806 LR1Sigs.ml
- - rw-r--r-- 11,729 LRijkstra.ml
- - rw-r--r-- 2,127 LRijkstra.mli
- - rw-r--r-- 32,085 LRijkstraCore.ml
- - rw-r--r-- 3,019 LRijkstraCore.mli
- - rw-r--r-- 9,002 LoopDetection.ml
- - rw-r--r-- 1,128 LoopDetection.mli
- - rw-r--r-- 4,162 LowIntegerPriorityQueue.ml
- - rw-r--r-- 1,965 LowIntegerPriorityQueue.mli
- - rw-r--r-- 4,603 MArray.ml
- - rw-r--r-- 3,870 MArray.mli
- - rw-r--r-- 1,593 MList.ml
- - rw-r--r-- 1,600 MList.mli
- - rw-r--r-- 65 Makefile
- - rw-r--r-- 3,945 MySet.ml
- - rw-r--r-- 1,549 MySet.mli
- - rw-r--r-- 1,547 NatInfinityMax.ml
- - rw-r--r-- 1,695 NatInfinityMax.mli
- - rw-r--r-- 1,453 PPrint.ml
- - rw-r--r-- 7,376 QWordBitSet.ml
- - rw-r--r-- 1,260 QWordBitSet.mli
- - rw-r--r-- 6,888 RandomSentenceGenerator.ml
- - rw-r--r-- 1,753 RandomSentenceGenerator.mli
- - rw-r--r-- 2,201 ReferenceGraph.ml
- - rw-r--r-- 1,210 ReferenceGraph.mli
- - rw-r--r-- 19,316 SelectiveExpansion.ml
- - rw-r--r-- 2,046 SelectiveExpansion.mli
- - rw-r--r-- 2,001 Seq.ml
- - rw-r--r-- 1,297 Seq.mli
- - rw-r--r-- 9,470 SortInference.ml
- - rw-r--r-- 1,255 SortInference.mli
- - rw-r--r-- 3,993 SortUnification.ml
- - rw-r--r-- 2,324 SortUnification.mli
- - rw-r--r-- 6,073 SparseBitSet.ml
- - rw-r--r-- 1,015 SparseBitSet.mli
- - rw-r--r-- 5,879 StackStates.ml
- - rw-r--r-- 3,418 StackStates.mli
- - rw-r--r-- 9,674 StackSymbols.ml
- - rw-r--r-- 3,594 StackSymbols.mli
- - rw-r--r-- 8,377 Trie.ml
- - rw-r--r-- 4,149 Trie.mli
- - rw-r--r-- 6,455 Unifier.ml
- - rw-r--r-- 2,805 Unifier.mli
- - rw-r--r-- 8,826 action.ml
- - rw-r--r-- 5,499 action.mli
- - rw-r--r-- 5,952 anonymous.ml
- - rw-r--r-- 1,055 anonymous.mli
- - rw-r--r-- 10,505 astar.ml
- - rw-r--r-- 2,814 astar.mli
- - rw-r--r-- 3,547 back.ml
- - rw-r--r-- 1,063 back.mli
- - rw-r--r-- 14,677 basicPrinter.ml
- - rw-r--r-- 1,552 basicPrinter.mli
- - rw-r--r-- 7,492 basicSyntax.ml
- - rw-r--r-- 1,258 chopInlined.mll
- - rw-r--r-- 6,041 cmly_write.ml
- - rw-r--r-- 1,245 cmly_write.mli
- - rw-r--r-- 56,177 codeBackend.ml
- - rw-r--r-- 1,080 codeBackend.mli
- - rw-r--r-- 7,679 codeBits.ml
- - rw-r--r-- 4,379 codeBits.mli
- - rw-r--r-- 9,763 codeInliner.ml
- - rw-r--r-- 1,294 codeInliner.mli
- - rw-r--r-- 7,753 codePieces.ml
- - rw-r--r-- 3,866 codePieces.mli
- - rw-r--r-- 19,886 conflict.ml
- - rw-r--r-- 1,455 conflict.mli
- - rw-r--r-- 23,366 coqBackend.ml
- - rw-r--r-- 1,080 coqBackend.mli
- - rw-r--r-- 4,015 cst.ml
- - rw-r--r-- 1,905 cst.mli
- - rw-r--r-- 5,719 default.ml
- - rw-r--r-- 1,665 default.mli
- - rw-r--r-- 9,931 derivation.ml
- - rw-r--r-- 2,842 derivation.mli
- - rw-r--r-- 4,357 dot.ml
- - rw-r--r-- 2,268 dot.mli
- - rw-r--r-- 4,271 dump.ml
- - rw-r--r-- 1,463 dump.mli
- - rw-r--r-- 991 dune
- - rw-r--r-- 3,972 error.ml
- - rw-r--r-- 3,867 error.mli
- - rw-r--r-- 5,663 expandTokenAliases.ml
- - rw-r--r-- 1,559 expandTokenAliases.mli
- - rw-r--r-- 8,647 front.ml
- - rw-r--r-- 1,977 front.mli
- - rw-r--r-- 6,746 gMap.ml
- - rw-r--r-- 3,657 gSet.ml
- - rw-r--r-- 1,158 grammar.ml
- - rw-r--r-- 57,595 grammarFunctor.ml
- - rw-r--r-- 23,851 grammarFunctor.mli
- - rw-r--r-- 15,224 infer.ml
- - rw-r--r-- 2,250 infer.mli
- - rw-r--r-- 1,217 infix.ml
- - rw-r--r-- 1,602 infix.mli
- - rw-r--r-- 22,452 inlining.ml
- - rw-r--r-- 1,221 inlining.mli
- - rw-r--r-- 2,393 installation.ml
- - rw-r--r-- 1,065 installation.mli
- - rw-r--r-- 6,045 interface.ml
- - rw-r--r-- 1,788 interface.mli
- - rw-r--r-- 42,437 interpret.ml
- - rw-r--r-- 2,051 interpret.mli
- - rw-r--r-- 27,197 invariant.ml
- - rw-r--r-- 8,370 invariant.mli
- - rw-r--r-- 11,319 item.ml
- - rw-r--r-- 3,055 item.mli
- - rw-r--r-- 10,350 keywordExpansion.ml
- - rw-r--r-- 1,240 keywordExpansion.mli
- - rw-r--r-- 2,105 lexdep.mll
- - rw-r--r-- 27,728 lexer.mll
- - rw-r--r-- 2,595 lexmli.mll
- - rw-r--r-- 2,001 lexpointfree.mll
- - rw-r--r-- 1,252 lineCount.mll
- - rw-r--r-- 1,828 listMonad.ml
- - rw-r--r-- 1,300 listMonad.mli
- - rw-r--r-- 1,485 lookahead.ml
- - rw-r--r-- 25,914 lr0.ml
- - rw-r--r-- 6,901 lr0.mli
- - rw-r--r-- 35,134 lr1.ml
- - rw-r--r-- 9,886 lr1.mli
- - rw-r--r-- 8,252 lr1partial.ml
- - rw-r--r-- 2,141 lr1partial.mli
- - rw-r--r-- 1,078 main.ml
- - rw-r--r-- 1,290 mark.ml
- - rw-r--r-- 1,475 mark.mli
- - rw-r--r-- 1,654 middle.ml
- - rw-r--r-- 1,142 middle.mli
- - rw-r--r-- 10,233 misc.ml
- - rw-r--r-- 7,855 misc.mli
- - rw-r--r-- 17,923 newRuleSyntax.ml
- - rw-r--r-- 1,201 newRuleSyntax.mli
- - rw-r--r-- 4,124 nonterminalType.ml
- - rw-r--r-- 3,122 nonterminalType.mli
- - rw-r--r-- 2,007 option.ml
- - rw-r--r-- 1,489 option.mli
- - rw-r--r-- 3,781 parameters.ml
- - rw-r--r-- 4,920 parserAux.ml
- - rw-r--r-- 4,257 parserAux.mli
- - rw-r--r-- 27,275 partialGrammar.ml
- - rw-r--r-- 1,051 partialGrammar.mli
- - rw-r--r-- 32,633 patricia.ml
- - rw-r--r-- 1,304 patricia.mli
- - rw-r--r-- 3,868 positions.ml
- - rw-r--r-- 4,544 positions.mli
- - rw-r--r-- 22,103 printer.ml
- - rw-r--r-- 2,430 printer.mli
- - rw-r--r-- 5,914 rawPrinter.ml
- - rw-r--r-- 1,224 rawPrinter.mli
- - rw-r--r-- 2,380 reachability.ml
- - rw-r--r-- 1,187 reachability.mli
- - rw-r--r-- 11,633 referenceInterpreter.ml
- - rw-r--r-- 2,924 referenceInterpreter.mli
- - rw-r--r-- 3,967 resizableArray.ml
- - rw-r--r-- 3,238 resizableArray.mli
- - rw-r--r-- 4,820 segment.mll
- - rw-r--r-- 2,720 sentenceLexer.mll
- - rw-r--r-- 3,626 sentenceParser.mly
- - rw-r--r-- 2,016 sentenceParserAux.ml
- - rw-r--r-- 21,252 settings.ml
- - rw-r--r-- 10,217 settings.mli
- - rw-r--r-- 5,459 slr.ml
- - rw-r--r-- 1,379 slr.mli
- - rw-r--r-- 7,720 standard.mly
- - rw-r--r-- 2,013 stretch.ml
- - rw-r--r-- 1,559 stringMap.ml
- - rw-r--r-- 1,820 stringMap.mli
- - rw-r--r-- 1,185 stringSet.ml
- - rw-r--r-- 1,178 stringSet.mli
- - rw-r--r-- 12,730 syntax.ml
- - rw-r--r-- 31,203 tableBackend.ml
- - rw-r--r-- 1,081 tableBackend.mli
- - rw-r--r-- 7,272 tarjan.ml
- - rw-r--r-- 2,886 tarjan.mli
- - rw-r--r-- 1,828 time.ml
- - rw-r--r-- 1,461 time.mli
- - rw-r--r-- 6,759 tokenType.ml
- - rw-r--r-- 3,026 tokenType.mli
- - rw-r--r-- 13,854 traverse.ml
- - rw-r--r-- 5,129 unionFind.ml
- - rw-r--r-- 2,233 unionFind.mli