package info (click to toggle)
ladr 0.0.200902a-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 11,400 kB
  • ctags: 7,168
  • sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13

Folder: apps.src

d .. (parent)
d d rwxr-xr-x 127 old
d d rwxr-xr-x 4,096 test-directproof
- - rw-r--r-- 644 .gdb_history
- - rw-r--r-- 35,855 H65d.givens
- - rw-r--r-- 3,018 Makefile
- - rw-r--r-- 4,624 README.directproof
- - rw-r--r-- 109 README.solaris
- - rw-r--r-- 81,007 TAGS
- - rw-r--r-- 49 awk1
- - rw-r--r-- 5,355 clausefilter.c
- - rw-r--r-- 3,140 clausetester.c
- - rw-r--r-- 2,615 complex.c
- - rw-r--r-- 19,932 directproof.c
- - rw-r--r-- 2,235 dprofiles.c
- - rw-r--r-- 502 g2.model
- - rw-r--r-- 4,429 idfilter.c
- - rw-r--r-- 1,214 interp3.dtd
- - rw-r--r-- 3,803 interp3.xsl
- - rw-r--r-- 4,200 interpfilter.c
- - rw-r--r-- 8,098 interpformat.c
- - rw-r--r-- 5,045 isofilter.c
- - rw-r--r-- 4,476 isofilter0.c
- - rw-r--r-- 5,045 isofilter2.c
- - rw-r--r-- 5,594 latfilter.c
- - rw-r--r-- 33 lt.dist
- - rw-r--r-- 289 lt.m3
- - rw-r--r-- 1,671 miniscope.c
- - rw-r--r-- 3,751 mirror-flip.c
- - rw-r--r-- 3,964 notes
- - rw-r--r-- 13,320 olfilter.c
- - rw-r--r-- 3,839 perm3.c
- - rw-r--r-- 653 problems
- - rw-r--r-- 2,019 proof3.dtd
- - rw-r--r-- 3,572 proof3.xsl
- - rw-r--r-- 13,226 prooftrans.c
- - rwxr-xr-x 878 py1
- - rw-r--r-- 2,461 renamer.c
- - rw-r--r-- 3,839 rewriter.c
- - rw-r--r-- 3,160 rewriter2.c
- - rw-r--r-- 13 sed.db-to-queries
- - rw-r--r-- 30 sed1
- - rw-r--r-- 58 sed2
- - rwxr-xr-x 246 sig.py
- - rw-r--r-- 2,509 sigtest.c
- - rw-r--r-- 2,212 test_clause_eval.c
- - rw-r--r-- 1,848 test_complex.c
- - rw-r--r-- 1,814 unfast.c
- - rw-r--r-- 3,691 upper-covers.c