/usr/share/acl2-7.1/books/centaur/aig/ is in acl2-books-certs 7.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/acl2-7.1/books/centaur/aig/accumulate-nodes-vars.cert
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-base.cert
|
application/octet-stream | root:root | 0o644 | 129.5 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-equivs.cert
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-print.cert
|
application/octet-stream | root:root | 0o644 | 26.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-ext.cert
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-fast.cert
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars.cert
|
application/octet-stream | root:root | 0o644 | 24.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig2c.cert
|
application/octet-stream | root:root | 0o644 | 101.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/aiger-help.cert
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/share/acl2-7.1/books/centaur/aig/aiger.cert
|
application/octet-stream | root:root | 0o644 | 42.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/bddify-correct.cert
|
application/octet-stream | root:root | 0o644 | 32.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/bddify.cert
|
application/octet-stream | root:root | 0o644 | 26.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/best-aig.cert
|
application/octet-stream | root:root | 0o644 | 49.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/eval-restrict.cert
|
application/octet-stream | root:root | 0o644 | 77.7 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-base.cert
|
application/octet-stream | root:root | 0o644 | 66.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-constructors.cert
|
application/octet-stream | root:root | 0o644 | 78.2 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-equivs.cert
|
application/octet-stream | root:root | 0o644 | 30.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/g-aig-eval.cert
|
application/octet-stream | root:root | 0o644 | 333.1 KB |
/usr/share/acl2-7.1/books/centaur/aig/induction.cert
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/misc.cert
|
application/octet-stream | root:root | 0o644 | 19.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/random-sim.cert
|
application/octet-stream | root:root | 0o644 | 190.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aig-cnf.cert
|
application/octet-stream | root:root | 0o644 | 50.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aig-sim.cert
|
application/octet-stream | root:root | 0o644 | 64.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aiger.cert
|
application/octet-stream | root:root | 0o644 | 84.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-absstobj.cert
|
application/octet-stream | root:root | 0o644 | 54.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec-thms.cert
|
application/octet-stream | root:root | 0o644 | 46.3 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec.cert
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic-interface.cert
|
application/octet-stream | root:root | 0o644 | 72.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic.cert
|
application/octet-stream | root:root | 0o644 | 135.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/arrays.cert
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/bit-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/cnf.cert
|
application/octet-stream | root:root | 0o644 | 85.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/construction.cert
|
application/octet-stream | root:root | 0o644 | 113.7 KB |
/usr/share/acl2-7.1/books/centaur/aignet/copying.cert
|
application/octet-stream | root:root | 0o644 | 107.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/eval.cert
|
application/octet-stream | root:root | 0o644 | 44.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig-fast.cert
|
application/octet-stream | root:root | 0o644 | 45.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 84.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/litp.cert
|
application/octet-stream | root:root | 0o644 | 48.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/prune.cert
|
application/octet-stream | root:root | 0o644 | 98.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/refcounts.cert
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/semantics.cert
|
application/octet-stream | root:root | 0o644 | 96.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/snodes.cert
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/to-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 51.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/types.cert
|
application/octet-stream | root:root | 0o644 | 57.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/vecsim.cert
|
application/octet-stream | root:root | 0o644 | 39.2 KB |