Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add initial support for variable definition | Akshay | 2020-10-16 | 2 | -15/+18 |
| | |||||
* | improve arity error messages | Akshay | 2020-10-15 | 1 | -2/+5 |
| | | | | | - now includes function name with expected arity - closes #4 on github.com/dscrv/lisk | ||||
* | add PBTs for arithmetic operators | Akshay | 2020-10-14 | 1 | -3/+0 |
| | | | | | - commutativity of addition - commutativity of multiplication | ||||
* | refactor Error into submodules | Akshay | 2020-10-13 | 2 | -0/+132 |