From b6a13d7cc76e6cfd22776a377568be2931563712 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 3 Feb 2022 21:38:46 +0900 Subject: Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index a44cd22..c990215 100644 --- a/README.md +++ b/README.md @@ -194,7 +194,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri // Nets - isort(r)~[3,6,1,9,2]; + qsort(r)~[3,6,1,9,2]; r; ``` @@ -225,7 +225,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri smaller, cnt << part(x,ys); // Nets - r << isort([3,6,1,9,2]); + r << qsort([3,6,1,9,2]); r; ``` -- cgit v1.2.3 From f4eb946cd9e47b2ec4c15dc4b27a82aebed7b53e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 3 Feb 2022 21:39:15 +0900 Subject: Update Changelog.md --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 84e209f..1d03e1e 100644 --- a/Changelog.md +++ b/Changelog.md @@ -6,7 +6,7 @@ - **Logical operators on integers**: Not `!` (`not`), And `&&` (`and`) and Or `||` (`or`) are available. Only `0` is regarded as False and these operators return `1` for Truth, `0` for False. -- **Bytecode optimisations*: Bytecodes are optimised by methods such as Copy propagation, Delete dead code. In addition, Register0 is used to store comparison results, and conditional branches are performed according to the value of Register0. To prevent those optimisation, comment out the following definition `OPTIMISE_IMCODE` in `src/inpla.y`: +- **Bytecode optimisations**: Bytecodes are optimised by Copy propagation, Dead code elimination methods. In addition, Register0 is used to store comparison results, and conditional branches are performed according to the value of Register0. To prevent those optimisation, comment out the following definition `OPTIMISE_IMCODE` in `src/inpla.y`: ``` #define OPTIMISE_IMCODE // Optimise the intermediate codes -- cgit v1.2.3