Releases: syntest-framework/syntest-solidity
Releases · syntest-framework/syntest-solidity
v0.2.1
What's Changed
- Fixed packaging: accidentally removed NPM build from prepare script by @dstallenberg in #146
Full Changelog: v0.2.0...v0.2.1
v0.2.0
What's Changed
- Move testcase-specific code out of framework by @dstallenberg in #122
- Update dependencies by @dstallenberg in #128
- Allow solc compiler version selection by @dstallenberg in #129
- Change to @syntest/core by @dstallenberg in #135
- Update CI infrastructure settings by @mitchellolsthoorn in #131
- Update and lock dependency versions by @dstallenberg in #138
- Fix linting errors by @dstallenberg in #143
- Setup style convention infrastructure by @dstallenberg in #144
Full Changelog: v0.1.2...v0.2.0
v0.1.2
What's Changed
- Fixed the help and version CLI options by @dstallenberg in #110
Full Changelog: v0.1.1...v0.1.2
v0.1.1
What's Fixed
- CI workflow by @mitchellolsthoorn in #89
- Execution binary bug by @dstallenberg in #109
Full Changelog: v0.1.0...v0.1.1
v0.1.0
This is the first release of the SynTest Solidity. This tool is still in active development and therefore the API is subject to change.
This release represents many contributions by 3 main contributors to the SynTest Framework: @dstallenberg, @mitchellolsthoorn, and @apanichella.
What's Added
- Solidity adapters for the different interfaces in the framework (e.g., test runner, static and dynamic analysis)
- Solidity test encoding
- Solidity instrumentation
- Solidity specific search criteria (i.e., probe coverage)
Full Changelog: https://github.com/syntest-framework/syntest-solidity/commits/v0.1.0