package info (click to toggle)
ladr 0.0.200911a-2.1
  • links: PTS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 10,748 kB
  • ctags: 7,252
  • sloc: ansic: 60,251; perl: 1,006; python: 623; makefile: 368; csh: 58; modula3: 13; sh: 3

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,766 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-- 29,080 demods
- - rw-r--r-- 14,121 demods2
- - rw-r--r-- 19,932 directproof.c
- - rw-r--r-- 2,235 dprofiles.c
- - rw-r--r-- 502 g2.model
- - rw-r--r-- 7,554 gen_trc_defs.c
- - rw-r--r-- 1,110 h1.in
- - rw-r--r-- 5,290 h1.out
- - 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,120 interpformat.c
- - rw-r--r-- 5,067 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-- 48 t1.in
- - 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