diff options
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 21 |
1 files changed, 20 insertions, 1 deletions
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 <filename> Set input file name (Default: STDIN) + -d <Name>=<val> Bind <val> to <Name> + -Xms <num> Set initial heap size to 2^<num> (Defalut: 12 (=4096)) + -Xmt <num> Set multiple heap increment to 2^<num> (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 <num> 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 <num> Set initial equation stack size (Default: 256) + -t <num> Set the number of threads (Default: 8) -w Enable Weak Reduction strategy (Default: false) -c Enable to output compiled codes (Default: disable) - -t <num> 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 |
