blob: ae9cef0489677a3b1c62d499e65baa0323a66471 (
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
92
|
(executable
(name driver)
(public_name aeneas_driver)
(package aeneas)
(libraries 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 charon core_unix unionFind ocamlgraph)
(modules
Assumed
Collections
Config
ConstStrings
Contexts
Cps
Expressions
ExpressionsUtils
Extract
ExtractBase
FunsAnalysis
Identifiers
InterpreterBorrowsCore
InterpreterBorrows
InterpreterExpansion
InterpreterExpressions
Interpreter
InterpreterLoopsCore
InterpreterLoopsMatchCtxs
InterpreterLoopsJoinCtxs
InterpreterLoopsFixedPoint
InterpreterLoops
InterpreterPaths
InterpreterProjectors
InterpreterStatements
InterpreterUtils
Invariants
LlbcAst
LlbcAstUtils
LlbcOfJson
Logging
Meta
Names
PrePasses
Print
PrintPure
PureMicroPasses
Pure
PureTypeCheck
PureUtils
ReorderDecls
SCC
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)))
|
