-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathconfig.toml
125 lines (107 loc) · 2.78 KB
/
config.toml
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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
# Version configuration (all mandatory).
[versions]
image = "2025-02-26"
main_llvm = 19
main_swipl = "9.2.7"
# Repository configuration template:
#
# > [repo.<name>]
# > gitlab = "{<gitlab-org>/}?<repo>"
# > branch = "<branch-name>"
# > path = "<path>"
# > deps = ["<name>", ..., "<name>"]
# > vendored = <bool>
#
# Default values are:
# - "gitlab" field: "formal-methods/<name>",
# - "branch" field: "main",
# - "path" field: "./fmdeps/<name>",
# - "deps" field: [],
# - "vendored" field: false.
#
# Typically, the "deps" field includes all direct dependencies only. This is
# not entirely necessary, since transitive dependencies are computed, but it
# is somewhat easier not to mess up.
#
# When the "vendored" field is set, CI uses the repo's "branch" field instead of
# the merge base of the MR's own branch and the repo's "branch" to generate
# comparison data. This is necessary for repositories that need to integrate
# upstream changes which usually cannot be applied cleanly to "branch". The
# corresponding merge bases are generally ancient, incompatible with any other
# of our repos, and thus useless.
# Note that this only fixes *CI* for merge requests with such upstream changes
# but it does not allow us to actually merge such changes through gitlab. The
# corresponding branches must still be force pushed.
[repo.fm-ci]
[repo.coq]
branch = "br-master"
deps = ["fm-ci"]
vendored = true
[repo.stdlib]
branch = "br-master"
deps = ["fm-ci", "coq"]
vendored = true
[repo.stdpp]
branch = "br-master"
deps = ["fm-ci", "coq"]
vendored = true
[repo.iris]
branch = "br-master"
deps = ["fm-ci", "coq", "stdpp"]
vendored = true
[repo.coq-ext-lib]
branch = "br-master"
deps = ["fm-ci", "coq"]
vendored = true
[repo.coq-equations]
branch = "br-main"
deps = ["fm-ci", "coq"]
vendored = true
[repo.elpi]
branch = "br-master"
deps = ["fm-ci"]
vendored = true
[repo.coq-elpi]
branch = "br-master"
deps = ["fm-ci", "coq", "elpi"]
vendored = true
[repo.coq-lsp]
branch = "br-main"
deps = ["fm-ci", "coq"]
vendored = true
[repo.vscoq]
branch = "br-main"
deps = ["fm-ci", "coq"]
vendored = true
[repo.cpp2v-core]
gitlab = "cpp2v-core"
branch = "master"
deps = ["fm-ci", "coq", "stdpp", "iris", "coq-elpi"]
[repo.cpp2v]
gitlab = "cpp2v"
branch = "master"
deps = [
"fm-ci", "coq", "stdpp", "iris", "coq-elpi", "cpp2v-core",
"coq-equations", "coq-ext-lib"
]
[repo.fm-docs]
branch = "main"
deps = [
"fm-ci", "coq", "stdpp", "iris", "coq-elpi", "cpp2v-core",
"coq-equations", "coq-ext-lib", "cpp2v"
]
[repo.NOVA]
gitlab = "NOVA"
path = "./NOVA"
branch = "proof"
deps = [
"fm-ci", "coq", "stdpp", "iris", "coq-elpi", "cpp2v-core",
"coq-equations", "coq-ext-lib", "cpp2v"
]
[repo.bhv]
gitlab = "bhv"
path = "."
deps = [
"fm-ci", "coq", "stdpp", "iris", "coq-elpi", "cpp2v-core",
"coq-equations", "coq-ext-lib", "cpp2v"
]