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: M6-DJVM-shared

d .. (parent)
d d rwxr-xr-x 4,096 .sys
- - rw-r--r-- 70 cldc-classtable.acl2
- - rw-r--r-- 2,407,821 cldc-classtable.lisp
- - rw-r--r-- 174 jvm-bytecode-guard-verification.acl2
- - rw-r--r-- 754 jvm-bytecode-guard-verification.lisp
- - rw-r--r-- 156 jvm-bytecode.acl2
- - rw-r--r-- 7,124 jvm-bytecode.lisp
- - rw-r--r-- 75 jvm-class-hierachy-aux.acl2
- - rw-r--r-- 23,303 jvm-class-hierachy-aux.lisp
- - rw-r--r-- 78 jvm-class-table-test-data.acl2
- - rw-r--r-- 137,137 jvm-class-table-test-data.lisp
- - rw-r--r-- 69 jvm-class-table.acl2
- - rw-r--r-- 65,816 jvm-class-table.lisp
- - rw-r--r-- 83 jvm-dynamic-loading-property.acl2
- - rw-r--r-- 59,428 jvm-dynamic-loading-property.lisp
- - rw-r--r-- 70 jvm-env-test-data.acl2
- - rw-r--r-- 922,068 jvm-env-test-data.lisp
- - rw-r--r-- 60 jvm-env.acl2
- - rw-r--r-- 16,176 jvm-env.lisp
- - rw-r--r-- 87 jvm-exceptions-guard-verification-1.acl2
- - rw-r--r-- 76,691 jvm-exceptions-guard-verification-1.lisp
- - rw-r--r-- 176 jvm-exceptions-guard-verification.acl2
- - rw-r--r-- 1,403 jvm-exceptions-guard-verification.lisp
- - rw-r--r-- 157 jvm-exceptions.acl2
- - rw-r--r-- 36,761 jvm-exceptions.lisp
- - rw-r--r-- 195 jvm-frame-manipulation-primitives-guard-verification.acl2
- - rw-r--r-- 1,042 jvm-frame-manipulation-primitives-guard-verification.lisp
- - rw-r--r-- 86 jvm-frame-manipulation-primitives.acl2
- - rw-r--r-- 20,061 jvm-frame-manipulation-primitives.lisp
- - rw-r--r-- 75 jvm-internal-primitives.acl2
- - rw-r--r-- 4,830 jvm-internal-primitives.lisp
- - rw-r--r-- 172 jvm-linker-guard-verification.acl2
- - rw-r--r-- 2,975 jvm-linker-guard-verification.lisp
- - rw-r--r-- 62 jvm-linker.acl2
- - rw-r--r-- 46,878 jvm-linker.lisp
- - rw-r--r-- 88 jvm-loader-constant-pool-primitives.acl2
- - rw-r--r-- 12,045 jvm-loader-constant-pool-primitives.lisp
- - rw-r--r-- 104 jvm-loader-guard-verification-support-load-cp-guard.acl2
- - rw-r--r-- 49,856 jvm-loader-guard-verification-support-load-cp-guard.lisp
- - rw-r--r-- 82 jvm-loader-guard-verification.acl2
- - rw-r--r-- 130,138 jvm-loader-guard-verification.lisp
- - rw-r--r-- 66 jvm-loader-inv.acl2
- - rw-r--r-- 4,265 jvm-loader-inv.lisp
- - rw-r--r-- 74 jvm-loader-primitives.acl2
- - rw-r--r-- 4,843 jvm-loader-primitives.lisp
- - rw-r--r-- 63 jvm-loader.acl2
- - rw-r--r-- 59,085 jvm-loader.lisp
- - rw-r--r-- 86 jvm-monitor-failure-as-fatalError.acl2
- - rw-r--r-- 4,768 jvm-monitor-failure-as-fatalError.lisp
- - rw-r--r-- 180 jvm-monitor-failure-as-java-Exception.acl2
- - rw-r--r-- 4,823 jvm-monitor-failure-as-java-Exception.lisp
- - rw-r--r-- 184 jvm-monitor-primitives-guard-verification.acl2
- - rw-r--r-- 823 jvm-monitor-primitives-guard-verification.lisp
- - rw-r--r-- 75 jvm-monitor-primitives.acl2
- - rw-r--r-- 7,063 jvm-monitor-primitives.lisp
- - rw-r--r-- 60 jvm-obj.acl2
- - rw-r--r-- 15,014 jvm-obj.lisp
- - rw-r--r-- 87 jvm-object-manipulation-primitives.acl2
- - rw-r--r-- 27,968 jvm-object-manipulation-primitives.lisp
- - rw-r--r-- 186 jvm-object-type-hierachy-guard-verification.acl2
- - rw-r--r-- 1,137 jvm-object-type-hierachy-guard-verification.lisp
- - rw-r--r-- 167 jvm-object-type-hierachy.acl2
- - rw-r--r-- 22,149 jvm-object-type-hierachy.lisp
- - rw-r--r-- 169 jvm-semantic-primitives-2.acl2
- - rw-r--r-- 5,749 jvm-semantic-primitives-2.lisp
- - rw-r--r-- 64 jvm-state.acl2
- - rw-r--r-- 24,582 jvm-state.lisp
- - rw-r--r-- 183 jvm-thread-primitives-guard-verification.acl2
- - rw-r--r-- 768 jvm-thread-primitives-guard-verification.lisp
- - rw-r--r-- 74 jvm-thread-primitives.acl2
- - rw-r--r-- 5,397 jvm-thread-primitives.lisp
- - rw-r--r-- 63 jvm-thread.acl2
- - rw-r--r-- 21,599 jvm-thread.lisp
- - rw-r--r-- 67 jvm-type-value.acl2
- - rw-r--r-- 9,874 jvm-type-value.lisp
- - rw-r--r-- 64 jvm-verifier.acl2
- - rw-r--r-- 1,655 jvm-verifier.lisp
- - rw-r--r-- 628 jvm.pkg
- - rw-r--r-- 137 jvm.pkg.lisp
- - rw-r--r-- 60 symbols.acl2
- - rw-r--r-- 21,522 symbols.lisp
- - rw-r--r-- 71 wff-data-structure.acl2
- - rw-r--r-- 2,164 wff-data-structure.lisp