Skip to content

@hydai hydai released this Feb 28, 2019 · 11 commits to lity since this release

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.
Assets 4

@dm4 dm4 released this Jan 10, 2019 · 20 commits to lity since this release

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

@0yi0 0yi0 released this Dec 7, 2018 · 27 commits to lity since this release

Language Features:

  • Support fixed point numbers.

Documentation:

  • More details about fixed point numbers.
Assets 5

@dm4 dm4 released this Nov 20, 2018

Language Features:

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

Documentation:

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

@hydai hydai released this Oct 26, 2018 · 89 commits to lity since this release

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.
Assets 5

@hydai hydai released this Oct 2, 2018 · 116 commits to lity since this release

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.
Assets 5

@hydai hydai released this Sep 25, 2018 · 121 commits to lity since this release

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
Assets 5

@hydai hydai released this Aug 30, 2018 · 152 commits to lity since this release

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)
Assets 6

@hydai hydai released this Aug 21, 2018 · 175 commits to lity since this release

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
Assets 5

@hydai hydai released this Jul 24, 2018 · 235 commits to lity since this release

Language Features:

  • Documentation: Provide the examples of RSA encryption and decryption.

Bugfixes:

  • Code Generator: String identifier should be 32 bytes alignment.
Assets 5
You can’t perform that action at this time.