blob: 0968b2be4fc78928cb10656cec8833edd7d61dbd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
;; core: for Core.Unix.mkdir_p
(executable
(name driver)
(public_name aeneas_driver)
(package aeneas)
(preprocess
(pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
(libraries ppx_deriving yojson zarith easy_logging core_unix aeneas)
(modules Driver))
(library
(name aeneas) ;; The name as used in the project
(public_name aeneas) ;; The name as revealed to the projects importing this library
(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))
(documentation
(package aeneas))
(env
(dev
(flags
:standard
-safe-string
-g
;-dsource
-warn-error
-5-8-9-11-14-33-20-21-26-27-39))
(release
(flags
:standard
-safe-string
-g
;-dsource
-warn-error
-5-8-9-11-14-33-20-21-26-27-39)))
|
