From 8b4522517bc854458ad92bc150dbdddcf916ffd5 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 12 Jan 2022 23:58:40 +0900 Subject: v0.6.1 --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'README.md') 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 Set input file name (Defalut: STDIN) - -x Set the unit size of the EQ stack (Default: 256) + -e Set the unit size of the EQ stack (Default: 256) + -w Enable Weak Reduction strategy (Default: false) -t Set the number of threads (Default: 1) -d = Bind to -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```. -- cgit v1.2.3