diff options
| author | Son Ho | 2022-10-27 12:12:29 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | 4671daa0899d3c897cb28baeb5e62b2486fbeba7 (patch) | |
| tree | 27742cf37811f8515976a3eb33cd43424c9ad4f9 /compiler/dune | |
| parent | 5cdea01dea654713b887017efe80e620f8e14932 (diff) | |
Reformat the code
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)) |