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

d .. (parent)
d d rwxr-xr-x 8,192 .sys
- - rw-r--r-- 263 README
- - rw-r--r-- 12,465 add3-proofs.lisp
- - rw-r--r-- 1,088 add3.lisp
- - rw-r--r-- 474 all-ones.lisp
- - rw-r--r-- 1,514 ash.lisp
- - rw-r--r-- 47,532 away-proofs.lisp
- - rw-r--r-- 11,923 away.lisp
- - rw-r--r-- 1,556 badguys.lisp
- - rw-r--r-- 2,144 bias-proofs.lisp
- - rw-r--r-- 1,344 bias.lisp
- - rw-r--r-- 32,441 bitn-proofs.lisp
- - rw-r--r-- 18,395 bitn.lisp
- - rw-r--r-- 22,069 bits-extra.lisp
- - rw-r--r-- 53,802 bits-proofs.lisp
- - rw-r--r-- 3,400 bits-trunc-proofs.lisp
- - rw-r--r-- 1,073 bits-trunc.lisp
- - rw-r--r-- 25,227 bits.lisp
- - rw-r--r-- 6,990 bvecp-helpers.lisp
- - rw-r--r-- 4,892 bvecp-lemmas.lisp
- - rw-r--r-- 7,132 bvecp-proofs.lisp
- - rw-r--r-- 4,823 bvecp.lisp
- - rw-r--r-- 2,795 cat-def.lisp
- - rw-r--r-- 41,435 cat-proofs.lisp
- - rw-r--r-- 26,023 cat.lisp
- - rw-r--r-- 5,284 clocks.lisp
- - rw-r--r-- 1,139 decode-proofs.lisp
- - rw-r--r-- 901 decode.lisp
- - rw-r--r-- 81,331 drnd.lisp
- - rw-r--r-- 3,970 encode.lisp
- - rw-r--r-- 21,011 ereps-proofs.lisp
- - rw-r--r-- 6,186 ereps.lisp
- - rw-r--r-- 37,802 fadd.lisp
- - rw-r--r-- 692 fast-and.lisp
- - rw-r--r-- 52,302 float.lisp
- - rw-r--r-- 164 ground-zero.lisp
- - rw-r--r-- 2,229 guards.lisp
- - rw-r--r-- 31,410 ireps.lisp
- - rw-r--r-- 18,065 land-proofs.lisp
- - rw-r--r-- 10,776 land.lisp
- - rw-r--r-- 6,824 lextra-proofs.lisp
- - rw-r--r-- 1,248 lextra.lisp
- - rw-r--r-- 13,177 lior-proofs.lisp
- - rw-r--r-- 10,214 lior.lisp
- - rw-r--r-- 18,356 lnot-proofs.lisp
- - rw-r--r-- 6,071 lnot.lisp
- - rw-r--r-- 300 log-equal.lisp
- - rw-r--r-- 50,524 log-proofs.lisp
- - rw-r--r-- 7,627 log.lisp
- - rw-r--r-- 19,623 logand-proofs.lisp
- - rw-r--r-- 9,997 logand.lisp
- - rw-r--r-- 3,580 logeqv.lisp
- - rw-r--r-- 23,682 logior-proofs.lisp
- - rw-r--r-- 7,788 logior.lisp
- - rw-r--r-- 496 logior1-proofs.lisp
- - rw-r--r-- 507 logior1.lisp
- - rw-r--r-- 3,617 lognot.lisp
- - rw-r--r-- 1,930 logorc1.lisp
- - rw-r--r-- 7,150 logs.lisp
- - rw-r--r-- 6,881 logxor.lisp
- - rw-r--r-- 26,302 lop1-proofs.lisp
- - rw-r--r-- 1,140 lop1.lisp
- - rw-r--r-- 17,356 lop2-proofs.lisp
- - rw-r--r-- 580 lop2.lisp
- - rw-r--r-- 67,851 lop3-proofs.lisp
- - rw-r--r-- 6,744 lop3.lisp
- - rw-r--r-- 10,677 lxor-proofs.lisp
- - rw-r--r-- 8,158 lxor.lisp
- - rw-r--r-- 70,401 merge.lisp
- - rw-r--r-- 3,307 merge2.lisp
- - rw-r--r-- 3,832 mod4.lisp
- - rw-r--r-- 398 model-helpers.lisp
- - rw-r--r-- 5,131 mulcat-proofs.lisp
- - rw-r--r-- 3,994 mulcat.lisp
- - rw-r--r-- 42,240 near%2B-proofs.lisp
- - rw-r--r-- 8,504 near%2B.lisp
- - rw-r--r-- 64,374 near-proofs.lisp
- - rw-r--r-- 10,959 near.lisp
- - rw-r--r-- 11,561 ocat.lisp
- - rw-r--r-- 18,217 oddr-proofs.lisp
- - rw-r--r-- 4,886 oddr.lisp
- - rw-r--r-- 1,600 openers.lisp
- - rw-r--r-- 2,492 package-defs.lisp
- - rw-r--r-- 833 rewrite-theory.lisp
- - rw-r--r-- 35,025 rnd.lisp
- - rw-r--r-- 887 rom-helpers.lisp
- - rw-r--r-- 16,070 rtl.lisp
- - rw-r--r-- 12,843 rtlarr.lisp
- - rw-r--r-- 6,669 setbitn-proofs.lisp
- - rw-r--r-- 4,148 setbitn.lisp
- - rw-r--r-- 13,438 setbits-proofs.lisp
- - rw-r--r-- 11,088 setbits.lisp
- - rw-r--r-- 261 sgn.lisp
- - rw-r--r-- 1,187 shft.lisp
- - rw-r--r-- 10,061 simple-loop-helpers.lisp
- - rw-r--r-- 2,205 simplify-model-helpers.lisp
- - rw-r--r-- 43,379 stick-proofs.lisp
- - rw-r--r-- 1,622 stick.lisp
- - rw-r--r-- 29,537 sticky-proofs.lisp
- - rw-r--r-- 6,610 sticky.lisp
- - rw-r--r-- 1,809 sumbits.lisp
- - rw-r--r-- 97 top.lisp
- - rw-r--r-- 32,729 top1.lisp
- - rw-r--r-- 38,337 trunc-proofs.lisp
- - rw-r--r-- 12,898 trunc.lisp
- - rw-r--r-- 3,929 util.lisp