From c0efadbf4003cead718d09a887cff05103f3c377 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 28 Feb 2022 09:53:51 +0900 Subject: v0.8.0 --- README.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 872cdf4..2510934 100644 --- a/README.md +++ b/README.md @@ -804,16 +804,16 @@ Inpla has the following macro: Inpla version 0.8.0 Usage: inpla [options] - -f Set input file name (Defalut: STDIN) + Options: + -f Set input file name (Defalut: STDIN) -d = Bind to - -Xms Set initial heap size to 2^ (Defalut: 12 (=4096)) - -Xmt Set increasing heap times to 2^ (Defalut: 3 (= 8)) - 0: the same size heap is inserted when it runs up. - 1: the twice (=2^1) size heap is inserted. - -Xes Set initial equation stack size (Default: 256) - -w Enable Weak Reduction strategy (Default: false) - -t Set the number of threads (Default: 8) - + -Xms Set initial heap size to 2^ (Defalut: 12 (=4096)) + -Xmt Set multiple heap increment to 2^ (Defalut: 3 (= 8)) + 0: the same size heap is inserted when it runs up. + 1: the twice (=2^1) size heap is inserted. + -Xes Set initial equation stack size (Default: 256) + -w Enable Weak Reduction strategy (Default: false) + -t Set the number of threads (Default: 8) -h Print this help message ``` -- cgit v1.2.3