Skip to content

Commit

Permalink
[Lity] Update Changelog for v1.2.1 release
Browse files Browse the repository at this point in the history
  • Loading branch information
hydai committed Aug 30, 2018
1 parent e324531 commit 3c75442
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions Changelog.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,18 @@
### Lity 1.2.1 (2018-08-30)

Features:
* General: Integrate static analysis tool - *oyente* into lityc.

Language Features:
* Rule:
- Now you can use "factDelete *factID*" to remove a fact from working memory.
- To improve security, usage of rule engine in RHS will now cause transaction failure.
- Provide dynamic memory array utilities for Rule Engine.

Bugfixes:
* Rule: Avoid unlikely memory corruption issue caused by immense memory usage.
* ENI: Data section length should be (freeMemoryPtr-dataSectionOffset-0x20)

### Lity 1.2.0 (2018-08-20)

Language Features:
Expand Down

0 comments on commit 3c75442

Please sign in to comment.