Releases: testsmt/yinyang
Releases · testsmt/yinyang
yinyang 0.3.0
yinyang 0.2.0
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
Initial release