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: language
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .sys |
 |
- | rw-r--r-- | 62 | .gitattributes |
|
- | rw-r--r-- | 2,042 | abstract-syntax-induction-schemas.lisp |
|
- | rw-r--r-- | 24,683 | abstract-syntax.lisp |
|
- | rw-r--r-- | 413 | acl2-customization.lsp |
|
- | rw-r--r-- | 326 | cert.acl2 |
|
- | rw-r--r-- | 3,836 | concrete-syntax.lisp |
|
- | rw-r--r-- | 50,912 | dynamic-semantics.lisp |
|
- | rw-r--r-- | 3,982 | errors.lisp |
|
- | rw-r--r-- | 8,353 | grammar-new.abnf |
|
- | rw-r--r-- | 4,558 | grammar-new.lisp |
|
- | rw-r--r-- | 3,705 | grammar-old.abnf |
|
- | rw-r--r-- | 2,660 | grammar-old.lisp |
|
- | rw-r--r-- | 25,412 | lexer.lisp |
|
- | rw-r--r-- | 14,739 | literal-evaluation.lisp |
|
- | rw-r--r-- | 1,750 | modes.lisp |
|
- | rw-r--r-- | 86,158 | parser.lisp |
|
- | rw-r--r-- | 5,937 | static-identifier-checking.lisp |
|
- | rw-r--r-- | 5,198 | static-safety-checking-evm.lisp |
|
- | rw-r--r-- | 48,982 | static-safety-checking.lisp |
|
- | rw-r--r-- | 929 | static-semantics.lisp |
|
- | rw-r--r-- | 8,972 | static-shadowing-checking.lisp |
|
- | rw-r--r-- | 62,239 | static-soundness.lisp |
|
- | rw-r--r-- | 9,555 | tokenizer.lisp |
|
- | rw-r--r-- | 1,352 | top.lisp |
|
- | rw-r--r-- | 2,393 | values.lisp |