aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-02-03 21:39:29 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-02-03 21:39:29 +0900
commita9763a99453267716f6c4f79f95b6e48d43cd2f1 (patch)
tree5904b32130275b845168ef42acd2c56b67a75e2f
parent56dd2efcb69b5c07138ea62e6791c567a1f0e50c (diff)
parentf4eb946cd9e47b2ec4c15dc4b27a82aebed7b53e (diff)
downloadinpla-a9763a99453267716f6c4f79f95b6e48d43cd2f1.tar.gz
inpla-a9763a99453267716f6c4f79f95b6e48d43cd2f1.zip
Merge branch 'develop'
Diffstat (limited to '')
-rw-r--r--Changelog.md2
-rw-r--r--README.md4
2 files changed, 3 insertions, 3 deletions
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
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;
```