package info
(click to toggle)
acl2 8.6%2Bdfsg-2
- links: PTS
- area: main
- in suites: trixie
- size: 1,111,420 kB
- sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
Folder: machine
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
|
d | rwxr-xr-x | 4,096 | instructions |
|
d | rwxr-xr-x | 4,096 | shared |
 |
- | rw-r--r-- | 1,923 | acl2-customization.lsp |
|
- | rw-r--r-- | 51,838 | application-level-memory.lisp |
|
- | rw-r--r-- | 14,082 | catalogue-base.lisp |
|
- | rw-r--r-- | 48,032 | catalogue-data.lisp |
|
- | rw-r--r-- | 8,173 | catalogue-doc.lisp |
|
- | rw-r--r-- | 2,368 | cert.acl2 |
|
- | rw-r--r-- | 3,662 | cpuid-constants.lisp |
|
- | rw-r--r-- | 21,202 | cpuid.lisp |
|
- | rw-r--r-- | 96,718 | decoding-and-spec-utils.lisp |
|
- | rw-r--r-- | 21,526 | dispatch-creator.lisp |
|
- | rw-r--r-- | 13,155 | dispatch-macros.lisp |
|
- | rw-r--r-- | 30,574 | environment-and-syscalls-raw.lsp |
|
- | rw-r--r-- | 30,917 | environment.lisp |
|
- | rw-r--r-- | 14,639 | evex-opcodes-dispatch.lisp |
|
- | rw-r--r-- | 38,098 | get-prefixes.lisp |
|
- | rw-r--r-- | 19,563 | guard-helpers.lisp |
|
- | rw-r--r-- | 23,220 | inst-doc.lisp |
|
- | rw-r--r-- | 729,631 | inst-listing.lisp |
|
- | rw-r--r-- | 38,327 | inst-structs.lisp |
|
- | rw-r--r-- | 12,304 | interrupt-servicing.lisp |
|
- | rw-r--r-- | 320,729 | linear-memory.lisp |
|
- | rw-r--r-- | 7,672 | modes.lisp |
|
- | rw-r--r-- | 8,203 | new-decode.lisp |
|
- | rw-r--r-- | 6,237 | other-non-det-raw.lsp |
|
- | rw-r--r-- | 4,503 | other-non-det.lisp |
|
- | rw-r--r-- | 2,300 | paging.acl2 |
|
- | rw-r--r-- | 198,356 | paging.lisp |
|
- | rw-r--r-- | 281 | physical-memory.acl2 |
|
- | rw-r--r-- | 25,360 | physical-memory.lisp |
|
- | rw-r--r-- | 203 | prefix-modrm-sib-decoding.acl2 |
|
- | rw-r--r-- | 109,322 | prefix-modrm-sib-decoding.lisp |
|
- | rw-r--r-- | 3,652 | register-readers-and-writers-raw.lsp |
|
- | rw-r--r-- | 70,246 | register-readers-and-writers.lisp |
|
- | rw-r--r-- | 27,997 | rflags-spec.lisp |
|
- | rw-r--r-- | 12,564 | save-restore.lisp |
|
- | rw-r--r-- | 42,281 | segmentation.lisp |
|
- | rw-r--r-- | 38,164 | state.lisp |
|
- | rw-r--r-- | 9,733 | syscall-numbers.lisp |
|
- | rw-r--r-- | 68,923 | syscalls.lisp |
|
- | rw-r--r-- | 11,160 | three-byte-opcodes-dispatch.lisp |
|
- | rw-r--r-- | 15,543 | tlb.lisp |
|
- | rw-r--r-- | 94,654 | top-level-memory.lisp |
|
- | rw-r--r-- | 3,880 | tty-raw.lsp |
|
- | rw-r--r-- | 4,880 | tty.lisp |
|
- | rw-r--r-- | 10,079 | two-byte-opcodes-dispatch.lisp |
|
- | rw-r--r-- | 16,371 | vex-opcodes-dispatch.lisp |
|
- | rw-r--r-- | 37,740 | x86.lisp |
|
- | rwxr-xr-x | 7,529 | xedscan.py |