package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17
Folder: m5
 |
.. (parent) | |||
 |
- | rw-r--r-- | 548 | Demo.class |
|
- | rw-r--r-- | 424 | Demo.java |
|
- | rw-r--r-- | 374 | Makefile |
|
- | rw-r--r-- | 2,094 | README |
|
- | rw-r--r-- | 1,525 | Readme.lsp |
|
- | rw-r--r-- | 58 | apprentice-state.acl2 |
|
- | rw-r--r-- | 4,523 | apprentice-state.lisp |
|
- | rw-r--r-- | 335 | apprentice.acl2 |
|
- | rw-r--r-- | 97,450 | apprentice.lisp |
|
- | rw-r--r-- | 53 | demo.acl2 |
|
- | rw-r--r-- | 19,598 | demo.lisp |
|
- | rw-r--r-- | 3,475 | demo.script |
|
- | rw-r--r-- | 54 | idemo.acl2 |
|
- | rw-r--r-- | 9,282 | idemo.lisp |
|
- | rw-r--r-- | 8,049 | infinite-fair-schedule.lisp |
|
- | rw-r--r-- | 54 | isort.acl2 |
|
- | rw-r--r-- | 39,578 | isort.lisp |
|
- | rw-r--r-- | 63 | jvm-fact-setup.acl2 |
|
- | rw-r--r-- | 16,629 | jvm-fact-setup.lisp |
|
- | rw-r--r-- | 4,315 | m5.acl2 |
|
- | rw-r--r-- | 114,791 | m5.lisp |
|
- | rw-r--r-- | 56 | partial.acl2 |
|
- | rw-r--r-- | 30,723 | partial.lisp |
|
- | rw-r--r-- | 1,428 | perm.lisp |
|
- | rw-r--r-- | 2,286 | script.lsp |
|
- | rw-r--r-- | 72 | universal-never-returns.acl2 |
|
- | rw-r--r-- | 3,999 | universal-never-returns.lisp |
|
- | rw-r--r-- | 58 | universal.acl2 |
|
- | rw-r--r-- | 10,029 | universal.lisp |
|
- | rw-r--r-- | 51 | utilities.acl2 |
|
- | rw-r--r-- | 5,717 | utilities.lisp |