[Lity] Update changelog for v1.2.2 release

second-state · Sep 25, 2018 · 25894f6 · 25894f6
1 parent 434cb95
commit 25894f6
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 2 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,3 +1,21 @@
+### Lity 1.2.2 (2018-09-25)
+
+Language Features:
+ * Rule:
+   - Implement update clause for rule
+   - Implement multi-pattern grammar
+ * Validator Only Contract:
+   - Provide `isValidator()` to support validator only contract
+
+Bugfixes:
+ * Fix debug code for new Pattern API
+ * Fix SimplificationRuleList preset rules for add/sub overflow errors
+
+Refactoring:
+ * Refine the architecture of RuleEngineCompiler
+ * Replace naive memory address for rule with stack variable
+ * Uninline rule network node
+
 ### Lity 1.2.1 (2018-08-30)
 
 Features:

diff --git a/libsolidity/codegen/DynArrUtils.cpp b/libsolidity/codegen/DynArrUtils.cpp
@@ -141,7 +141,7 @@ void DynArrUtils::incrLen()
 	m_context << Instruction::MSTORE;
 }
 
-// Stack post: memory_offset
+// Stack post: memory_pre
 // Stack post: elmt
 void DynArrUtils::extractElmtToStack()
 {

diff --git a/libsolidity/codegen/DynArrUtils.h b/libsolidity/codegen/DynArrUtils.h
@@ -61,7 +61,7 @@ class DynArrUtils
 	/// Stack post: memory_offset
 	void accessIndex(bool _doBoundsCheck = true);
 
-	/// Stack post: memory_offset
+	/// Stack post: memory_pre
 	/// Stack post: elmt
 	void extractElmtToStack();
 	/// For each element do f.