package info
(click to toggle)
hol88 2.02.19940316-8
- links: PTS
- area: main
- in suites: lenny
- size: 63,120 kB
- ctags: 19,367
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,074; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: benchmark
 |
.. (parent) | |||
 |
- | rw-r--r-- | 6,855 | HOL_MULT.ml |
|
- | rw-r--r-- | 3,797 | LOG.230793.0.gz |
|
- | rw-r--r-- | 1,471 | LOG.230793.1.gz |
|
- | rw-r--r-- | 843 | LOG.230793.2.gz |
|
- | rw-r--r-- | 1,353 | LOG.230793.3.gz |
|
- | rw-r--r-- | 2,111 | LOG.230793.4.gz |
|
- | rw-r--r-- | 1,219 | MULT.ml.gz |
|
- | rw-r--r-- | 3,813 | MULT_FUN.ml |
|
- | rw-r--r-- | 188,201 | MULT_FUN.prf.gz |
|
- | rw-r--r-- | 776 | MULT_FUN.th.gz |
|
- | rw-r--r-- | 1,321 | MULT_FUN_CURRY.ml |
|
- | rw-r--r-- | 29,103 | MULT_FUN_CURRY.prf.gz |
|
- | rw-r--r-- | 5,542 | MULT_FUN_CURRY.th |
|
- | rw-r--r-- | 1,331 | MULT_IMP.prf.gz |
|
- | rw-r--r-- | 763 | MULT_IMP.th.gz |
|
- | rw-r--r-- | 444,488 | MULT_VER.prf.gz |
|
- | rw-r--r-- | 1,828 | MULT_VER.th.gz |
|
- | rw-r--r-- | 1,210 | Makefile |
|
- | rw-r--r-- | 995 | NEXT.th.gz |
|
- | rw-r--r-- | 160 | benchmark.202.gz |
|
- | rw-r--r-- | 5,283 | mk_NEXT.ml |
|
- | rw-r--r-- | 62,202 | mk_NEXT.prf.gz |
|
- | rw-r--r-- | 1,217 | prims.prf.gz |
|
- | rw-r--r-- | 795 | prims.th.gz |
|
- | rw-r--r-- | 19,320 | unwind.ml |