package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: kernel

d .. (parent)
d d rwxr-xr-x 4,096 byterun
- - rw-r--r-- 39,033 cClosure.ml
- - rw-r--r-- 8,401 cClosure.mli
- - rw-r--r-- 2,181 cPrimitives.ml
- - rw-r--r-- 1,088 cPrimitives.mli
- - rw-r--r-- 9,596 cbytecodes.ml
- - rw-r--r-- 6,335 cbytecodes.mli
- - rw-r--r-- 35,686 cbytegen.ml
- - rw-r--r-- 1,280 cbytegen.mli
- - rw-r--r-- 15,893 cemitcodes.ml
- - rw-r--r-- 858 cemitcodes.mli
- - rw-r--r-- 2,183 cinstr.mli
- - rw-r--r-- 27,647 clambda.ml
- - rw-r--r-- 1,227 clambda.mli
- - rw-r--r-- 45,937 constr.ml
- - rw-r--r-- 20,001 constr.mli
- - rw-r--r-- 17,380 context.ml
- - rw-r--r-- 12,423 context.mli
- - rw-r--r-- 3,392 conv_oracle.ml
- - rw-r--r-- 1,855 conv_oracle.mli
- - rw-r--r-- 8,792 cooking.ml
- - rw-r--r-- 1,250 cooking.mli
- - rw-r--r-- 6,133 csymtable.ml
- - rw-r--r-- 923 csymtable.mli
- - rw-r--r-- 11,379 declarations.ml
- - rw-r--r-- 13,111 declareops.ml
- - rw-r--r-- 3,005 declareops.mli
- - rw-r--r-- 4,628 entries.ml
- - rw-r--r-- 21,899 environ.ml
- - rw-r--r-- 11,991 environ.mli
- - rw-r--r-- 6,859 esubst.ml
- - rw-r--r-- 3,437 esubst.mli
- - rw-r--r-- 877 evar.ml
- - rw-r--r-- 1,526 evar.mli
- - rw-r--r-- 40,056 indtypes.ml
- - rw-r--r-- 1,680 indtypes.mli
- - rw-r--r-- 46,649 inductive.ml
- - rw-r--r-- 5,410 inductive.mli
- - rw-r--r-- 435 kernel.mllib
- - rw-r--r-- 170 make-opcodes
- - rw-r--r-- 18,579 mod_subst.ml
- - rw-r--r-- 6,129 mod_subst.mli
- - rw-r--r-- 14,309 mod_typing.ml
- - rw-r--r-- 2,373 mod_typing.mli
- - rw-r--r-- 22,634 modops.ml
- - rw-r--r-- 5,134 modops.mli
- - rw-r--r-- 28,930 names.ml
- - rw-r--r-- 18,310 names.mli
- - rw-r--r-- 75,776 nativecode.ml
- - rw-r--r-- 2,517 nativecode.mli
- - rw-r--r-- 7,139 nativeconv.ml
- - rw-r--r-- 1,053 nativeconv.mli
- - rw-r--r-- 2,665 nativeinstr.mli
- - rw-r--r-- 21,863 nativelambda.ml
- - rw-r--r-- 1,656 nativelambda.mli
- - rw-r--r-- 6,050 nativelib.ml
- - rw-r--r-- 1,381 nativelib.mli
- - rw-r--r-- 2,842 nativelibrary.ml
- - rw-r--r-- 917 nativelibrary.mli
- - rw-r--r-- 15,443 nativevalues.ml
- - rw-r--r-- 5,059 nativevalues.mli
- - rw-r--r-- 6,040 opaqueproof.ml
- - rw-r--r-- 3,457 opaqueproof.mli
- - rw-r--r-- 35,300 reduction.ml
- - rw-r--r-- 5,589 reduction.mli
- - rw-r--r-- 7,197 retroknowledge.ml
- - rw-r--r-- 6,373 retroknowledge.mli
- - rw-r--r-- 39,235 safe_typing.ml
- - rw-r--r-- 7,458 safe_typing.mli
- - rw-r--r-- 2,600 sorts.ml
- - rw-r--r-- 1,287 sorts.mli
- - rw-r--r-- 15,140 subtyping.ml
- - rw-r--r-- 799 subtyping.mli
- - rw-r--r-- 13,545 term.ml
- - rw-r--r-- 8,061 term.mli
- - rw-r--r-- 22,848 term_typing.ml
- - rw-r--r-- 2,945 term_typing.mli
- - rw-r--r-- 4,920 type_errors.ml
- - rw-r--r-- 4,457 type_errors.mli
- - rw-r--r-- 17,732 typeops.ml
- - rw-r--r-- 3,761 typeops.mli
- - rw-r--r-- 31,790 uGraph.ml
- - rw-r--r-- 3,375 uGraph.mli
- - rw-r--r-- 4,093 uint31.ml
- - rw-r--r-- 912 uint31.mli
- - rw-r--r-- 34,038 univ.ml
- - rw-r--r-- 16,748 univ.mli
- - rw-r--r-- 9,908 vars.ml
- - rw-r--r-- 6,702 vars.mli
- - rw-r--r-- 7,859 vconv.ml
- - rw-r--r-- 1,032 vconv.mli
- - rw-r--r-- 5,960 vm.ml
- - rw-r--r-- 1,446 vm.mli
- - rw-r--r-- 22,930 vmvalues.ml
- - rw-r--r-- 4,875 vmvalues.mli