package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • size: 991,452 kB
  • sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: atc

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 208 README.md
- - rw-r--r-- 10,768 abstract-syntax.lisp
- - rw-r--r-- 484 acl2-customization.lsp
- - rw-r--r-- 24,084 arrays.lisp
- - rw-r--r-- 93 atc.acl2
- - rw-r--r-- 5,662 atc.lisp
- - rw-r--r-- 399 cert.acl2
- - rw-r--r-- 29,160 computation-states.lisp
- - rw-r--r-- 1,628 conditional-expressions.lisp
- - rw-r--r-- 12,220 defobject-doc.lisp
- - rw-r--r-- 21,176 defobject.lisp
- - rw-r--r-- 64,175 defstruct.lisp
- - rw-r--r-- 3,346 defthm-disjoint.lisp
- - rw-r--r-- 57,436 doc.lisp
- - rw-r--r-- 2,591 dynamic-semantics.lisp
- - rw-r--r-- 104,358 execution-rules.lisp
- - rw-r--r-- 98,477 execution.lisp
- - rw-r--r-- 22,856 fty-pseudo-terms.lisp
- - rw-r--r-- 5,522 function-environments.lisp
- - rw-r--r-- 93 generation.acl2
- - rw-r--r-- 354,757 generation.lisp
- - rw-r--r-- 100 input-processing.acl2
- - rw-r--r-- 28,019 input-processing.lisp
- - rw-r--r-- 12,705 integer-conversions.lisp
- - rw-r--r-- 49,007 integer-operations.lisp
- - rw-r--r-- 9,216 integers.lisp
- - rw-r--r-- 10,191 let-designations.lisp
- - rw-r--r-- 51 pretty-printer.acl2
- - rw-r--r-- 54,440 pretty-printer.lisp
- - rw-r--r-- 1,458 pretty-printing-options.lisp
- - rw-r--r-- 53,967 proof-support.lisp
- - rw-r--r-- 1,684 shallow-embedding.lisp
- - rw-r--r-- 53,146 symbolic-computation-states.lisp
- - rw-r--r-- 3,038 table.lisp
- - rw-r--r-- 17,733 term-checkers.lisp
- - rw-r--r-- 10,458 term-recognizers.lisp
- - rw-r--r-- 93 top.acl2
- - rw-r--r-- 523 top.lisp
- - rw-r--r-- 82,092 tutorial.lisp
- - rw-r--r-- 7,103 types.lisp
- - rw-r--r-- 13,728 values.lisp