blob: 0d340d59bb6b8d9db907512d3c4262e6e12c9b4e (
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
|
(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)
(modules
Assumed
Collections
ConstStrings
Contexts
Cps
Expressions
ExpressionsUtils
ExtractToFStar
FunsAnalysis
Identifiers
InterpreterBorrowsCore
InterpreterBorrows
InterpreterExpansion
InterpreterExpressions
Interpreter
InterpreterPaths
InterpreterProjectors
InterpreterStatements
InterpreterUtils
Invariants
LlbcAst
LlbcAstUtils
LlbcOfJson
Logging
Meta
Names
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)))
|
