package info
(click to toggle)
ladr 0.0.200806a-1
- links: PTS
- area: main
- in suites: lenny
- size: 10,228 kB
- ctags: 6,977
- sloc: ansic: 57,466; perl: 1,006; python: 576; sh: 442; makefile: 393; csh: 58; modula3: 13
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-- | 2,740 | Makefile |
|
- | rw-r--r-- | 4,624 | README.directproof |
|
- | rw-r--r-- | 109 | README.solaris |
|
- | rw-r--r-- | 72,098 | TAGS |
|
- | rw-r--r-- | 5,355 | clausefilter.c |
|
- | rw-r--r-- | 3,140 | clausetester.c |
|
- | rw-r--r-- | 19,547 | 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-- | 7,890 | interpformat.c |
|
- | rw-r--r-- | 5,036 | isofilter.c |
|
- | rw-r--r-- | 4,467 | isofilter0.c |
|
- | rw-r--r-- | 5,036 | 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-- | 12,523 | prooftrans.c |
|
- | rw-r--r-- | 2,461 | renamer.c |
|
- | rw-r--r-- | 3,839 | rewriter.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,500 | sigtest.c |
|
- | rw-r--r-- | 2,220 | test_clause_eval.c |
|
- | rw-r--r-- | 1,814 | unfast.c |
|
- | rw-r--r-- | 3,691 | upper-covers.c |