package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22

Folder: powerlists

d .. (parent)
- - rwxr-xr-x 1,278 Makefile
- - rwxr-xr-x 2,231 README
- - rwxr-xr-x 47 algebra.acl2
- - rwxr-xr-x 43,793 algebra.lisp
- - rwxr-xr-x 52 batcher-sort.acl2
- - rwxr-xr-x 35,697 batcher-sort.lisp
- - rwxr-xr-x 52 bitonic-sort.acl2
- - rwxr-xr-x 4,692 bitonic-sort.lisp
- - rwxr-xr-x 1,416 certify.lsp
- - rwxr-xr-x 49 cla-adder.acl2
- - rwxr-xr-x 12,314 cla-adder.lisp
- - rwxr-xr-x 1,323 defpkg.lisp
- - rwxr-xr-x 49 gray-code.acl2
- - rwxr-xr-x 8,344 gray-code.lisp
- - rwxr-xr-x 50 merge-sort.acl2
- - rwxr-xr-x 8,621 merge-sort.lisp
- - rwxr-xr-x 49 prefix-sum.acl2
- - rwxr-xr-x 27,852 prefix-sum.lisp
- - rwxr-xr-x 46 simple.acl2
- - rwxr-xr-x 7,343 simple.lisp
- - rwxr-xr-x 44 sort.acl2
- - rwxr-xr-x 6,840 sort.lisp