blob: f987faec81ab70e55d9d112a17050f9036dccc4d (
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
93
94
95
96
97
|
(executable
(name main)
(public_name aeneas)
(package aeneas)
(libraries aeneas)
(modules Main))
(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 str)
(modules
AssociatedTypes
Assumed
BorrowCheck
Collections
Config
ConstStrings
Contexts
Cps
Errors
Expressions
ExpressionsUtils
Extract
ExtractBase
ExtractBuiltin
ExtractName
ExtractTypes
FunsAnalysis
Identifiers
InterpreterBorrowsCore
InterpreterBorrows
InterpreterExpansion
InterpreterExpressions
Interpreter
InterpreterLoopsCore
InterpreterLoopsMatchCtxs
InterpreterLoopsJoinCtxs
InterpreterLoopsFixedPoint
InterpreterLoops
InterpreterPaths
InterpreterProjectors
InterpreterStatements
InterpreterUtils
Invariants
LlbcAst
LlbcAstUtils
LlbcOfJson
Logging
Meta
PrePasses
Print
PrintPure
PureMicroPasses
Pure
PureTypeCheck
PureUtils
RegionsHierarchy
ReorderDecls
SCC
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-11-14-33-20-21-26-27-39))
(release
(flags
:standard
-safe-string
-g
;-dsource
-warn-error
-5@8-11-14-33-20-21-26-27-39)))
|
