Skip to content

Releases: syntest-framework/syntest-solidity

v0.2.1

25 Jan 13:07
cb1652b
Compare
Choose a tag to compare

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

18 Jan 09:44
6b5e939
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.1.2...v0.2.0

v0.1.2

29 Nov 21:30
fcd2ef8
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.1.1...v0.1.2

v0.1.1

21 Oct 23:48
4ce93eb
Compare
Choose a tag to compare

What's Fixed

Full Changelog: v0.1.0...v0.1.1

v0.1.0

18 Oct 18:39
4dc88ff
Compare
Choose a tag to compare

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