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

d .. (parent)
d d rwxr-xr-x 4,096 fp
- - rw-r--r-- 1,923 acl2-customization.lsp
- - rw-r--r-- 20,197 add-spec.lisp
- - rw-r--r-- 5,981 and-spec.lisp
- - rw-r--r-- 5,516 arith-and-logic-spec.lisp
- - rw-r--r-- 40,431 arith-and-logic.lisp
- - rw-r--r-- 39,220 bit.lisp
- - rw-r--r-- 3,685 cache.lisp
- - rw-r--r-- 2,494 cert.acl2
- - rw-r--r-- 25,202 conditional.lisp
- - rw-r--r-- 5,086 cpuid.lisp
- - rw-r--r-- 12,945 divide-spec.lisp
- - rw-r--r-- 11,553 divide.lisp
- - rw-r--r-- 4,969 endbranch.lisp
- - rw-r--r-- 17,102 exchange.lisp
- - rw-r--r-- 6,258 flags.lisp
- - rw-r--r-- 3,502 halt.lisp
- - rw-r--r-- 7,103 interrupts.lisp
- - rw-r--r-- 43,856 jump-and-loop.lisp
- - rw-r--r-- 51,608 move.lisp
- - rw-r--r-- 3,526 msrs.lisp
- - rw-r--r-- 10,430 multiply-spec.lisp
- - rw-r--r-- 15,661 multiply.lisp
- - rw-r--r-- 5,780 or-spec.lisp
- - rw-r--r-- 11,986 padd.lisp
- - rw-r--r-- 10,626 pcmp.lisp
- - rw-r--r-- 5,168 pio.lisp
- - rw-r--r-- 11,590 pshuf.lisp
- - rw-r--r-- 12,014 psub.lisp
- - rw-r--r-- 9,875 punpck.lisp
- - rw-r--r-- 43,748 push-and-pop.lisp
- - rw-r--r-- 4,649 rand.lisp
- - rw-r--r-- 22,830 rotate-and-shift.lisp
- - rw-r--r-- 31,896 rotates-spec.lisp
- - rw-r--r-- 27,677 segmentation.lisp
- - rw-r--r-- 70,088 shifts-spec.lisp
- - rw-r--r-- 4,817 signextend.lisp
- - rw-r--r-- 31,344 string.lisp
- - rw-r--r-- 11,591 sub-spec.lisp
- - rw-r--r-- 25,192 subroutine.lisp
- - rw-r--r-- 21,809 syscall.lisp
- - rw-r--r-- 2,710 time.lisp
- - rw-r--r-- 10,007 top.lisp
- - rw-r--r-- 20,673 x87.lisp
- - rw-r--r-- 5,810 xor-spec.lisp