package info (click to toggle)
mona 1.4-7-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 1,996 kB
  • ctags: 3,939
  • sloc: ansic: 14,363; cpp: 12,610; sh: 1,076; yacc: 493; lex: 358; makefile: 150; lisp: 53

Folder: GTA

d .. (parent)
- - rw-r--r-- 15,110 analyze.c
- - rw-r--r-- 11,690 analyze_acceptance.c
- - rw-r--r-- 53,160 basic.c
- - rw-r--r-- 1,787 copy.c
- - rw-r--r-- 2,689 dyn.c
- - rw-r--r-- 1,654 dyn.h
- - rw-r--r-- 14,345 external.c
- - rw-r--r-- 7,993 gta.c
- - rw-r--r-- 8,283 gta.h
- - rw-r--r-- 6,008 makebasic.c
- - rw-r--r-- 374 makefile.am
- - rw-r--r-- 13,786 makefile.in
- - rw-r--r-- 10,361 minimize.c
- - rw-r--r-- 904 negation.c
- - rw-r--r-- 3,778 pairhash.c
- - rw-r--r-- 1,321 pairhash.h
- - rw-r--r-- 5,311 printgta.c
- - rw-r--r-- 5,082 product.c
- - rw-r--r-- 10,075 project.c
- - rw-r--r-- 1,744 projset.c
- - rw-r--r-- 1,221 projset.h
- - rw-r--r-- 4,532 reachable.c
- - rw-r--r-- 1,213 replace_indices.c
- - rw-r--r-- 1,136 restrict.c
- - rw-r--r-- 6,296 subsets.c
- - rw-r--r-- 1,740 subsets.h
- - rw-r--r-- 14,435 types.c