package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389

Folder: TERMS

d .. (parent)
- - rw-r--r-- 1,130 Makefile
- - rw-r--r-- 8,868 cte_acterms.c
- - rw-r--r-- 2,123 cte_acterms.h
- - rw-r--r-- 40,395 cte_fp_index.c
- - rw-r--r-- 4,574 cte_fp_index.h
- - rw-r--r-- 7,988 cte_functypes.c
- - rw-r--r-- 2,209 cte_functypes.h
- - rw-r--r-- 21,372 cte_idx_fp.c
- - rw-r--r-- 3,150 cte_idx_fp.h
- - rw-r--r-- 14,413 cte_lambda.c
- - rw-r--r-- 4,063 cte_lambda.h
- - rw-r--r-- 24,623 cte_match_mgu_1-1.c
- - rw-r--r-- 3,517 cte_match_mgu_1-1.h
- - rw-r--r-- 6,511 cte_replace.c
- - rw-r--r-- 1,921 cte_replace.h
- - rw-r--r-- 49,745 cte_signature.c
- - rw-r--r-- 16,659 cte_signature.h
- - rw-r--r-- 7,684 cte_simplesorts.c
- - rw-r--r-- 3,453 cte_simplesorts.h
- - rw-r--r-- 10,502 cte_simpletypes.c
- - rw-r--r-- 5,030 cte_simpletypes.h
- - rw-r--r-- 11,544 cte_subst.c
- - rw-r--r-- 3,893 cte_subst.h
- - rw-r--r-- 57,425 cte_termbanks.c
- - rw-r--r-- 8,968 cte_termbanks.h
- - rw-r--r-- 8,782 cte_termcellstore.c
- - rw-r--r-- 3,083 cte_termcellstore.h
- - rw-r--r-- 3,123 cte_termcpos.c
- - rw-r--r-- 1,739 cte_termcpos.h
- - rw-r--r-- 67,891 cte_termfunc.c
- - rw-r--r-- 8,296 cte_termfunc.h
- - rw-r--r-- 3,936 cte_termpos.c
- - rw-r--r-- 4,154 cte_termpos.h
- - rw-r--r-- 10,557 cte_termtrees.c
- - rw-r--r-- 2,334 cte_termtrees.h
- - rw-r--r-- 20,851 cte_termtypes.c
- - rw-r--r-- 23,917 cte_termtypes.h
- - rw-r--r-- 19,926 cte_termvars.c
- - rw-r--r-- 8,072 cte_termvars.h
- - rw-r--r-- 5,065 cte_termweightext.c
- - rw-r--r-- 2,805 cte_termweightext.h
- - rw-r--r-- 24,397 cte_typebanks.c
- - rw-r--r-- 3,265 cte_typebanks.h
- - rw-r--r-- 13,066 cte_typecheck.c
- - rw-r--r-- 1,573 cte_typecheck.h
- - rw-r--r-- 6,672 cte_varhash.c
- - rw-r--r-- 4,856 cte_varhash.h
- - rw-r--r-- 8,294 cte_varsets.c
- - rw-r--r-- 2,513 cte_varsets.h