index
:
inpla.git
main
A fork of Inpla, a multi-threaded parallel interpreter of interaction nets
mirenn
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
comparison
/
Inpla
/
src
Mode
Name
Size
-rw-r--r--
ack-stream_3-11-reuse.in
1253
log
plain
blame
-rw-r--r--
ack-stream_3-11.in
1151
log
plain
blame
-rw-r--r--
bsort-20000-reuse.in
1617
log
plain
blame
-rw-r--r--
bsort-20000.in
1521
log
plain
blame
-rw-r--r--
bsort-40000-reuse.in
964
log
plain
blame
-rw-r--r--
bsort-40000.in
928
log
plain
blame
-rw-r--r--
bsort-efficient-20000-reuse.in
964
log
plain
blame
-rw-r--r--
bsort-efficient-20000.in
928
log
plain
blame
-rw-r--r--
fib-38-reuse.in
157
log
plain
blame
-rw-r--r--
fib-38.in
153
log
plain
blame
-rw-r--r--
isort-20000-reuse.in
893
log
plain
blame
-rw-r--r--
isort-20000.in
851
log
plain
blame
-rw-r--r--
isort-40000-reuse.in
889
log
plain
blame
-rw-r--r--
isort-40000.in
851
log
plain
blame
-rw-r--r--
msort-260000-reuse.in
1321
log
plain
blame
-rw-r--r--
msort-260000.in
1274
log
plain
blame
-rw-r--r--
msort-800000-reuse.in
1321
log
plain
blame
-rw-r--r--
msort-800000.in
1274
log
plain
blame
-rw-r--r--
nqueen-12-reuse.in
3549
log
plain
blame
-rw-r--r--
nqueen-12.in
3463
log
plain
blame
-rw-r--r--
qsort-260000-reuse.in
1172
log
plain
blame
-rw-r--r--
qsort-260000.in
993
log
plain
blame
-rw-r--r--
qsort-800000-reuse.in
1172
log
plain
blame
-rw-r--r--
qsort-800000.in
993
log
plain
blame