summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
authorSon Ho2022-10-27 12:12:29 +0200
committerSon HO2022-10-27 12:58:47 +0200
commit4671daa0899d3c897cb28baeb5e62b2486fbeba7 (patch)
tree27742cf37811f8515976a3eb33cd43424c9ad4f9 /compiler/dune
parent5cdea01dea654713b887017efe80e620f8e14932 (diff)
Reformat the code
Diffstat (limited to '')
-rw-r--r--compiler/dune63
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))