From 8cbadb4fe54a9fc0e631ff688e423839f74e27df Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 16 Mar 2024 20:20:09 +0900 Subject: v0.12.2 --- Gentle_introduction_Inpla.md | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) (limited to 'Gentle_introduction_Inpla.md') diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index df82415..747f190 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -639,6 +639,23 @@ Inpla has the following macro: ``` $ ./inpla -h + Inpla version 0.12.2 + Usage: inpla [options] + + Options: + -f Set input file name (Default: STDIN) + -d = Bind to + -Xms Set initial heap size to 2^ (Defalut: 12 (=4096)) + -Xmt Set multiple heap increment to 2^ (Defalut: 3 (= 8)) + 0: the same (=2^0) size heap is inserted when it runs up. + 1: the heap size is twice (=2^1). + 2: the size is four times (=2^2). + -Xes Set initial equation stack size (Default: 256) + -w Enable Weak Reduction strategy (Default: disable) + -c Enable output of compiled codes (Default: disable) + -h Print this help message + -foptimise-tail-calls Enable tail call optimisation (Default: disable) + Inpla version 0.12.0 Usage: inpla [options] @@ -650,16 +667,18 @@ Inpla has the following macro: 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) + -t Set the number of threads (Default: 8) -w Enable Weak Reduction strategy (Default: false) -c Enable to output compiled codes (Default: disable) - -t Set the number of threads (Default: 8) -h Print this help message + -foptimise-tail-calls Enable tail call optimisation (Default: disable) ``` **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```. The default value is setting for the number of cores, so execution will be automatically scaled without specifying this. +* The option `-foptimise-tail-calls` enables the optimisation of tail calls. If the last equation in a rule has the reuse annotations, this optimisation is cancelled. ## Advanced topics -- cgit v1.2.3