diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-19 10:36:48 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-19 10:36:48 +0900 |
| commit | 5ff9c1b987e6e61ec5aa543493c50372abfebfe3 (patch) | |
| tree | a375d4675d9b96fd217d5635b94f0a410e985957 | |
| parent | 4dad79224ac08584875bcab7d1eaa00827f81a0f (diff) | |
| parent | 5212d7de34d4cf97a85cdc299c3c479b925f87d6 (diff) | |
| download | inpla-5ff9c1b987e6e61ec5aa543493c50372abfebfe3.tar.gz inpla-5ff9c1b987e6e61ec5aa543493c50372abfebfe3.zip | |
Merge branch 'develop'
| -rw-r--r-- | Changelog.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 837574d..b9ca11b 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,7 +2,8 @@ ### v0.5.4 (released on 18 November 2021) #### Bug Fix (minor): -- A name `x` which occurs as a sub-term will be replaced with a term `s` when there is a connection between `x~s` before all of evaluations, as one of optimisations. It was done only if the `x` occurs not as a sub-term. + +- 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 when the other one occurred as just a name, that is, not a subterm. ### v0.5.3 (released on 14 November 2021) #### New Features (for constants): |