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: parser
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
|
d | rwxr-xr-x | 142 | notes |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 1,496 | acl2-customization.lsp |
|
- | rw-r--r-- | 28,087 | blockitems.lisp |
|
- | rw-r--r-- | 1,502 | cert.acl2 |
|
- | rw-r--r-- | 3,797 | configs.lisp |
|
- | rw-r--r-- | 36,243 | datatypes.lisp |
|
- | rw-r--r-- | 6,306 | delays.lisp |
|
- | rw-r--r-- | 33,478 | elements.lisp |
|
- | rw-r--r-- | 2,864 | error.lisp |
|
- | rw-r--r-- | 5,611 | eventctrl.lisp |
|
- | rw-r--r-- | 131,019 | expressions.lisp |
|
- | rw-r--r-- | 52,977 | functions.lisp |
|
- | rw-r--r-- | 35,317 | gates.lisp |
|
- | rw-r--r-- | 4,095 | imports.lisp |
|
- | rw-r--r-- | 24,193 | insts.lisp |
|
- | rw-r--r-- | 12,867 | interfaces.lisp |
|
- | rw-r--r-- | 8,470 | lvalues.lisp |
|
- | rw-r--r-- | 8,388 | modports.lisp |
|
- | rw-r--r-- | 13,585 | modules.lisp |
|
- | rw-r--r-- | 24,343 | nets.lisp |
|
- | rw-r--r-- | 10,739 | packages.lisp |
|
- | rw-r--r-- | 28,337 | paramdecls.lisp |
|
- | rw-r--r-- | 8,054 | parser.lisp |
|
- | rw-r--r-- | 3,789 | parsestate.lisp |
|
- | rw-r--r-- | 91,127 | ports.lisp |
|
- | rw-r--r-- | 3,495 | programs.lisp |
|
- | rw-r--r-- | 3,024 | ranges.lisp |
|
- | rw-r--r-- | 17,147 | seq.lisp |
|
- | rw-r--r-- | 21,478 | sequences.lisp |
|
- | rw-r--r-- | 48,101 | statements.lisp |
|
- | rw-r--r-- | 6,784 | strengths.lisp |
|
- | rw-r--r-- | 5,957 | typedefs.lisp |
|
- | rw-r--r-- | 41,665 | udps.lisp |
|
- | rw-r--r-- | 60,503 | utils.lisp |