From fe97dadef0a6bd009998952a3183ec6822cf6fbc Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 16 Mar 2026 15:17:54 +0900 Subject: v0.13.2 --- Gentle_introduction_Inpla.md | 17 ----------------- 1 file changed, 17 deletions(-) (limited to 'Gentle_introduction_Inpla.md') diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index bd31326..6f15868 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -659,23 +659,6 @@ Inpla has the following macro: -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] - - Options: - -f Set input file name (Default: STDIN) - -d = Bind to - -Xms Set initial heap size to 2^ (Default: 12 (=4096)) - -Xmt Set multiple heap increment to 2^ (Default: 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) - -t Set the number of threads (Default: 8) - -w Enable Weak Reduction strategy (Default: false) - -c Enable to output compiled codes (Default: disable) - -h Print this help message - -foptimise-tail-calls Enable tail call optimisation (Default: disable) ``` **Note**: -- cgit v1.2.3