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
.. (parent) | ||||
d | rwxr-xr-x | 127 | old | |
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 |