POPL25_artifact.zip
POPL25_artifact
.DS_Store
6.1 kB
README.md
14.1 kB
quicksub_coq
.DS_Store
6.1 kB
quick_coq
.gitignore
17 Bytes
AltRules.v
5.7 kB
CoqSrc.mk.conf
3.0 kB
Equiv.v
11.7 kB
Infra.v
11.1 kB
LinearRule.v
55.8 kB
Makefile
585 Bytes
PosVar.v
13.6 kB
Rules.v
10.3 kB
Transitivity.v
20.3 kB
Typesafety.v
16.6 kB
Variance.v
9.4 kB
_CoqProject
105 Bytes
quick_coq_rcd
.gitignore
17 Bytes
CoqSrc.mk.conf
3.0 kB
Infra.v
16.0 kB
LinearRule.v
83.5 kB
Makefile
585 Bytes
PosVar.v
30.3 kB
Record.v
26.4 kB
Rules.v
19.4 kB
Transitivity.v
44.3 kB
Typesafety.v
24.4 kB
Variance.v
12.7 kB
_CoqProject
95 Bytes
quicksub_eval
.DS_Store
6.1 kB
bin
dune
91 Bytes
main.ml
2.8 kB
dune-project
37 Bytes
highlight
1.1 kB
lib
amberSub.ml
3.3 kB
completeSub.ml
4.2 kB
defs.ml
4.1 kB
dune
67 Bytes
equiSub.ml
3.0 kB
nominalSub.ml
4.2 kB
nominalSub2.ml
4.3 kB
quickSubExt.ml
4.2 kB
quickSubOpt.ml
5.3 kB
testGen.ml
9.4 kB
tests.ml
8.9 kB
quicksub_eval.opam
0 Bytes
__MACOSX
POPL25_artifact
._.DS_Store
120 Bytes
._quicksub_eval
212 Bytes
quicksub_coq
._.DS_Store
120 Bytes
._quick_coq
212 Bytes
._quick_coq_rcd
212 Bytes
quicksub_eval
._.DS_Store
120 Bytes
._bin
212 Bytes
._lib
212 Bytes