diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 21:49:20 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 21:49:20 +0900 |
| commit | 4508b877a0312ff0feeba6287e1224ed3d0e0a4a (patch) | |
| tree | 1b3c0eca15dcd5b6ee7e6f2cba888b5073e5ebf6 /README.md | |
| parent | 886e2f63ee0c95530f4f0727b7ae0f9a0d909e9e (diff) | |
| parent | a436d5f03be557ac0a2ea1e4c3d08f5107a5ecbe (diff) | |
| download | inpla-4508b877a0312ff0feeba6287e1224ed3d0e0a4a.tar.gz inpla-4508b877a0312ff0feeba6287e1224ed3d0e0a4a.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. Scripts for the comparison table are in the `comparison` directory. - - Inpla8 and Inpla8r mean 8 threads without/with reuse-annotated execution, respectively. + - Inpla8 and Inpla8r mean 8 threads without/with [reuse-annotated](#Reuse-annotations) execution, respectively. - "ack(3,11)" is computation of Ackermann function. Execution time of Python is a blank due to stack size limitation error. |