From 825c557dfbac1beff9a3ab0b5ac5ef6e27462f35 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 9 Jan 2022 18:11:39 +0900 Subject: v0.6.0 --- Changelog.md | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 9224d4c..a1cf2aa 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,9 +1,23 @@ # Change log + +### v0.6.0 (released on 9 January 2022) + +#### New Features: +- Introduced new data structure for ring buffers for agents and names: The ring buffers are automatically expanded when all elements of these are used up. Each size starts from 2^18 (=262144), and it will be twice, triple and so on automatically. To adjust the unit size, change the following definition in `src/inpla.y`: + + ``` + #define HOOP_SIZE (1 << 18) + ``` + +- Deleted the execution option `-c` that specifies the size of these ring buffers: This execution option is deleted because these buffers are expanded as needed. + + + ### v0.5.6 (released on 6 January 2022) #### Bug Fix: -- The index of the ring buffer for agents had not been correctly initialised. It was fixed the same as the way of the ring buffer for names. +- The index of the ring buffer for agents had not been correctly initialised. It was fixed the same as the way of the ring buffer for names. ### Logo of Inpla (released on 27 December 2021) @@ -18,12 +32,12 @@ #### Bug Fix (minor): -- The name `x` in a connection `x~s` is substituted if the `x` occurs on a term in other connections, but it should not be done if the `x` is specified by `int` modification. Any names had been targets of the substitution, so it was fixed. +- The name `x` in a connection `x~s` should be substituted if the `x` occurs on a term in other connections, but it should be done if the `x` is specified by `int` modification. But every name has been a target of the substitution, so it is fixed now. ### v0.5.4 (released on 18 November 2021) #### Bug Fix (minor): -- When there is a connection `x~s` in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It had been done only when the other was just a name, that is, not a subterm, so it was fixed. +- When there is a connection `x~s` in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It was done only when the other is just a name, that is, not a subterm, so it is fixed now. ### v0.5.3 (released on 14 November 2021) #### New Features (for constants): @@ -35,7 +49,7 @@ ### v0.5.2 (released on 10 November 2021) #### Bug Fix (minor): -- `Free` command did not work for integer numbers, due to the change by v0.5.1. It was fixed. +- `Free` command did not work for integer numbers, due to the change by v0.5.1, but it was fixed. ### v0.5.1 (released on 2 November 2021) -- cgit v1.2.3