diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-12 23:58:40 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-12 23:58:40 +0900 |
| commit | 8b4522517bc854458ad92bc150dbdddcf916ffd5 (patch) | |
| tree | cc188581ec575d17be5b586d0410bc36eaa7fa65 /README.md | |
| parent | 581c14cad9a7dcea48100725bc74f0dffc31486d (diff) | |
| download | inpla-8b4522517bc854458ad92bc150dbdddcf916ffd5.tar.gz inpla-8b4522517bc854458ad92bc150dbdddcf916ffd5.zip | |
v0.6.1
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -264,13 +264,17 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri Options: -f <filename> Set input file name (Defalut: STDIN) - -x <number> Set the unit size of the EQ stack (Default: 256) + -e <number> Set the unit size of the EQ stack (Default: 256) + -w Enable Weak Reduction strategy (Default: false) -t <number> Set the number of threads (Default: 1) -d <Name>=<val> Bind <val> to <Name> -h Print this help message ``` -(The option ```-t``` is available for the multi-thread version that is compiled by ```make thread```.) +**Note**: + +* The option `-w` is available for the single-thread version. +* The option ```-t``` is available for the multi-thread version that is compiled by ```make thread```. |