- Fix issue with symbolic bytecode during create() - Add tests for precompiles
0.22.34
Not secure
- Fix leaking file descriptor - Fix issue in cases of multiple function names
0.22.33
- Use concrete storage on onsite recursive calls - Support symbolic bytecode execution - Handle edge case in integer arithmetics - Fix issues during bytecode creation
0.22.32
Not secure
- Remove py-ethereum dependencies - Fix error message when loader is not present
0.22.31
Not secure
- Constructs new hash constraints during each solving attempt to handle sha3 more accurately - Handle local client edge case - Use symbolic `If` during on-chain sload()
0.22.30
Not secure
- Circumvent plyvel - Handle eth transfer issue - Fix issue with STOP instruction