package info (click to toggle)
acl2 6.5-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 108,856 kB
  • ctags: 110,136
  • sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17

Folder: lib3.delta2

d .. (parent)
- - rw-r--r-- 234 Makefile
- - rw-r--r-- 25,903 add.lisp
- - rw-r--r-- 11,468 basic.lisp
- - rw-r--r-- 51,515 bits-old.lisp
- - rw-r--r-- 49,770 bits.lisp
- - rw-r--r-- 20,818 bvecp-raw-helpers.lisp
- - rw-r--r-- 14,125 float.lisp
- - rw-r--r-- 18,747 log.lisp
- - rw-r--r-- 22,426 logn.lisp
- - rw-r--r-- 2,455 logn2log.lisp
- - rw-r--r-- 12,005 masc.lisp
- - rw-r--r-- 10,817 mult.lisp
- - rw-r--r-- 15,844 reps.lisp
- - rw-r--r-- 1,907 rom-helpers.lisp
- - rw-r--r-- 41,441 round.lisp
- - rw-r--r-- 10,781 simple-loop-helpers.lisp
- - rw-r--r-- 3,631 simplify-model-helpers.lisp
- - rw-r--r-- 1,502 top.lisp