index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
failure
Mode
Name
Size
-rw-r--r--
Case1.v
41
log
plain
-rw-r--r--
Case10.v
57
log
plain
-rw-r--r--
Case11.v
59
log
plain
-rw-r--r--
Case12.v
202
log
plain
-rw-r--r--
Case13.v
205
log
plain
-rw-r--r--
Case14.v
220
log
plain
-rw-r--r--
Case15.v
130
log
plain
-rw-r--r--
Case16.v
172
log
plain
-rw-r--r--
Case2.v
301
log
plain
-rw-r--r--
Case3.v
224
log
plain
-rw-r--r--
Case4.v
139
log
plain
-rw-r--r--
Case5.v
88
log
plain
-rw-r--r--
Case6.v
200
log
plain
-rw-r--r--
Case7.v
581
log
plain
-rw-r--r--
Case8.v
236
log
plain
-rw-r--r--
Case9.v
244
log
plain
-rw-r--r--
ClearBody.v
226
log
plain
-rw-r--r--
Tauto.v
890
log
plain
-rw-r--r--
cases.v
130
log
plain
-rw-r--r--
check.v
41
log
plain
-rw-r--r--
clash_cons.v
658
log
plain
-rw-r--r--
clashes.v
192
log
plain
-rw-r--r--
coqbugs0266.v
155
log
plain
-rw-r--r--
fixpoint1.v
619
log
plain
-rw-r--r--
illtype1.v
538
log
plain
-rw-r--r--
ltac1.v
159
log
plain
-rw-r--r--
ltac2.v
238
log
plain
-rw-r--r--
ltac3.v
60
log
plain
-rw-r--r--
ltac4.v
135
log
plain
-rw-r--r--
params_ind.v
90
log
plain
-rw-r--r--
positivity.v
564
log
plain
-rw-r--r--
redef.v
573
log
plain
-rw-r--r--
search.v
567
log
plain
-rw-r--r--
universes-buraliforti.v
6018
log
plain
-rw-r--r--
universes-sections1.v
200
log
plain
-rw-r--r--
universes-sections2.v
220
log
plain
-rw-r--r--
universes.v
103
log
plain
-rw-r--r--
universes2.v
126
log
plain
