v0.1.5

Add validation script support

• Add single-use seal script validation
• Add Dockerfile

v0.1.4

Add Asset support

• Support float type for math instruction (#34)
• Remove ISGE and ISGT instructions (#35)
• Add Asset support to ISLT and ISLE (#30)

v0.1.3

First draft of asset management

Implement deposit and withdraw features.

v0.1.2

First version of DFA

DFA is needed to encode the states of the contract.

v0.1.1

Add new types for instruction ISEQ

• Now, the instruction ISEQ can mange int, str, and bool. The next type that must be managed is addr
• Add new example

v0.1.0

First version of Stipula Virtual Machine (SVM)

Stipula Virtual Machine is a stack-based virtual machine and it is not Turing-complete.

Features:

• Types: the machine can support Integer, String, and Boolean types
• Instructions: ADD, SUB, MUL, DIV (the last one is not handled properly), and instructions for managing the stack, as LOAD, STORE, PUSH and INST
• Exceptions: in order to handle data structures
• Errors: in order to signal bad behavior of a program during its execution
• Jump and JumpIf
• Conditionals