/usr/lib/acl2-7.1/books/projects/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/acl2-7.1/books/projects/codewalker/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/codewalker/codewalker.o
|
application/x-object | root:root | 0o644 | 1.1 MB |
/usr/lib/acl2-7.1/books/projects/codewalker/demo-fact-count-up.o
|
application/x-object | root:root | 0o644 | 91.8 KB |
/usr/lib/acl2-7.1/books/projects/codewalker/demo-fact.o
|
application/x-object | root:root | 0o644 | 75.5 KB |
/usr/lib/acl2-7.1/books/projects/codewalker/if-tracker.o
|
application/x-object | root:root | 0o644 | 41.5 KB |
/usr/lib/acl2-7.1/books/projects/codewalker/m1-version-3.o
|
application/x-object | root:root | 0o644 | 194.3 KB |
/usr/lib/acl2-7.1/books/projects/codewalker/simplify-under-hyps.o
|
application/x-object | root:root | 0o644 | 132.9 KB |
/usr/lib/acl2-7.1/books/projects/codewalker/terminatricks.o
|
application/x-object | root:root | 0o644 | 781.1 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/apply-total-order.o
|
application/x-object | root:root | 0o644 | 30.1 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/fairenv.o
|
application/x-object | root:root | 0o644 | 43.2 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/final-theorems.o
|
application/x-object | root:root | 0o644 | 16.6 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/initial-state.o
|
application/x-object | root:root | 0o644 | 20.1 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/inv-persists.o
|
application/x-object | root:root | 0o644 | 16.5 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/inv-sufficient.o
|
application/x-object | root:root | 0o644 | 16.6 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/labels.o
|
application/x-object | root:root | 0o644 | 16.5 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/lexicographic-pos.o
|
application/x-object | root:root | 0o644 | 27.3 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/lexicographic.o
|
application/x-object | root:root | 0o644 | 21.6 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/measures.o
|
application/x-object | root:root | 0o644 | 43.8 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/pos-temp.o
|
application/x-object | root:root | 0o644 | 16.5 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/programs.o
|
application/x-object | root:root | 0o644 | 102.5 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/properties-of-sets.o
|
application/x-object | root:root | 0o644 | 26.3 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/properties.o
|
application/x-object | root:root | 0o644 | 230.6 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/records.o
|
application/x-object | root:root | 0o644 | 48.7 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/stutter1-match.o
|
application/x-object | root:root | 0o644 | 16.5 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/stutter2.o
|
application/x-object | root:root | 0o644 | 57.7 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/bakery/variables.o
|
application/x-object | root:root | 0o644 | 20.4 KB |
/usr/lib/acl2-7.1/books/projects/concurrent-programs/german-protocol/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/concurrent-programs/german-protocol/german.o
|
application/x-object | root:root | 0o644 | 79.5 KB |
/usr/lib/acl2-7.1/books/projects/equational/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/equational/bewijs.o
|
application/x-object | root:root | 0o644 | 23.6 KB |
/usr/lib/acl2-7.1/books/projects/equational/general.o
|
application/x-object | root:root | 0o644 | 41.3 KB |
/usr/lib/acl2-7.1/books/projects/equational/paramod.o
|
application/x-object | root:root | 0o644 | 41.5 KB |
/usr/lib/acl2-7.1/books/projects/equational/prover.o
|
application/x-object | root:root | 0o644 | 48.8 KB |
/usr/lib/acl2-7.1/books/projects/equational/resolution.o
|
application/x-object | root:root | 0o644 | 84.9 KB |
/usr/lib/acl2-7.1/books/projects/equational/unification.o
|
application/x-object | root:root | 0o644 | 73.0 KB |
/usr/lib/acl2-7.1/books/projects/equational/weighting.o
|
application/x-object | root:root | 0o644 | 65.6 KB |
/usr/lib/acl2-7.1/books/projects/fifo/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/fifo/fifo-list-based.o
|
application/x-object | root:root | 0o644 | 174.0 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-defthms.o
|
application/x-object | root:root | 0o644 | 1.8 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-defuns.o
|
application/x-object | root:root | 0o644 | 57.5 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-sort-equivalent.o
|
application/x-object | root:root | 0o644 | 1.9 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-sort-equivalent2.o
|
application/x-object | root:root | 0o644 | 1.9 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-sort-equivalent3.o
|
application/x-object | root:root | 0o644 | 1.9 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-tree-sort.o
|
application/x-object | root:root | 0o644 | 19.8 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/leftist-trees-xdoc.o
|
application/x-object | root:root | 0o644 | 12.3 KB |
/usr/lib/acl2-7.1/books/projects/leftist-trees/top.o
|
application/x-object | root:root | 0o644 | 12.5 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/array-lemmas.o
|
application/x-object | root:root | 0o644 | 3.2 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/basic-tests.o
|
application/x-object | root:root | 0o644 | 2.3 MB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/def-typed-record.o
|
application/x-object | root:root | 0o644 | 216.2 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/defrstobj.o
|
application/x-object | root:root | 0o644 | 580.2 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/fancy-worseguy.o
|
application/x-object | root:root | 0o644 | 18.5 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/g-delete-keys.o
|
application/x-object | root:root | 0o644 | 15.8 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/array-rec.o
|
application/x-object | root:root | 0o644 | 38.8 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/demo1.o
|
application/x-object | root:root | 0o644 | 130.2 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/demo2.o
|
application/x-object | root:root | 0o644 | 135.4 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/demo3.o
|
application/x-object | root:root | 0o644 | 162.5 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/demo4.o
|
application/x-object | root:root | 0o644 | 157.6 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/demo5.o
|
application/x-object | root:root | 0o644 | 215.1 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/groundwork/local.o
|
application/x-object | root:root | 0o644 | 13.7 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/portcullis.o
|
application/x-object | root:root | 0o644 | 15.2 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/typed-record-tests.o
|
application/x-object | root:root | 0o644 | 277.8 KB |
/usr/lib/acl2-7.1/books/projects/legacy-defrstobj/typed-records.o
|
application/x-object | root:root | 0o644 | 94.3 KB |
/usr/lib/acl2-7.1/books/projects/milawa/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/milawa/doc.o
|
application/x-object | root:root | 0o644 | 97.4 KB |
/usr/lib/acl2-7.1/books/projects/paco/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/paco/database.o
|
application/x-object | root:root | 0o644 | 335.7 KB |
/usr/lib/acl2-7.1/books/projects/paco/elim-dest.o
|
application/x-object | root:root | 0o644 | 265.6 KB |
/usr/lib/acl2-7.1/books/projects/paco/foundations.o
|
application/x-object | root:root | 0o644 | 616.1 KB |
/usr/lib/acl2-7.1/books/projects/paco/induct.o
|
application/x-object | root:root | 0o644 | 426.1 KB |
/usr/lib/acl2-7.1/books/projects/paco/output-module.o
|
application/x-object | root:root | 0o644 | 122.3 KB |
/usr/lib/acl2-7.1/books/projects/paco/paco.o
|
application/x-object | root:root | 0o644 | 22.3 KB |
/usr/lib/acl2-7.1/books/projects/paco/prove.o
|
application/x-object | root:root | 0o644 | 120.9 KB |
/usr/lib/acl2-7.1/books/projects/paco/rewrite.o
|
application/x-object | root:root | 0o644 | 389.2 KB |
/usr/lib/acl2-7.1/books/projects/paco/simplify.o
|
application/x-object | root:root | 0o644 | 174.0 KB |
/usr/lib/acl2-7.1/books/projects/paco/type-set.o
|
application/x-object | root:root | 0o644 | 1.3 MB |
/usr/lib/acl2-7.1/books/projects/paco/utilities.o
|
application/x-object | root:root | 0o644 | 336.0 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/eisenstein.o
|
application/x-object | root:root | 0o644 | 53.5 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/euclid.o
|
application/x-object | root:root | 0o644 | 63.5 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/euler.o
|
application/x-object | root:root | 0o644 | 52.5 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/fermat.o
|
application/x-object | root:root | 0o644 | 53.0 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/gauss.o
|
application/x-object | root:root | 0o644 | 36.1 KB |
/usr/lib/acl2-7.1/books/projects/quadratic-reciprocity/mersenne.o
|
application/x-object | root:root | 0o644 | 30.2 KB |
/usr/lib/acl2-7.1/books/projects/regex/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/regex/defset-encapsulates.o
|
application/x-object | root:root | 0o644 | 119.4 KB |
/usr/lib/acl2-7.1/books/projects/regex/defset-macros.o
|
application/x-object | root:root | 0o644 | 436.9 KB |
/usr/lib/acl2-7.1/books/projects/regex/equal-based-set.o
|
application/x-object | root:root | 0o644 | 20.6 KB |
/usr/lib/acl2-7.1/books/projects/regex/grep-command-line.o
|
application/x-object | root:root | 0o644 | 809.2 KB |
/usr/lib/acl2-7.1/books/projects/regex/input-list.o
|
application/x-object | root:root | 0o644 | 73.8 KB |
/usr/lib/acl2-7.1/books/projects/regex/portcullis.o
|
application/x-object | root:root | 0o644 | 12.3 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-chartrans.o
|
application/x-object | root:root | 0o644 | 41.9 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-defs.o
|
application/x-object | root:root | 0o644 | 139.8 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-exec.o
|
application/x-object | root:root | 0o644 | 157.8 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-fileio.o
|
application/x-object | root:root | 0o644 | 30.4 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-parse-brace.o
|
application/x-object | root:root | 0o644 | 57.3 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-parse-bracket.o
|
application/x-object | root:root | 0o644 | 41.7 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-parse.o
|
application/x-object | root:root | 0o644 | 161.2 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-tests.o
|
application/x-object | root:root | 0o644 | 163.1 KB |
/usr/lib/acl2-7.1/books/projects/regex/regex-ui.o
|
application/x-object | root:root | 0o644 | 53.4 KB |
/usr/lib/acl2-7.1/books/projects/security/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/security/des-ghosh/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/security/des-ghosh/des-test.o
|
application/x-object | root:root | 0o644 | 55.3 KB |
/usr/lib/acl2-7.1/books/projects/security/des-ghosh/des.o
|
application/x-object | root:root | 0o644 | 160.7 KB |
/usr/lib/acl2-7.1/books/projects/security/jfkr/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/security/jfkr/diffie-helman.o
|
application/x-object | root:root | 0o644 | 45.9 KB |
/usr/lib/acl2-7.1/books/projects/security/jfkr/encryption.o
|
application/x-object | root:root | 0o644 | 56.3 KB |
/usr/lib/acl2-7.1/books/projects/security/jfkr/jfkr.o
|
application/x-object | root:root | 0o644 | 428.0 KB |
/usr/lib/acl2-7.1/books/projects/security/jfkr/random.o
|
application/x-object | root:root | 0o644 | 31.9 KB |
/usr/lib/acl2-7.1/books/projects/security/sha-2/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/security/sha-2/sha-2.o
|
application/x-object | root:root | 0o644 | 82.5 KB |
/usr/lib/acl2-7.1/books/projects/security/util/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/security/util/byte-operations.o
|
application/x-object | root:root | 0o644 | 167.3 KB |
/usr/lib/acl2-7.1/books/projects/sidekick/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/sidekick/disassemble-raw.o
|
application/x-object | root:root | 0o644 | 10.3 KB |
/usr/lib/acl2-7.1/books/projects/sidekick/disassemble.o
|
application/x-object | root:root | 0o644 | 78.5 KB |
/usr/lib/acl2-7.1/books/projects/sidekick/io-raw.o
|
application/x-object | root:root | 0o644 | 2.3 KB |
/usr/lib/acl2-7.1/books/projects/sidekick/io.o
|
application/x-object | root:root | 0o644 | 64.6 KB |
/usr/lib/acl2-7.1/books/projects/sidekick/portcullis.o
|
application/x-object | root:root | 0o644 | 40.7 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/symbolic/generic/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/symbolic/generic/assertions.o
|
application/x-object | root:root | 0o644 | 40.2 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/defsimulate.o
|
application/x-object | root:root | 0o644 | 303.3 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/factorial-jvm-correct.o
|
application/x-object | root:root | 0o644 | 123.4 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/measures.o
|
application/x-object | root:root | 0o644 | 44.5 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/partial-correctness.o
|
application/x-object | root:root | 0o644 | 54.8 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/tiny-fib-correct.o
|
application/x-object | root:root | 0o644 | 93.1 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/generic/total-correctness.o
|
application/x-object | root:root | 0o644 | 57.0 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/m5/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/symbolic/m5/demo.o
|
application/x-object | root:root | 0o644 | 82.2 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/m5/utilities.o
|
application/x-object | root:root | 0o644 | 32.3 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-fib/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-fib/defstobj+.o
|
application/x-object | root:root | 0o644 | 98.3 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-fib/fib-def.o
|
application/x-object | root:root | 0o644 | 30.9 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-fib/tiny-rewrites.o
|
application/x-object | root:root | 0o644 | 48.4 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-fib/tiny.o
|
application/x-object | root:root | 0o644 | 304.5 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-triangle/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-triangle/tiny-triangle-correct.o
|
application/x-object | root:root | 0o644 | 96.5 KB |
/usr/lib/acl2-7.1/books/projects/symbolic/tiny-triangle/triangle-def.o
|
application/x-object | root:root | 0o644 | 31.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/brlens/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/brlens/brlens.o
|
application/x-object | root:root | 0o644 | 23.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/brlens/trees-with-brlens.o
|
application/x-object | root:root | 0o644 | 34.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/build/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/build/build-term-guards.o
|
application/x-object | root:root | 0o644 | 20.1 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/build/build-term.o
|
application/x-object | root:root | 0o644 | 71.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/fringes/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/fringes/fringes-guards.o
|
application/x-object | root:root | 0o644 | 31.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/fringes/fringes-props.o
|
application/x-object | root:root | 0o644 | 13.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/fringes/fringes.o
|
application/x-object | root:root | 0o644 | 144.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/bdd-functions.o
|
application/x-object | root:root | 0o644 | 39.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/extra.o
|
application/x-object | root:root | 0o644 | 48.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/fast-lists.o
|
application/x-object | root:root | 0o644 | 48.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/sets.o
|
application/x-object | root:root | 0o644 | 36.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-helper/top.o
|
application/x-object | root:root | 0o644 | 13.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/app-rev-lists.o
|
application/x-object | root:root | 0o644 | 13.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/btrees-bdds-sets.o
|
application/x-object | root:root | 0o644 | 13.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/btrees-bdds.o
|
application/x-object | root:root | 0o644 | 16.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/btrees.o
|
application/x-object | root:root | 0o644 | 52.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/sets-lists-trees.o
|
application/x-object | root:root | 0o644 | 20.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/top.o
|
application/x-object | root:root | 0o644 | 13.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/gen-trees/tree-predicates.o
|
application/x-object | root:root | 0o644 | 39.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/replete/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/replete/replete-guards.o
|
application/x-object | root:root | 0o644 | 30.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/replete/replete-helper.o
|
application/x-object | root:root | 0o644 | 55.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/replete/replete.o
|
application/x-object | root:root | 0o644 | 61.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/sequences/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/sequences/align.o
|
application/x-object | root:root | 0o644 | 112.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/sequences/p-inform.o
|
application/x-object | root:root | 0o644 | 34.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/sequences/seqs.o
|
application/x-object | root:root | 0o644 | 33.9 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/insertion-based-sort.o
|
application/x-object | root:root | 0o644 | 72.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/merge-based-sort.o
|
application/x-object | root:root | 0o644 | 48.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/mv-root.o
|
application/x-object | root:root | 0o644 | 51.1 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/quicksort.o
|
application/x-object | root:root | 0o644 | 16.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/sort-help.o
|
application/x-object | root:root | 0o644 | 34.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/code/tree-manip/top.o
|
application/x-object | root:root | 0o644 | 13.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/database/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/database/db-from-list.o
|
application/x-object | root:root | 0o644 | 14.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/database/db.o
|
application/x-object | root:root | 0o644 | 67.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/database/entry.o
|
application/x-object | root:root | 0o644 | 79.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/database/filters.o
|
application/x-object | root:root | 0o644 | 120.3 KB |
/usr/lib/acl2-7.1/books/projects/taspi/database/props.o
|
application/x-object | root:root | 0o644 | 37.1 KB |
/usr/lib/acl2-7.1/books/projects/taspi/proofs/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/proofs/fringes-taspi.o
|
application/x-object | root:root | 0o644 | 41.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/proofs/omerge-good-order.o
|
application/x-object | root:root | 0o644 | 27.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/proofs/sets.o
|
application/x-object | root:root | 0o644 | 47.3 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/consensus.o
|
application/x-object | root:root | 0o644 | 56.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/greedy.o
|
application/x-object | root:root | 0o644 | 29.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/mast.o
|
application/x-object | root:root | 0o644 | 28.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/mct.o
|
application/x-object | root:root | 0o644 | 28.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/multipolar-loose.o
|
application/x-object | root:root | 0o644 | 58.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/top.o
|
application/x-object | root:root | 0o644 | 13.8 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/tree-compat.o
|
application/x-object | root:root | 0o644 | 56.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/sets-input/tree-support-in-set.o
|
application/x-object | root:root | 0o644 | 67.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/single-input/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/single-input/taxa-based.o
|
application/x-object | root:root | 0o644 | 80.1 KB |
/usr/lib/acl2-7.1/books/projects/taspi/single-input/tree-stats.o
|
application/x-object | root:root | 0o644 | 35.9 KB |
/usr/lib/acl2-7.1/books/projects/taspi/taspi-xdoc.o
|
application/x-object | root:root | 0o644 | 12.3 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-distance/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-distance/rf.o
|
application/x-object | root:root | 0o644 | 40.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-distance/symm-diff.o
|
application/x-object | root:root | 0o644 | 28.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/branch-and-bound/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/branch-and-bound/bandb.o
|
application/x-object | root:root | 0o644 | 73.9 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/distance-based/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/distance-based/naive-quartet-method.o
|
application/x-object | root:root | 0o644 | 88.9 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/heuristics/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/heuristics/do-search.o
|
application/x-object | root:root | 0o644 | 73.3 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/heuristics/spr.o
|
application/x-object | root:root | 0o644 | 90.5 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/heuristics/tbr.o
|
application/x-object | root:root | 0o644 | 101.3 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/tree-gen-helper/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-generation/tree-gen-helper/basics.o
|
application/x-object | root:root | 0o644 | 85.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/ambig-score.o
|
application/x-object | root:root | 0o644 | 49.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/circle-scoring.o
|
application/x-object | root:root | 0o644 | 47.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/costs.o
|
application/x-object | root:root | 0o644 | 65.6 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/efficient-pscores-help.o
|
application/x-object | root:root | 0o644 | 23.0 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/efficient-pscores.o
|
application/x-object | root:root | 0o644 | 99.4 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/fitch-scoring.o
|
application/x-object | root:root | 0o644 | 59.2 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/min-length.o
|
application/x-object | root:root | 0o644 | 151.7 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/opt-pairwise.o
|
application/x-object | root:root | 0o644 | 34.1 KB |
/usr/lib/acl2-7.1/books/projects/taspi/tree-score/pscores.o
|
application/x-object | root:root | 0o644 | 64.1 KB |
/usr/lib/acl2-7.1/books/projects/translators/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2-deps.o
|
application/x-object | root:root | 0o644 | 20.4 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/thacker/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/thacker/run.o
|
application/x-object | root:root | 0o644 | 118.4 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/thacker/tiny-logic.o
|
application/x-object | root:root | 0o644 | 454.2 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/thacker/tiny-manual.o
|
application/x-object | root:root | 0o644 | 413.7 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/examples/thacker/tiny.o
|
application/x-object | root:root | 0o644 | 434.1 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/translator/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/translator/l3-to-acl2.o
|
application/x-object | root:root | 0o644 | 818.7 KB |
/usr/lib/acl2-7.1/books/projects/translators/l3-to-acl2/translator/l3.o
|
application/x-object | root:root | 0o644 | 185.8 KB |
/usr/lib/acl2-7.1/books/projects/wp-gen/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/wp-gen/mutrec/
|
root:root | 0o755 | ||
/usr/lib/acl2-7.1/books/projects/wp-gen/mutrec/mutrec.o
|
application/x-object | root:root | 0o644 | 74.2 KB |
/usr/lib/acl2-7.1/books/projects/wp-gen/shared.o
|
application/x-object | root:root | 0o644 | 15.7 KB |
/usr/lib/acl2-7.1/books/projects/wp-gen/wp-gen.o
|
application/x-object | root:root | 0o644 | 177.3 KB |