package info (click to toggle)
acl2 8.6%2Bdfsg-3
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 1,138,276 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,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17

Folder: acl2s

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 79 aspf
d d rwxr-xr-x 4,096 ccg
d d rwxr-xr-x 4,096 cgen
d d rwxr-xr-x 4,096 defdata
d d rwxr-xr-x 4,096 demos
d d rwxr-xr-x 32 distribution
d d rwxr-xr-x 4,096 doc-assets
d d rwxr-xr-x 143 interface
d d rwxr-xr-x 89 sorting
- - rw-r--r-- 14 .gitignore
- - rw-r--r-- 1,858 LICENSE
- - rw-r--r-- 2,964 acl2s-mode.lsp
- - rw-r--r-- 4,229 acl2s-sigs.lisp
- - rw-r--r-- 24,039 acl2s-size.lisp
- - rw-r--r-- 25,582 base-arithmetic.lisp
- - rw-r--r-- 14,431 base-lists.lisp
- - rw-r--r-- 560 base-properties.lisp
- - rw-r--r-- 1,650 base-theory.lisp
- - rw-r--r-- 693 cert.acl2
- - rw-r--r-- 1,149 cgen-testing.lisp
- - rw-r--r-- 4,813 check-equal.lisp
- - rw-r--r-- 5,316 cons-size.lisp
- - rw-r--r-- 10,151 custom.lisp
- - rw-r--r-- 8,731 defdata-testing.lisp
- - rw-r--r-- 10,472 definec.lisp
- - rw-r--r-- 3,633 defintrange.lisp
- - rw-r--r-- 1,069 defunc-testing.lisp
- - rw-r--r-- 91,357 defunc.lisp
- - rw-r--r-- 430 doc.lisp
- - rw-r--r-- 64,388 extra-doc.lisp
- - rw-r--r-- 21,909 guard-obligation-testing.lisp
- - rw-r--r-- 29,146 installation.lisp
- - rw-r--r-- 4,573 match-testing.lisp
- - rw-r--r-- 22,065 match.lisp
- - rw-r--r-- 2,210 mode-acl2s-dependencies-lite.lisp
- - rw-r--r-- 557 mode-acl2s-dependencies.lisp
- - rw-r--r-- 14,261 package.lsp
- - rw-r--r-- 127 portcullis.acl2
- - rw-r--r-- 204 portcullis.lisp
- - rw-r--r-- 3,832 properties-testing.lisp
- - rw-r--r-- 36,447 properties.lisp
- - rw-r--r-- 96 top-doc.acl2
- - rw-r--r-- 260 top-doc.lisp
- - rw-r--r-- 4,386 top.lisp
- - rw-r--r-- 32,485 utilities.lisp