aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-01-12 23:58:56 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-01-12 23:58:56 +0900
commit5c2aeb71ea65345cbfeb35ed7dc36548b0484139 (patch)
treecc188581ec575d17be5b586d0410bc36eaa7fa65 /README.md
parentc5d8e82664ed84972e15b4d77daff5c020c40705 (diff)
parent8b4522517bc854458ad92bc150dbdddcf916ffd5 (diff)
downloadinpla-5c2aeb71ea65345cbfeb35ed7dc36548b0484139.tar.gz
inpla-5c2aeb71ea65345cbfeb35ed7dc36548b0484139.zip
Merge branch 'develop'
Diffstat (limited to '')
-rw-r--r--README.md8
1 files changed, 6 insertions, 2 deletions
diff --git a/README.md b/README.md
index bd4beb3..855398e 100644
--- a/README.md
+++ b/README.md
@@ -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```.