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

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 12,288 INST
- - rw-r--r-- 622 Makefile
- - rw-r--r-- 163 consistent-state-bcv-on-track.acl2
- - rw-r--r-- 9,235 consistent-state-bcv-on-track.lisp
- - rw-r--r-- 177 consistent-state-obj-init-properties-export.acl2
- - rw-r--r-- 17,254 consistent-state-obj-init-properties-export.lisp
- - rw-r--r-- 170 consistent-state-obj-init-properties.acl2
- - rw-r--r-- 80,866 consistent-state-obj-init-properties.lisp
- - rw-r--r-- 159 consistent-state-obj-init.acl2
- - rw-r--r-- 7,395 consistent-state-obj-init.lisp
- - rw-r--r-- 161 consistent-state-properties.acl2
- - rw-r--r-- 64,765 consistent-state-properties.lisp
- - rw-r--r-- 162 consistent-state-properties2.acl2
- - rw-r--r-- 3,117 consistent-state-properties2.lisp
- - rw-r--r-- 157 consistent-state-strong.acl2
- - rw-r--r-- 1,734 consistent-state-strong.lisp
- - rw-r--r-- 163 consistent-state-to-sig-state.acl2
- - rw-r--r-- 9,806 consistent-state-to-sig-state.lisp
- - rw-r--r-- 185 consistent-state-to-untag-state.acl2
- - rw-r--r-- 6,763 consistent-state-to-untag-state.lisp
- - rw-r--r-- 150 consistent-state.acl2
- - rw-r--r-- 125,348 consistent-state.lisp
- - rw-r--r-- 60 djvm-class-table.acl2
- - rw-r--r-- 109 djvm-class-table.lisp
- - rw-r--r-- 52 djvm-env.acl2
- - rw-r--r-- 66 djvm-env.lisp
- - rw-r--r-- 149 djvm-exceptions.acl2
- - rw-r--r-- 473 djvm-exceptions.lisp
- - rw-r--r-- 168 djvm-frame-manipulation-primitives.acl2
- - rw-r--r-- 12,559 djvm-frame-manipulation-primitives.lisp
- - rw-r--r-- 143 djvm-heap.acl2
- - rw-r--r-- 996 djvm-heap.lisp
- - rw-r--r-- 145 djvm-linker.acl2
- - rw-r--r-- 103 djvm-linker.lisp
- - rw-r--r-- 52 djvm-obj.acl2
- - rw-r--r-- 171 djvm-obj.lisp
- - rw-r--r-- 144 djvm-state.acl2
- - rw-r--r-- 1,877 djvm-state.lisp
- - rw-r--r-- 55 djvm-thread.acl2
- - rw-r--r-- 1,066 djvm-thread.lisp
- - rw-r--r-- 59 djvm-type-value.acl2
- - rw-r--r-- 6,119 djvm-type-value.lisp
- - rw-r--r-- 873 djvm.pkg
- - rw-r--r-- 180 djvm.pkg.lisp