acl2-books-source 7.2dfsg-3 / usr / share / acl2-7.2dfsg / books / projects / x86isa

This file is indexed.

/usr/share/acl2-7.2dfsg/books/projects/x86isa/ is in acl2-books-source 7.2dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.2dfsg/books/projects/x86isa/cert.acl2 text/plain root:root 0o644 344 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/cert.acl2 text/plain root:root 0o644 388 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/add.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/and.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/arith-and-logic.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/cert.acl2 text/plain root:root 0o644 394 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/division.lisp text/plain root:root 0o644 10.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/cert.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-add-mul-base.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-arith-base.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-base.lisp text/plain root:root 0o644 12.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-cmp-base.lisp text/plain root:root 0o644 9.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-cvt-base.lisp text/plain root:root 0o644 20.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/fp-sqrt-base.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-floating-point-instructions.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-arithmetic-instructions.lisp text/plain root:root 0o644 26.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-bitscan-instructions.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-convert-instructions.lisp text/plain root:root 0o644 21.4 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-logical-instructions.lisp text/plain root:root 0o644 22.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-mov-instructions.lisp text/plain root:root 0o644 30.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-mxcsr-instructions.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-shuffle-and-unpack-instructions.lisp text/plain root:root 0o644 19.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/fp/x86-fp-simd-integer-instructions.lisp text/plain root:root 0o644 10.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/guard-helpers.lisp text/plain root:root 0o644 6.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/multiplication.lisp text/plain root:root 0o644 7.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/or.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/rotates.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/shifts.lisp text/plain root:root 0o644 30.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/sub.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-arith-and-logic-instructions.lisp text/plain root:root 0o644 36.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-bit-instructions.lisp text/plain root:root 0o644 10.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-conditional-instructions.lisp text/plain root:root 0o644 31.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-divide-instructions.lisp text/plain root:root 0o644 10.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp text/plain root:root 0o644 12.4 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-instructions.lisp text/plain root:root 0o644 12.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-jump-and-loop-instructions.lisp text/plain root:root 0o644 31.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-move-instructions.lisp text/plain root:root 0o644 30.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-multiply-instructions.lisp text/plain root:root 0o644 15.4 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-push-and-pop-instructions.lisp text/plain root:root 0o644 32.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-rotate-and-shift-instructions.lisp text/plain root:root 0o644 12.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-segmentation-instructions.lisp text/plain root:root 0o644 14.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-signextend-instructions.lisp text/plain root:root 0o644 3.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-string-instructions.lisp text/plain root:root 0o644 23.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-subroutine-instructions.lisp text/plain root:root 0o644 13.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/x86-syscall-instructions.lisp text/plain root:root 0o644 20.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/instructions/xor.lisp text/plain root:root 0o644 3.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-abstract-state.lisp text/x-lisp root:root 0o644 178.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-concrete-memory.lisp text/plain root:root 0o644 93.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-concrete-state.lisp text/plain root:root 0o644 45.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-decoding-and-spec-utils.lisp text/plain root:root 0o644 36.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-environment.lisp text/plain root:root 0o644 28.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-ia32e-paging.lisp text/plain root:root 0o644 102.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-ia32e-segmentation.lisp text/plain root:root 0o644 19.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-other-non-det.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-physical-memory.lisp text/plain root:root 0o644 10.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-programmer-level-memory.lisp text/plain root:root 0o644 26.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-register-readers-and-writers.lisp text/plain root:root 0o644 43.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-rflags-spec.lisp text/plain root:root 0o644 25.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-state-field-thms.lisp text/plain root:root 0o644 15.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-syscall-numbers.lisp text/plain root:root 0o644 7.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-syscalls.lisp text/plain root:root 0o644 62.7 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86-top-level-memory.lisp text/plain root:root 0o644 106.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/machine/x86.lisp text/x-lisp root:root 0o644 110.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/portcullis/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/portcullis/cert.acl2 text/plain root:root 0o644 242 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/portcullis/portcullis.acl2 text/plain root:root 0o644 184 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/portcullis/portcullis.lisp text/plain root:root 0o644 289 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/portcullis/sharp-dot-constants.lisp text/x-lisp root:root 0o644 21.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/cert.acl2 text/plain root:root 0o644 347 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/dataCopy/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/dataCopy/cert.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/dataCopy/dataCopy.lisp text/plain root:root 0o644 135.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/factorial/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/factorial/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/factorial/fact-inductive-assertions.lisp text/x-lisp root:root 0o644 22.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/factorial/fact-wormhole-abstraction.lisp text/plain root:root 0o644 25.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/popcount/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/popcount/cert.acl2 text/plain root:root 0o644 401 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/popcount/popcount.lisp text/plain root:root 0o644 16.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/top.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/basics.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/cert.acl2 text/plain root:root 0o644 438 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/disjoint.lisp text/plain root:root 0o644 13.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/general-memory-utils.lisp text/plain root:root 0o644 34.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/cert.acl2 text/plain root:root 0o644 446 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/environment-utils.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/programmer-level-mode/programmer-level-memory-utils.lisp text/plain root:root 0o644 29.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/cert.acl2 text/plain root:root 0o644 446 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/cert.acl2 text/plain root:root 0o644 455 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/gather-paging-structures-thms.lisp text/plain root:root 0o644 53.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/gather-paging-structures.lisp text/plain root:root 0o644 130.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/gl-lemmas.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-basics.lisp text/plain root:root 0o644 25.5 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-page-dir-ptr-table-lemmas.lisp text/plain root:root 0o644 8.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-page-directory-lemmas.lisp text/plain root:root 0o644 18.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-page-table-lemmas.lisp text/plain root:root 0o644 14.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-pml4-table-lemmas.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/paging-top.lisp text/plain root:root 0o644 37.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/paging-lib/x86-ia32e-paging-alt.lisp text/plain root:root 0o644 66.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/physical-memory-utils.lisp text/plain root:root 0o644 13.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/system-level-mode/system-level-memory-utils.lisp text/plain root:root 0o644 81.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/utilities/x86-row-wow-thms.lisp text/plain root:root 0o644 30.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/word-count/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/word-count/cert.acl2 text/plain root:root 0o644 400 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/word-count/wc-addr-byte.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/word-count/wc.acl2 text/plain root:root 0o644 432 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/proofs/word-count/wc.lisp text/x-lisp root:root 0o644 316.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/cert.acl2 text/plain root:root 0o644 362 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/cert.acl2 text/plain root:root 0o644 364 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/dataCopy/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/dataCopy/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/micro-sat/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/micro-sat/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/wc/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/examples/wc/cert.acl2 text/plain root:root 0o644 367 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/cert.acl2 text/plain root:root 0o644 353 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/cert.acl2 text/plain root:root 0o644 356 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-constants.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-reader.acl2 text/plain root:root 0o644 449 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-reader.lisp text/x-lisp root:root 0o644 22.0 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/elf/elf-stobj.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/cert.acl2 text/plain root:root 0o644 356 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-constants.lisp text/plain root:root 0o644 23.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-reader.acl2 text/plain root:root 0o644 452 bytes
/usr/share/acl2-7.2dfsg/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-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/mach-o/mach-o-stobj.lisp text/plain root:root 0o644 17.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/exec-loaders/sdlf-utils.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/instrument/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/instrument/cert.acl2 text/plain root:root 0o644 364 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/instrument/x86-instrument.lisp text/plain root:root 0o644 27.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/top.lisp text/x-c root:root 0o644 18.9 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/x86-init-page-tables.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/tools/execution/x86-init-state.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/top.acl2 text/plain root:root 0o644 423 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/top.lisp text/plain root:root 0o644 18.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/cert.acl2 text/plain root:root 0o644 266 bytes
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/constants.lisp text/x-lisp root:root 0o644 34.8 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/decoding-utilities.lisp text/plain root:root 0o644 59.6 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/records-0.lisp text/x-lisp root:root 0o644 10.2 KB
/usr/share/acl2-7.2dfsg/books/projects/x86isa/utils/utilities.lisp text/html root:root 0o644 27.9 KB

APT Browse - Built by Thomas Orozco.