index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
checker
Mode
Name
Size
-rw-r--r--
.depend
3051
log
plain
-rw-r--r--
analyze.ml
10673
log
plain
-rw-r--r--
analyze.mli
1232
log
plain
-rw-r--r--
check.ml
15745
log
plain
-rw-r--r--
check.mli
1089
log
plain
-rw-r--r--
check.mllib
556
log
plain
-rw-r--r--
check_stat.ml
2100
log
plain
-rw-r--r--
check_stat.mli
759
log
plain
-rw-r--r--
checker.ml
14288
log
plain
-rw-r--r--
checker.mli
701
log
plain
-rw-r--r--
cic.mli
15777
log
plain
-rw-r--r--
closure.ml
27282
log
plain
-rw-r--r--
closure.mli
5698
log
plain
-rw-r--r--
declarations.ml
19588
log
plain
-rw-r--r--
declarations.mli
1801
log
plain
-rw-r--r--
environ.ml
7835
log
plain
-rw-r--r--
environ.mli
2541
log
plain
-rw-r--r--
include
4940
log
plain
-rw-r--r--
indtypes.ml
24829
log
plain
-rw-r--r--
indtypes.mli
1438
log
plain
-rw-r--r--
inductive.ml
43699
log
plain
-rw-r--r--
inductive.mli
3104
log
plain
-rw-r--r--
main.ml
26
log
plain
-rw-r--r--
main.mli
808
log
plain
-rw-r--r--
mod_checking.ml
4298
log
plain
-rw-r--r--
mod_checking.mli
753
log
plain
-rw-r--r--
modops.ml
5209
log
plain
-rw-r--r--
modops.mli
1655
log
plain
-rw-r--r--
print.ml
3948
log
plain
-rw-r--r--
print.mli
745
log
plain
-rw-r--r--
reduction.ml
22344
log
plain
-rw-r--r--
reduction.mli
2032
log
plain
-rw-r--r--
safe_typing.ml
3521
log
plain
-rw-r--r--
safe_typing.mli
994
log
plain
-rw-r--r--
subtyping.ml
12573
log
plain
-rw-r--r--
subtyping.mli
875
log
plain
-rw-r--r--
term.ml
14504
log
plain
-rw-r--r--
term.mli
2545
log
plain
-rw-r--r--
type_errors.ml
3997
log
plain
-rw-r--r--
type_errors.mli
3764
log
plain
-rw-r--r--
typeops.ml
11912
log
plain
-rw-r--r--
typeops.mli
972
log
plain
-rw-r--r--
univ.ml
31792
log
plain
-rw-r--r--
univ.mli
8938
log
plain
-rw-r--r--
validate.ml
5232
log
plain
-rw-r--r--
validate.mli
726
log
plain
-rw-r--r--
values.ml
10993
log
plain
-rw-r--r--
values.mli
1013
log
plain
-rw-r--r--
votour.ml
11627
log
plain
-rw-r--r--
votour.mli
808
log
plain