diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-12 23:58:56 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-12 23:58:56 +0900 |
| commit | 5c2aeb71ea65345cbfeb35ed7dc36548b0484139 (patch) | |
| tree | cc188581ec575d17be5b586d0410bc36eaa7fa65 /README.md | |
| parent | c5d8e82664ed84972e15b4d77daff5c020c40705 (diff) | |
| parent | 8b4522517bc854458ad92bc150dbdddcf916ffd5 (diff) | |
| download | inpla-5c2aeb71ea65345cbfeb35ed7dc36548b0484139.tar.gz inpla-5c2aeb71ea65345cbfeb35ed7dc36548b0484139.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -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```. |
