- Warn on unused config keys (#301)
default.yamlkept up to date via CI checks (#301)- Improved shrinking (#310)
- Solidity ABIv2 support (#284, #303, #317)
- Early termination on property falure (#323)
- Timeouts (#320)
- HEVM updated to 2cc059b49cae613025b925f0273b906e25484b68
- Dictionary control (#312, #321)
- Gas price fuzzing (#307)
- Coverage bug fixed (#300)
- Contract creation bug fixed (#293)
- New startup message (#290)
- Add
--versionflag (#285) - Support time/block delays (#282)
- Support
cryticarguments (#280) - Detect assertion failure (#276)
- Use return values as constants (#262)
- Reproducible testing with seeds (#254)
- Initial stable release