aboutsummaryrefslogtreecommitdiff
path: root/Changelog.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2024-08-24 15:48:28 +0900
committerShinya Sato <shinnya.sato@gmail.com>2024-08-24 15:48:28 +0900
commitbe9df5389f871d6204d5293bbddd184cb53090e1 (patch)
treeef6b62d06f0cd0a01865357d11c6c0786579b60d /Changelog.md
parenta8fd9188c743eceadb12ccdc95865f285d28723d (diff)
downloadinpla-be9df5389f871d6204d5293bbddd184cb53090e1.tar.gz
inpla-be9df5389f871d6204d5293bbddd184cb53090e1.zip
v0.12.5
Diffstat (limited to 'Changelog.md')
-rw-r--r--Changelog.md23
1 files changed, 23 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index 8268419..5ec0230 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,28 @@
# Change log
+### v0.12.5 (released on 24 August 2024)
+
+#### Bug fix
+
+- **Large nets are acceptable**: For example, the following net was not acceptable due to excessive use of registers:
+
+ ```
+ Inpla 0.12.4 : Interaction nets as a programming language [built: 6 June 2024]
+ >>> r~[A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z];
+ SYSTEM ERROR: CmEnv.localNamePtr exceeded VM_REG_SIZE.
+ ```
+
+ In the previous versions, we used the Bytecodes compiler in the one-pass method, and each allocated register was referenced only once, so the number of registers could easily exceed the total size. Therefore, the large net could not be accepted. In the current two-pass compiler, these are optimised to be re-allocated. So, it is sufficient to check the size limit of occupied registers during the two-pass optimisation process. Now, the net is acceptable:
+
+ ```
+ Inpla 0.12.5 : Interaction nets as a programming language [built: 24 Aug. 2024]
+ >>> r~[A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z];
+ (0 interactions, 0.00 sec)
+ >>>
+ ```
+
+
+
### v0.12.4 (released on 6 June 2024)
#### New Features