package info (click to toggle)
mona 1.4-18-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, forky, sid, trixie
  • size: 3,316 kB
  • sloc: ansic: 13,825; cpp: 12,615; sh: 4,569; makefile: 111; lisp: 48

Folder: GTA

d .. (parent)
- - rw-r--r-- 15,131 analyze.c
- - rw-r--r-- 11,704 analyze_acceptance.c
- - rw-r--r-- 53,174 basic.c
- - rw-r--r-- 1,801 copy.c
- - rw-r--r-- 2,703 dyn.c
- - rw-r--r-- 1,668 dyn.h
- - rw-r--r-- 14,812 external.c
- - rw-r--r-- 8,007 gta.c
- - rw-r--r-- 8,290 gta.h
- - rw-r--r-- 6,022 makebasic.c
- - rw-r--r-- 552 makefile.am
- - rw-r--r-- 48,741 makefile.in
- - rw-r--r-- 10,484 minimize.c
- - rw-r--r-- 918 negation.c
- - rw-r--r-- 3,794 pairhash.c
- - rw-r--r-- 1,335 pairhash.h
- - rw-r--r-- 5,325 printgta.c
- - rw-r--r-- 5,131 product.c
- - rw-r--r-- 10,145 project.c
- - rw-r--r-- 1,758 projset.c
- - rw-r--r-- 1,235 projset.h
- - rw-r--r-- 4,588 reachable.c
- - rw-r--r-- 1,227 replace_indices.c
- - rw-r--r-- 1,150 restrict.c
- - rw-r--r-- 6,310 subsets.c
- - rw-r--r-- 1,754 subsets.h
- - rw-r--r-- 14,467 types.c