-
Notifications
You must be signed in to change notification settings - Fork 81
/
build-sequence
110 lines (94 loc) · 2.45 KB
/
build-sequence
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
98
99
100
101
102
103
104
105
106
107
108
109
110
## The regression test runs through this list of directories.
# download the latest cake binary
developers
developers/bin
# semantics and metatheory
semantics/ffi
semantics
semantics/proofs
semantics/alt_semantics
semantics/alt_semantics/proofs
# translator
basis/pure
translator
# characteristic formulae
compiler/parsing
characteristic
# monadic translator
translator/monadic
# basis library
basis
# compiler
compiler/inference
compiler/backend/reg_alloc
compiler/backend/gc
compiler/backend
compiler/encoders/asm
compiler/encoders/x64
compiler/encoders/arm7
compiler/encoders/arm8
compiler/encoders/mips
compiler/encoders/riscv
compiler/encoders/ag32
compiler/backend/x64
compiler/backend/arm7
compiler/backend/arm8
compiler/backend/mips
compiler/backend/riscv
compiler/backend/ag32
# compiler verification
compiler/parsing/proofs
compiler/inference/proofs
compiler/backend/semantics
compiler/backend/reg_alloc/proofs
compiler/backend/proofs
compiler/encoders/x64/proofs
compiler/encoders/arm7/proofs
compiler/encoders/arm8/proofs
compiler/encoders/mips/proofs
compiler/encoders/riscv/proofs
compiler/encoders/ag32/proofs
compiler/backend/x64/proofs
compiler/backend/arm7/proofs
compiler/backend/arm8/proofs
compiler/backend/mips/proofs
compiler/backend/riscv/proofs
compiler/backend/ag32/proofs
compiler/proofs
# candle
candle/set-theory
candle/syntax-lib
candle/standard/syntax
candle/standard/semantics
candle/standard/monadic
candle/standard/ml_kernel
candle/standard/opentheory
candle/standard/opentheory/compilation
candle/standard/opentheory/compilation/proofs
# examples and tests
characteristic/examples
tutorial/solutions
translator/monadic/examples
examples
examples/compilation/x64
examples/compilation/x64/proofs
examples/compilation/ag32
examples/compilation/ag32/proofs
translator/okasaki-examples
translator/other-examples
compiler/parsing/tests
compiler/inference/tests
# compiler translation
compiler/bootstrap/translation
# compiler sexpr bootstrap
unverified/sexpr-bootstrap/x64/64:cake-unverified-x64-64.tar.gz
unverified/sexpr-bootstrap/x64/32:cake-unverified-x64-32.tar.gz
# build benchmarks and report (must come after sexp bootstrap)
compiler/benchmarks
# compiler HOL bootstrap
compiler/bootstrap/compilation/x64/64:cake-x64-64.tar.gz
compiler/bootstrap/compilation/x64/64/proofs
compiler/bootstrap/compilation/x64/32:cake-x64-32.tar.gz
compiler/bootstrap/compilation/x64/32/proofs
compiler/bootstrap/compilation/ag32/32
compiler/bootstrap/compilation/ag32/32/proofs