| Mode | Name | Size | |
|---|
| -rw-r--r-- | .gitignore | 7 | logplain |
| -rw-r--r-- | .ocamlformat | 19 | logplain |
| -rw-r--r-- | AssociatedTypes.ml | 17773 | logplain |
| -rw-r--r-- | Assumed.ml | 14632 | logplain |
| -rw-r--r-- | Collections.ml | 27 | logplain |
| -rw-r--r-- | Config.ml | 11940 | logplain |
| -rw-r--r-- | ConstStrings.ml | 342 | logplain |
| -rw-r--r-- | Contexts.ml | 22050 | logplain |
| -rw-r--r-- | Cps.ml | 7629 | logplain |
| -rw-r--r-- | Driver.ml | 9405 | logplain |
| -rw-r--r-- | Expressions.ml | 27 | logplain |
| -rw-r--r-- | ExpressionsUtils.ml | 32 | logplain |
| -rw-r--r-- | Extract.ml | 163056 | logplain |
| -rw-r--r-- | ExtractBase.ml | 56270 | logplain |
| -rw-r--r-- | FunsAnalysis.ml | 6205 | logplain |
| -rw-r--r-- | Identifiers.ml | 27 | logplain |
| -rw-r--r-- | Interpreter.ml | 23054 | logplain |
| -rw-r--r-- | InterpreterBorrows.ml | 105999 | logplain |
| -rw-r--r-- | InterpreterBorrows.mli | 7975 | logplain |
| -rw-r--r-- | InterpreterBorrowsCore.ml | 42911 | logplain |
| -rw-r--r-- | InterpreterExpansion.ml | 29531 | logplain |
| -rw-r--r-- | InterpreterExpansion.mli | 3295 | logplain |
| -rw-r--r-- | InterpreterExpressions.ml | 32524 | logplain |
| -rw-r--r-- | InterpreterExpressions.mli | 2510 | logplain |
| -rw-r--r-- | InterpreterLoops.ml | 8567 | logplain |
| -rw-r--r-- | InterpreterLoops.mli | 1725 | logplain |
| -rw-r--r-- | InterpreterLoopsCore.ml | 11640 | logplain |
| -rw-r--r-- | InterpreterLoopsFixedPoint.ml | 34705 | logplain |
| -rw-r--r-- | InterpreterLoopsFixedPoint.mli | 5701 | logplain |
| -rw-r--r-- | InterpreterLoopsJoinCtxs.ml | 25912 | logplain |
| -rw-r--r-- | InterpreterLoopsJoinCtxs.mli | 3554 | logplain |
| -rw-r--r-- | InterpreterLoopsMatchCtxs.ml | 61929 | logplain |
| -rw-r--r-- | InterpreterLoopsMatchCtxs.mli | 10854 | logplain |
| -rw-r--r-- | InterpreterPaths.ml | 26817 | logplain |
| -rw-r--r-- | InterpreterPaths.mli | 4045 | logplain |
| -rw-r--r-- | InterpreterProjectors.ml | 21195 | logplain |
| -rw-r--r-- | InterpreterProjectors.mli | 4384 | logplain |
| -rw-r--r-- | InterpreterStatements.ml | 54770 | logplain |
| -rw-r--r-- | InterpreterStatements.mli | 2440 | logplain |
| -rw-r--r-- | InterpreterUtils.ml | 13692 | logplain |
| -rw-r--r-- | Invariants.ml | 32558 | logplain |
| -rw-r--r-- | LlbcAst.ml | 454 | logplain |
| -rw-r--r-- | LlbcAstUtils.ml | 489 | logplain |
| -rw-r--r-- | LlbcOfJson.ml | 26 | logplain |
| -rw-r--r-- | Logging.ml | 2311 | logplain |
| -rw-r--r-- | Makefile | 30 | logplain |
| -rw-r--r-- | Meta.ml | 20 | logplain |
| -rw-r--r-- | Names.ml | 21 | logplain |
| -rw-r--r-- | PrePasses.ml | 13167 | logplain |
| -rw-r--r-- | PrimitiveValues.ml | 31 | logplain |
| -rw-r--r-- | PrimitiveValuesUtils.ml | 36 | logplain |
| -rw-r--r-- | Print.ml | 28529 | logplain |
| -rw-r--r-- | PrintPure.ml | 35726 | logplain |
| -rw-r--r-- | Pure.ml | 34356 | logplain |
| -rw-r--r-- | PureMicroPasses.ml | 87554 | logplain |
| -rw-r--r-- | PureTypeCheck.ml | 10003 | logplain |
| -rw-r--r-- | PureUtils.ml | 21544 | logplain |
| -rw-r--r-- | ReorderDecls.ml | 6279 | logplain |
| -rw-r--r-- | SCC.ml | 8331 | logplain |
| -rw-r--r-- | Scalars.ml | 23 | logplain |
| -rw-r--r-- | StringUtils.ml | 3562 | logplain |
| -rw-r--r-- | Substitute.ml | 24295 | logplain |
| -rw-r--r-- | SymbolicAst.ml | 10978 | logplain |
| -rw-r--r-- | SymbolicToPure.ml | 119568 | logplain |
| -rw-r--r-- | SynthesizeSymbolic.ml | 7516 | logplain |
| -rw-r--r-- | Translate.ml | 52985 | logplain |
| -rw-r--r-- | TranslateCore.ml | 3525 | logplain |
| -rw-r--r-- | Types.ml | 21 | logplain |
| -rw-r--r-- | TypesAnalysis.ml | 12130 | logplain |
| -rw-r--r-- | TypesUtils.ml | 1177 | logplain |
| -rw-r--r-- | Utils.ml | 21 | logplain |
| -rw-r--r-- | Values.ml | 36810 | logplain |
| -rw-r--r-- | ValuesUtils.ml | 6879 | logplain |
| -rw-r--r-- | aeneas.opam | 711 | logplain |
| -rw-r--r-- | dune | 1562 | logplain |
| -rw-r--r-- | dune-project | 357 | logplain |
