| Mode | Name | Size | |
|---|
| -rw-r--r-- | .ocamlformat | 19 | logplain |
| -rw-r--r-- | AssociatedTypes.ml | 24311 | logplain |
| -rw-r--r-- | Assumed.ml | 9367 | logplain |
| -rw-r--r-- | Collections.ml | 27 | logplain |
| -rw-r--r-- | Config.ml | 12197 | logplain |
| -rw-r--r-- | ConstStrings.ml | 342 | logplain |
| -rw-r--r-- | Contexts.ml | 22110 | logplain |
| -rw-r--r-- | Cps.ml | 5352 | logplain |
| -rw-r--r-- | Errors.ml | 2572 | logplain |
| -rw-r--r-- | Expressions.ml | 27 | logplain |
| -rw-r--r-- | ExpressionsUtils.ml | 32 | logplain |
| -rw-r--r-- | Extract.ml | 111286 | logplain |
| -rw-r--r-- | ExtractBase.ml | 73417 | logplain |
| -rw-r--r-- | ExtractBuiltin.ml | 27632 | logplain |
| -rw-r--r-- | ExtractName.ml | 4516 | logplain |
| -rw-r--r-- | ExtractTypes.ml | 73909 | logplain |
| -rw-r--r-- | FunsAnalysis.ml | 8896 | logplain |
| -rw-r--r-- | Identifiers.ml | 27 | logplain |
| -rw-r--r-- | Interpreter.ml | 26859 | logplain |
| -rw-r--r-- | InterpreterBorrows.ml | 109235 | logplain |
| -rw-r--r-- | InterpreterBorrows.mli | 7864 | logplain |
| -rw-r--r-- | InterpreterBorrowsCore.ml | 44580 | logplain |
| -rw-r--r-- | InterpreterExpansion.ml | 27768 | logplain |
| -rw-r--r-- | InterpreterExpansion.mli | 2599 | logplain |
| -rw-r--r-- | InterpreterExpressions.ml | 34620 | logplain |
| -rw-r--r-- | InterpreterExpressions.mli | 2128 | logplain |
| -rw-r--r-- | InterpreterLoops.ml | 12982 | logplain |
| -rw-r--r-- | InterpreterLoops.mli | 1882 | logplain |
| -rw-r--r-- | InterpreterLoopsCore.ml | 11894 | logplain |
| -rw-r--r-- | InterpreterLoopsFixedPoint.ml | 41152 | logplain |
| -rw-r--r-- | InterpreterLoopsFixedPoint.mli | 6298 | logplain |
| -rw-r--r-- | InterpreterLoopsJoinCtxs.ml | 26289 | logplain |
| -rw-r--r-- | InterpreterLoopsJoinCtxs.mli | 3365 | logplain |
| -rw-r--r-- | InterpreterLoopsMatchCtxs.ml | 75985 | logplain |
| -rw-r--r-- | InterpreterLoopsMatchCtxs.mli | 11264 | logplain |
| -rw-r--r-- | InterpreterPaths.ml | 26498 | logplain |
| -rw-r--r-- | InterpreterPaths.mli | 3929 | logplain |
| -rw-r--r-- | InterpreterProjectors.ml | 21755 | logplain |
| -rw-r--r-- | InterpreterProjectors.mli | 4384 | logplain |
| -rw-r--r-- | InterpreterStatements.ml | 66715 | logplain |
| -rw-r--r-- | InterpreterStatements.mli | 1870 | logplain |
| -rw-r--r-- | InterpreterUtils.ml | 18054 | logplain |
| -rw-r--r-- | Invariants.ml | 35196 | logplain |
| -rw-r--r-- | LlbcAst.ml | 427 | logplain |
| -rw-r--r-- | LlbcAstUtils.ml | 2389 | logplain |
| -rw-r--r-- | LlbcOfJson.ml | 26 | logplain |
| -rw-r--r-- | Logging.ml | 2654 | logplain |
| -rw-r--r-- | Main.ml | 10266 | logplain |
| -rw-r--r-- | Makefile | 30 | logplain |
| -rw-r--r-- | Meta.ml | 20 | logplain |
| -rw-r--r-- | PrePasses.ml | 14489 | logplain |
| -rw-r--r-- | Print.ml | 25060 | logplain |
| -rw-r--r-- | PrintPure.ml | 31885 | logplain |
| -rw-r--r-- | Pure.ml | 41088 | logplain |
| -rw-r--r-- | PureMicroPasses.ml | 87561 | logplain |
| -rw-r--r-- | PureTypeCheck.ml | 10653 | logplain |
| -rw-r--r-- | PureUtils.ml | 27075 | logplain |
| -rw-r--r-- | RegionsHierarchy.ml | 11462 | logplain |
| -rw-r--r-- | ReorderDecls.ml | 3587 | logplain |
| -rw-r--r-- | SCC.ml | 11421 | logplain |
| -rw-r--r-- | Scalars.ml | 23 | logplain |
| -rw-r--r-- | StringUtils.ml | 27 | logplain |
| -rw-r--r-- | Substitute.ml | 8526 | logplain |
| -rw-r--r-- | SymbolicAst.ml | 11402 | logplain |
| -rw-r--r-- | SymbolicToPure.ml | 158469 | logplain |
| -rw-r--r-- | SynthesizeSymbolic.ml | 8297 | logplain |
| -rw-r--r-- | Translate.ml | 56248 | logplain |
| -rw-r--r-- | TranslateCore.ml | 3973 | logplain |
| -rw-r--r-- | Types.ml | 21 | logplain |
| -rw-r--r-- | TypesAnalysis.ml | 13353 | logplain |
| -rw-r--r-- | TypesUtils.ml | 4984 | logplain |
| -rw-r--r-- | Utils.ml | 21 | logplain |
| -rw-r--r-- | Values.ml | 30516 | logplain |
| -rw-r--r-- | ValuesUtils.ml | 7436 | logplain |
| -rw-r--r-- | aeneas.opam | 711 | logplain |
| l--------- | charon | 20 | logplain |
| -rw-r--r-- | dune | 1576 | logplain |
| -rw-r--r-- | dune-project | 357 | logplain |
