coq-modeling/final_split.yaml at main · sr-lab/coq-modeling · GitHub

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
val_projects: [
  coq-community/sudoku,
  coq-community/bertrand,
  coq-community/graph-theory,
  coq-community/stalmarck,
  coq-community/qarith-stern-brocot,
  coq-community/coqeal,
]

test_projects: [
  # Coq community Projects (COULD MOVE)
  coq-community/coq-ext-lib,
  coq-community/reglang,
  coq-community/fourcolor,
  coq-community/math-classes,

  # Comp Cert (MUST KEEP HERE)
  AbsInt/CompCert,

  # Coqgym projects (MUST KEEP HERE)
  coq-community/huffman,
  coq-community/buchberger,
  coq-community/dblib,
  coq-community/hoare-tut,
  coq-contribs/fermat4,
  coq-community/coqoban,
  coq-community/goedel,
  coq-community/zorns-lemma,

  coq-contribs/weak-up-to,
  coq-contribs/jordan-curve-theorem,
  coq-contribs/zchinese,
  coq-contribs/zfc,
  coq-contribs/dep-map,
  coq-contribs/chinese,
  coq-contribs/angels,
  coq-contribs/tree-automata,
  coq-contribs/fundamental-arithmetics,

  Armael/coq-procrastination,
  CertiKOS/coqrel,
  DistributedComponents/disel,
  QinxiangCao/UnifySL,
  uwplse/verdi,
  uwplse/verdi-raft,
  thery/PolTac,
  thery/coquelicot,
]