diff options
Diffstat (limited to 'compiler/dune')
| -rw-r--r-- | compiler/dune | 63 |
1 files changed, 53 insertions, 10 deletions
diff --git a/compiler/dune b/compiler/dune index 08b0d30f..f0fd2102 100644 --- a/compiler/dune +++ b/compiler/dune @@ -15,16 +15,59 @@ (preprocess (pps ppx_deriving.show ppx_deriving.ord visitors.ppx)) (libraries ppx_deriving yojson zarith easy_logging core_unix) - (modules Assumed Collections ConstStrings Contexts Cps Crates Errors - Expressions ExpressionsUtils ExtractToFStar FunsAnalysis Identifiers - InterpreterBorrowsCore InterpreterBorrows InterpreterExpansion - InterpreterExpressions Interpreter InterpreterPaths InterpreterProjectors - InterpreterStatements InterpreterUtils Invariants LlbcAst LlbcAstUtils - LlbcOfJson Logging Meta Names OfJsonBasic PrePasses Print PrintPure - PureMicroPasses Pure PureToExtract PureTypeCheck PureUtils Scalars - StringUtils Substitute SymbolicAst SymbolicToPure SynthesizeSymbolic - TranslateCore Translate TypesAnalysis Types TypesUtils Utils Values - ValuesUtils PrimitiveValues)) + (modules + Assumed + Collections + ConstStrings + Contexts + Cps + Crates + Errors + Expressions + ExpressionsUtils + ExtractToFStar + FunsAnalysis + Identifiers + InterpreterBorrowsCore + InterpreterBorrows + InterpreterExpansion + InterpreterExpressions + Interpreter + InterpreterPaths + InterpreterProjectors + InterpreterStatements + InterpreterUtils + Invariants + LlbcAst + LlbcAstUtils + LlbcOfJson + Logging + Meta + Names + OfJsonBasic + PrePasses + Print + PrintPure + PureMicroPasses + Pure + PureToExtract + PureTypeCheck + PureUtils + Scalars + StringUtils + Substitute + SymbolicAst + SymbolicToPure + SynthesizeSymbolic + TranslateCore + Translate + TypesAnalysis + Types + TypesUtils + Utils + Values + ValuesUtils + PrimitiveValues)) (documentation (package aeneas)) |