From 2a03c3ae277778ac960a140bb599c5678aa1a476 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 15 Nov 2021 11:50:40 +0900 Subject: v0.5.3 --- README.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 3ab53ac..d233ad6 100644 --- a/README.md +++ b/README.md @@ -314,14 +314,15 @@ $ make thread - When invoking Inpla, you can specify the following options: ``` $ ./inpla -h +Inpla version 0.5.3 Usage: inpla [options] Options: - -f Set input file name (Defalut is STDIN) - -c Set the size of term cells (Defalut is 100000) - -x Set the size of the AP stack (Default is 10000) - -t Set the number of threads (Default is 1) - -w Enable Weak reduction strategy (Default: false) + -f Set input file name (Defalut: STDIN) + -c Set the size of term cells (Defalut: 100000) + -x Set the size of the EQ stack (Default: 10000) + -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```.) @@ -832,7 +833,7 @@ fib(result) >< (int n) - Inpla has the following macro: - `const` *NAME*`=` *i* `;` - The *NAME* is replaced with the integer value *i* in nets and interaction rules. + The *NAME* is bound to the integer value *i* as immutable, and replaced with the value *i* in nets and interaction rules. -- cgit v1.2.3