diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 17:59:46 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 17:59:46 +0900 |
| commit | 1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b (patch) | |
| tree | 9f6e237f530a3e0b73d56fd75b4830565648c46d /Changelog.md | |
| parent | bf938ad4dbdd97a276315b90089fd936075944ca (diff) | |
| parent | 083669ae5a6c2f5d1e5dd7500e73a01ebd44020c (diff) | |
| download | inpla-1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b.tar.gz inpla-1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b.zip | |
Merge branch 'develop'
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 158075b..d3626c9 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,9 +1,14 @@ # Change log +### v0.5.5 (released on 19 December 2021) +#### Bug Fix (minor): + +- 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 a connection `x~s` is given 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 one occurred as just a name, that is, not a subterm. +- 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): |