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

d .. (parent)
d d rwxr-xr-x 4,096 .sys
- - rw-r--r-- 548 Demo.class
- - rw-r--r-- 424 Demo.java
- - rw-r--r-- 54 LICENSE
- - rw-r--r-- 2,094 README
- - rw-r--r-- 948 Readme.lsp
- - rw-r--r-- 58 apprentice-state.acl2
- - rw-r--r-- 4,523 apprentice-state.lisp
- - rw-r--r-- 335 apprentice.acl2
- - rw-r--r-- 99,784 apprentice.lisp
- - rw-r--r-- 53 demo.acl2
- - rw-r--r-- 18,797 demo.lisp
- - rw-r--r-- 3,475 demo.script
- - rw-r--r-- 54 idemo.acl2
- - rw-r--r-- 8,553 idemo.lisp
- - rw-r--r-- 7,996 infinite-fair-schedule.lisp
- - rw-r--r-- 54 isort.acl2
- - rw-r--r-- 39,470 isort.lisp
- - rw-r--r-- 63 jvm-fact-setup.acl2
- - rw-r--r-- 15,909 jvm-fact-setup.lisp
- - rw-r--r-- 4,518 m5.acl2
- - rw-r--r-- 147,904 m5.lisp
- - rw-r--r-- 56 partial.acl2
- - rw-r--r-- 29,753 partial.lisp
- - rw-r--r-- 1,428 perm.lisp
- - rw-r--r-- 2,286 script.lsp
- - rw-r--r-- 72 universal-never-returns.acl2
- - rw-r--r-- 3,991 universal-never-returns.lisp
- - rw-r--r-- 58 universal.acl2
- - rw-r--r-- 9,998 universal.lisp
- - rw-r--r-- 51 utilities.acl2
- - rw-r--r-- 5,000 utilities.lisp