/usr/lib/acl2-6.3/books/centaur/4v-sexpr/ is in acl2-books 6.3-5.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/4v-logic.o
|
application/x-object | root:root | 0o644 | 85.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/bitspecs.o
|
application/x-object | root:root | 0o644 | 135.6 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/compose-sexpr.o
|
application/x-object | root:root | 0o644 | 59.6 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/g-sexpr-eval.o
|
application/x-object | root:root | 0o644 | 76.7 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/nsexprs.o
|
application/x-object | root:root | 0o644 | 58.5 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/onehot-rewrite.o
|
application/x-object | root:root | 0o644 | 97.8 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/portcullis.o
|
application/x-object | root:root | 0o644 | 23.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-3v.o
|
application/x-object | root:root | 0o644 | 26.9 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-advanced.o
|
application/x-object | root:root | 0o644 | 23.1 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-building.o
|
application/x-object | root:root | 0o644 | 83.1 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-equivs.o
|
application/x-object | root:root | 0o644 | 90.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-eval.o
|
application/x-object | root:root | 0o644 | 89.4 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-correct.o
|
application/x-object | root:root | 0o644 | 48.0 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-rewriting.o
|
application/x-object | root:root | 0o644 | 24.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-spec.o
|
application/x-object | root:root | 0o644 | 67.2 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-top.o
|
application/x-object | root:root | 0o644 | 46.7 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint.o
|
application/x-object | root:root | 0o644 | 152.6 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-loop-debug.o
|
application/x-object | root:root | 0o644 | 110.4 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-rewrites.o
|
application/x-object | root:root | 0o644 | 270.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-to-faig.o
|
application/x-object | root:root | 0o644 | 83.5 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-vars-1pass.o
|
application/x-object | root:root | 0o644 | 35.1 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/sexpr-vars.o
|
application/x-object | root:root | 0o644 | 32.3 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/svarmap.o
|
application/x-object | root:root | 0o644 | 69.8 KB |
/usr/lib/acl2-6.3/books/centaur/4v-sexpr/top.o
|
application/x-object | root:root | 0o644 | 40.3 KB |