blob: f0fd21029b3ebf08f21e84490e5aedae54777c9b (
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
;; 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
PrimitiveValues))
(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)))
|
