Skip to content

Releases: testsmt/yinyang

yinyang 0.3.0

18 Aug 18:24
5b821b0
Compare
Choose a tag to compare

New features:

  • pip package (#8)
  • TypeFuzz, our most recent Fuzzer (#30)
  • logging (#11)
  • improved usability as a command-line tool
  • code style and code commenting

Fixes:

yinyang 0.2.0

03 Feb 09:00
Compare
Choose a tag to compare

New Features:

  • added documentation
  • new module for fusion strategy to design your own fusion functions
  • quiet mode
  • new logo

Fixes:

  • several bug fixes in the bug detection logic
  • bugfix src.parsing.Term
  • fixing an unsoundness case in Semantic Fusion
  • malformated .output files

yinyang 0.1.0

07 May 10:40
Compare
Choose a tag to compare

Initial release