[Lity] Update changelog for v1.2.2 release

Author: hydai

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:

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()
 {

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.