Pre-release Lity v1.2.8

v1.2.8-pre

[Lity] Update lity version for v1.2.8-pre

Lity v1.2.7

Features:

• Add support for contract-standard option in JSON compiler.

Language Features:

• General: Add a new modifier freegas, which allows developers to use contract balance to pay the transaction fee for the users.
• General: Add a new built-in function rand to get an uint random number from the virtual machine.

Pre-release Lity v1.2.7

• Add support for contract-standard option in JSON compiler.

Lity v1.2.6

Language Features:

• Support fixed point numbers.

Documentation:

• More details about fixed point numbers.

Lity v1.2.5

Language Features:

• Support no-loop, lock-on-active, salience.
• Support rule inheritance.

Documentation:

• Update rule grammar spec.
• More details about fixed point numbers.

Lity v1.2.4

Language Features:

• Support pragma lity, the version pragma of Lity.

Documentation:

• Clean up and revise Rule Engine documents.
• Make all documents referenced in toctree.

Bugfixes:

• Rule:
  • Accept no-field fact.

Lity v1.2.3

Summary

This is a bugfix release. Fixes #2.

Breaking Changes:

• Replace type safeuint with uint256 in ABI format.
• Use uint256 instead of safeuint for generating function signature.

Lity v1.2.2

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 v1.2.1

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 v1.2.0

Language Features:

• Rule: implement rule-engine spec v1.0
  • one-fact rules
  • factInsert (only available with storage struct)
  • fireAllRules

Features:

• Tests: Isolate runtime-tests for rule-engine from soltest.

Breaking Changes:

• General: Rename type name token_t to safeuint

Known Issues:

• Rule: cannot have variable definitions in rule then block
• Rule: only expression statements are available