acl2-books-source 7.1-1 / usr / share / acl2-7.1 / books / models

This file is indexed.

/usr/share/acl2-7.1/books/models/ is in acl2-books-source 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/models/jvm/ root:root 0o755
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/ root:root 0o755
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/alternating-sum-variant.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/alternating-sum.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/bexpt.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/cert.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/defsys-utilities.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/defsys.acl2 text/plain root:root 0o644 62 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/defsys.lisp text/x-lisp root:root 0o644 75.0 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/div.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/even-solution-1.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/even-solution-2.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/expt.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/fact.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/fib.lisp text/x-lisp root:root 0o644 9.3 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/find-k!.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/find-k!.lisp text/x-lisp root:root 0o644 54.4 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/funny-fact.lisp text/x-lisp root:root 0o644 10.0 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/good-statep.acl2 text/plain root:root 0o644 219 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/good-statep.lisp text/x-lisp root:root 0o644 24.9 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/implementation.acl2 text/plain root:root 0o644 68 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/implementation.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/lessp.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/low-seven.acl2 text/plain root:root 0o644 55 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/low-seven.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/m1.acl2 text/plain root:root 0o644 54 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/m1.lisp text/x-lisp root:root 0o644 21.4 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/magic.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/power.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/sign.lisp text/x-lisp root:root 0o644 7.7 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/sum.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/sumsq.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/template.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/theorems-a-and-b.lisp text/plain root:root 0o644 27.9 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/tmi-reductions.lisp text/x-lisp root:root 0o644 54.6 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/use-when.acl2 text/plain root:root 0o644 229 bytes
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/use-when.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/verify-guards.lisp text/plain root:root 0o644 15.0 KB
/usr/share/acl2-7.1/books/models/jvm/guard-verified-m1/wormhole-abstraction.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-7.1/books/models/jvm/m1/ root:root 0o755
/usr/share/acl2-7.1/books/models/jvm/m1-original/ root:root 0o755
/usr/share/acl2-7.1/books/models/jvm/m1-original/m1-story.acl2 text/plain root:root 0o644 89 bytes
/usr/share/acl2-7.1/books/models/jvm/m1-original/m1-story.lisp text/x-lisp root:root 0o644 33.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1-original/problem-set-1-answers.acl2 text/x-lisp root:root 0o644 553 bytes
/usr/share/acl2-7.1/books/models/jvm/m1-original/problem-set-1-answers.lisp text/x-lisp root:root 0o644 20.3 KB
/usr/share/acl2-7.1/books/models/jvm/m1/alternating-sum-variant.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-7.1/books/models/jvm/m1/alternating-sum.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-7.1/books/models/jvm/m1/bexpt.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-7.1/books/models/jvm/m1/cert.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/defsys-utilities.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1/defsys.acl2 text/plain root:root 0o644 62 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/defsys.lisp text/x-lisp root:root 0o644 75.0 KB
/usr/share/acl2-7.1/books/models/jvm/m1/div.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/models/jvm/m1/even-solution-1.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/models/jvm/m1/even-solution-2.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-7.1/books/models/jvm/m1/expt.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1/fact.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/m1/fib.lisp text/x-lisp root:root 0o644 9.3 KB
/usr/share/acl2-7.1/books/models/jvm/m1/find-k!.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/find-k!.lisp text/x-lisp root:root 0o644 54.4 KB
/usr/share/acl2-7.1/books/models/jvm/m1/funny-fact.lisp text/x-lisp root:root 0o644 10.0 KB
/usr/share/acl2-7.1/books/models/jvm/m1/implementation.acl2 text/plain root:root 0o644 68 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/implementation.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-7.1/books/models/jvm/m1/lessp.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/models/jvm/m1/low-seven.acl2 text/plain root:root 0o644 55 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/low-seven.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.1/books/models/jvm/m1/m1-half-via-inductive-assertions.acl2 text/plain root:root 0o644 99 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/m1-half-via-inductive-assertions.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1/m1-with-stobj-clock-example.acl2 text/plain root:root 0o644 78 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/m1-with-stobj-clock-example.lisp text/x-lisp root:root 0o644 8.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1/m1-with-stobj.acl2 text/plain root:root 0o644 338 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/m1-with-stobj.lisp text/x-lisp root:root 0o644 12.7 KB
/usr/share/acl2-7.1/books/models/jvm/m1/m1.acl2 text/plain root:root 0o644 270 bytes
/usr/share/acl2-7.1/books/models/jvm/m1/m1.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-7.1/books/models/jvm/m1/magic.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-7.1/books/models/jvm/m1/power.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/m1/sign.lisp text/x-lisp root:root 0o644 7.7 KB
/usr/share/acl2-7.1/books/models/jvm/m1/sum.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/jvm/m1/sumsq.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-7.1/books/models/jvm/m1/template.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-7.1/books/models/jvm/m1/theorems-a-and-b.lisp text/plain root:root 0o644 27.9 KB
/usr/share/acl2-7.1/books/models/jvm/m1/tmi-reductions.lisp text/x-lisp root:root 0o644 54.7 KB
/usr/share/acl2-7.1/books/models/jvm/m1/wormhole-abstraction.lisp text/x-lisp root:root 0o644 14.7 KB
/usr/share/acl2-7.1/books/models/jvm/m5/ root:root 0o755
/usr/share/acl2-7.1/books/models/jvm/m5/apprentice-state.acl2 text/plain root:root 0o644 58 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/apprentice-state.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-7.1/books/models/jvm/m5/apprentice.acl2 text/plain root:root 0o644 335 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/apprentice.lisp text/x-c++ root:root 0o644 95.2 KB
/usr/share/acl2-7.1/books/models/jvm/m5/demo.acl2 text/plain root:root 0o644 53 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/demo.lisp text/x-c++ root:root 0o644 19.1 KB
/usr/share/acl2-7.1/books/models/jvm/m5/idemo.acl2 text/plain root:root 0o644 54 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/idemo.lisp text/x-c++ root:root 0o644 9.1 KB
/usr/share/acl2-7.1/books/models/jvm/m5/infinite-fair-schedule.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-7.1/books/models/jvm/m5/isort.acl2 text/plain root:root 0o644 54 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/isort.lisp text/x-c++ root:root 0o644 38.7 KB
/usr/share/acl2-7.1/books/models/jvm/m5/jvm-fact-setup.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/jvm-fact-setup.lisp text/x-c++ root:root 0o644 16.2 KB
/usr/share/acl2-7.1/books/models/jvm/m5/m5.acl2 text/plain root:root 0o644 4.2 KB
/usr/share/acl2-7.1/books/models/jvm/m5/m5.lisp text/plain root:root 0o644 112.1 KB
/usr/share/acl2-7.1/books/models/jvm/m5/partial.acl2 text/plain root:root 0o644 56 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/partial.lisp text/plain root:root 0o644 30.0 KB
/usr/share/acl2-7.1/books/models/jvm/m5/perm.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/models/jvm/m5/universal-never-returns.acl2 text/plain root:root 0o644 72 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/universal-never-returns.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-7.1/books/models/jvm/m5/universal.acl2 text/plain root:root 0o644 58 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/universal.lisp text/x-lisp root:root 0o644 9.8 KB
/usr/share/acl2-7.1/books/models/jvm/m5/utilities.acl2 text/plain root:root 0o644 51 bytes
/usr/share/acl2-7.1/books/models/jvm/m5/utilities.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-7.1/books/models/y86/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-basic/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/constants.lisp text/x-lisp root:root 0o644 14.8 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/misc-events.lisp text/x-lisp root:root 0o644 9.2 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/operations.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/read-over-write-proofs.lisp text/plain root:root 0o644 45.7 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/read-over-write.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/common/x86-state.lisp text/x-lisp root:root 0o644 38.3 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/fib.acl2 text/plain root:root 0o644 81 bytes
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/fib.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/popcount.lisp text/x-lisp root:root 0o644 19.5 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/py86-mem-init.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/py86-state.lisp text/x-lisp root:root 0o644 28.2 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/py86/py86.lisp text/x-lisp root:root 0o644 29.3 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/y86/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-basic/y86/y86-asm.lisp text/x-lisp root:root 0o644 49.0 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/y86/y86-mem-init.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-7.1/books/models/y86/y86-basic/y86/y86.lisp text/x-lisp root:root 0o644 25.3 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/arithmetic-5++.lisp text/x-lisp root:root 0o644 25.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/constants.lisp text/x-lisp root:root 0o644 16.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/misc-events.lisp text/x-lisp root:root 0o644 10.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/operations.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-memory-high.lisp text/x-lisp root:root 0o644 17.9 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-memory-low.lisp text/plain root:root 0o644 61.4 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-memory.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-state-concrete.lisp text/plain root:root 0o644 33.8 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-state-defabsstobj.lisp text/x-lisp root:root 0o644 50.3 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/common/x86-state.lisp text/x-lisp root:root 0o644 39.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/examples/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/examples/popcount-demo.lisp text/plain root:root 0o644 7.7 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/examples/popcount.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/y86/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/y86/y86-asm.lisp text/x-lisp root:root 0o644 49.0 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/y86/y86-mem-init.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level-abs/y86/y86.lisp text/x-lisp root:root 0o644 24.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/arithmetic-5++.lisp text/x-lisp root:root 0o644 25.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/constants.lisp text/x-lisp root:root 0o644 16.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/misc-events.lisp text/x-lisp root:root 0o644 10.6 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/operations.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/x86-memory-low.lisp text/plain root:root 0o644 68.5 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/common/x86-state.lisp text/x-lisp root:root 0o644 79.8 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/y86/ root:root 0o755
/usr/share/acl2-7.1/books/models/y86/y86-two-level/y86/y86-asm.lisp text/x-lisp root:root 0o644 49.0 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/y86/y86-mem-init.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-7.1/books/models/y86/y86-two-level/y86/y86.lisp text/x-lisp root:root 0o644 28.7 KB

APT Browse - Built by Thomas Orozco.