acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / projects / x86isa

This file is indexed.

/usr/share/acl2-8.0dfsg/books/projects/x86isa/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/projects/x86isa/cert.acl2 text/plain root:root 0o644 344 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/doc.acl2 text/plain root:root 0o644 423 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/doc.lisp text/plain root:root 0o644 23.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/cert.acl2 text/plain root:root 0o644 388 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/guard-helpers.lisp text/plain root:root 0o644 14.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/add.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/and.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/arith-and-logic.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/cert.acl2 text/plain root:root 0o644 394 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/division.lisp text/plain root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/cert.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-add-mul-base.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-arith-base.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-base.lisp text/plain root:root 0o644 12.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-cmp-base.lisp text/plain root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-cvt-base.lisp text/plain root:root 0o644 20.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/fp-sqrt-base.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-floating-point-instructions.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-arithmetic-instructions.lisp text/plain root:root 0o644 30.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-bitscan-instructions.lisp text/plain root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-convert-instructions.lisp text/plain root:root 0o644 21.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-logical-instructions.lisp text/plain root:root 0o644 27.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-mov-instructions.lisp text/plain root:root 0o644 30.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-mxcsr-instructions.lisp text/plain root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-shuffle-and-unpack-instructions.lisp text/plain root:root 0o644 20.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-simd-integer-instructions.lisp text/plain root:root 0o644 12.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/multiplication.lisp text/plain root:root 0o644 7.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/or.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/rotates.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/shifts.lisp text/plain root:root 0o644 30.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/sub.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-arith-and-logic-instructions.lisp text/plain root:root 0o644 44.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-bit-instructions.lisp text/plain root:root 0o644 10.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-conditional-instructions.lisp text/plain root:root 0o644 32.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-divide-instructions.lisp text/plain root:root 0o644 11.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp text/plain root:root 0o644 14.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-instructions.lisp text/plain root:root 0o644 12.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-jump-and-loop-instructions.lisp text/plain root:root 0o644 32.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-move-instructions.lisp text/plain root:root 0o644 39.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-multiply-instructions.lisp text/plain root:root 0o644 15.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-push-and-pop-instructions.lisp text/plain root:root 0o644 38.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-rotate-and-shift-instructions.lisp text/plain root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-segmentation-instructions.lisp text/plain root:root 0o644 15.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-signextend-instructions.lisp text/plain root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-string-instructions.lisp text/plain root:root 0o644 24.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-subroutine-instructions.lisp text/plain root:root 0o644 15.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/x86-syscall-instructions.lisp text/plain root:root 0o644 23.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/instructions/xor.lisp text/plain root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-abstract-state.lisp text/x-lisp root:root 0o644 182.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-concrete-memory.lisp text/plain root:root 0o644 93.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-concrete-state.lisp text/plain root:root 0o644 45.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-decoding-and-spec-utils.lisp text/plain root:root 0o644 42.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-environment.lisp text/plain root:root 0o644 29.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-linear-memory.lisp text/x-lisp root:root 0o644 188.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-modes.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-other-non-det.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-paging.acl2 text/plain root:root 0o644 557 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-paging.lisp text/plain root:root 0o644 130.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-physical-memory.lisp text/plain root:root 0o644 10.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-programmer-level-memory.lisp text/plain root:root 0o644 38.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-register-readers-and-writers.lisp text/plain root:root 0o644 45.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-rflags-spec.lisp text/plain root:root 0o644 24.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-segmentation.lisp text/plain root:root 0o644 26.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-state-field-thms.lisp text/plain root:root 0o644 15.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-syscall-numbers.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-syscalls.lisp text/plain root:root 0o644 63.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86-top-level-memory.lisp text/plain root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/machine/x86.lisp text/plain root:root 0o644 172.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/portcullis/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/portcullis/cert.acl2 text/plain root:root 0o644 242 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/portcullis/portcullis.acl2 text/plain root:root 0o644 184 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/portcullis/portcullis.lisp text/plain root:root 0o644 289 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/portcullis/sharp-dot-constants.lisp text/x-lisp root:root 0o644 23.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/cert.acl2 text/plain root:root 0o644 347 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/codewalker-examples/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/codewalker-examples/base.lisp text/plain root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/codewalker-examples/cert.acl2 text/plain root:root 0o644 371 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/codewalker-examples/factorial.lisp text/plain root:root 0o644 15.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/codewalker-examples/popcount-32.lisp text/plain root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/cert.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/dataCopy-init.lisp text/plain root:root 0o644 14.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/dataCopy-loop-base.lisp text/plain root:root 0o644 17.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/dataCopy-loop-recur.lisp text/plain root:root 0o644 19.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dataCopy/dataCopy.lisp text/plain root:root 0o644 68.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dissertation-examples/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dissertation-examples/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dissertation-examples/clc-stc-programmer-mode.lisp text/plain root:root 0o644 3.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dissertation-examples/clc-stc-system-level-marking-mode.lisp text/plain root:root 0o644 3.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/dissertation-examples/clc-stc-system-level-non-marking-mode.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/factorial/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/factorial/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/factorial/fact-inductive-assertions.lisp text/x-lisp root:root 0o644 22.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/factorial/fact-wormhole-abstraction.lisp text/plain root:root 0o644 26.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/popcount/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/popcount/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/popcount/popcount-general.lisp text/plain root:root 0o644 30.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/popcount/popcount.lisp text/plain root:root 0o644 16.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/powOfTwo/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/powOfTwo/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/powOfTwo/powOfTwo.lisp text/x-lisp root:root 0o644 10.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/top.lisp text/plain root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/basics.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/cert.acl2 text/plain root:root 0o644 438 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/disjoint.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/general-memory-utils.lisp text/plain root:root 0o644 30.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/cert.acl2 text/plain root:root 0o644 446 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/environment-utils.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/programmer-level-memory-utils.lisp text/plain root:root 0o644 28.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/top.lisp text/plain root:root 0o644 4.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/bind-free-utils.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/cert.acl2 text/plain root:root 0o644 446 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/common-system-level-utils.lisp text/plain root:root 0o644 37.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/gl-lemmas.lisp text/plain root:root 0o644 8.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/marking-mode-top.lisp text/plain root:root 0o644 122.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/marking-mode-utils.lisp text/plain root:root 0o644 110.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/non-marking-mode-top.lisp text/plain root:root 0o644 43.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/cert.acl2 text/plain root:root 0o644 455 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/common-paging-lemmas.lisp text/plain root:root 0o644 34.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/gather-paging-structures-thms.lisp text/plain root:root 0o644 27.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/gather-paging-structures.lisp text/plain root:root 0o644 98.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/la-to-pa-lemmas.lisp text/plain root:root 0o644 20.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/page-dir-ptr-table-lemmas.lisp text/plain root:root 0o644 41.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/page-directory-lemmas.lisp text/plain root:root 0o644 31.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/page-table-lemmas.lisp text/plain root:root 0o644 27.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/page-walk-side-effects.lisp text/plain root:root 0o644 58.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/paging-basics.acl2 text/plain root:root 0o644 562 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/paging-basics.lisp text/plain root:root 0o644 9.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/pml4-table-lemmas.lisp text/plain root:root 0o644 51.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/top.acl2 text/plain root:root 0o644 589 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging/top.lisp text/plain root:root 0o644 68.0 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/physical-memory-utils.lisp text/plain root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/top.lisp text/plain root:root 0o644 289 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/utilities/x86-row-wow-thms.lisp text/plain root:root 0o644 25.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/wordCount/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/wordCount/cert.acl2 text/plain root:root 0o644 431 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/wordCount/wc-addr-byte.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/wordCount/wc-addr-byte.lisp text/plain root:root 0o644 8.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/wordCount/wc.lisp text/x-lisp root:root 0o644 305.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/cert.acl2 text/plain root:root 0o644 406 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/read-page-after-write-to-page-table.lisp text/plain root:root 0o644 104.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/zeroCopy-init.lisp text/x-lisp root:root 0o644 50.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/zeroCopy-part-1.lisp text/plain root:root 0o644 148.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/zeroCopy-part-2.lisp text/plain root:root 0o644 65.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/marking-mode/zeroCopy.lisp text/plain root:root 0o644 197.7 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/non-marking-mode/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/non-marking-mode/cert.acl2 text/plain root:root 0o644 406 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/proofs/zeroCopy/non-marking-mode/zeroCopy.lisp text/x-lisp root:root 0o644 139.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/cert.acl2 text/plain root:root 0o644 406 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/cert.acl2 text/plain root:root 0o644 364 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/dataCopy/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/dataCopy/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/documenting-edge-cases/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/documenting-edge-cases/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/micro-sat/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/micro-sat/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/nop-sequence/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/nop-sequence/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/wc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/wc/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/zeroCopy/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/zeroCopy/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/zeroCopy/modifyPagingEntry-addr-byte.lisp text/plain root:root 0o644 34.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/zeroCopy/pageWalk1G-addr-byte.lisp text/plain root:root 0o644 24.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/examples/zeroCopy/readValues-addr-byte.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/cert.acl2 text/plain root:root 0o644 353 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/cert.acl2 text/plain root:root 0o644 356 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-constants.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-reader.acl2 text/plain root:root 0o644 449 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-reader.lisp text/x-lisp root:root 0o644 23.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-stobj.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/cert.acl2 text/plain root:root 0o644 356 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-constants.lisp text/plain root:root 0o644 23.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-reader.acl2 text/plain root:root 0o644 452 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-reader.lisp text/x-lisp root:root 0o644 59.5 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-stobj.lisp text/plain root:root 0o644 17.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/exec-loaders/sdlf-utils.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/instrument/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/instrument/cert.acl2 text/plain root:root 0o644 364 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/instrument/x86-instrument.lisp text/plain root:root 0o644 27.9 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/top.lisp text/x-c root:root 0o644 19.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/x86-init-page-tables.lisp text/plain root:root 0o644 21.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/tools/execution/x86-init-state.lisp text/plain root:root 0o644 13.6 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/top.acl2 text/plain root:root 0o644 423 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/top.lisp text/plain root:root 0o644 328 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/cert.acl2 text/plain root:root 0o644 266 bytes
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/constants.lisp text/x-lisp root:root 0o644 37.2 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/decoding-utilities.lisp text/plain root:root 0o644 64.1 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/records-0.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/projects/x86isa/utils/utilities.lisp text/html root:root 0o644 30.4 KB

APT Browse - Built by Thomas Orozco.