Skip to content

v0.1.9
Compare
Choose a tag to compare
@cnheitman cnheitman released this 28 Dec 16:55
· 55 commits to main since this release
v0.1.9
fb8ea61
This commit was signed with the committer’s verified signature. The key has expired.
cnheitman Christian Heitman
GPG key ID: 0417A8664956113B
Expired
Learn about vigilant mode.

Changelog

Features

  • Change solving callback prototype to send formula
  • Expose the symbolic seed
  • Raise exception in probe DerefSanitizer

Fix

  • Fix missing resource package on Windows
  • Fix custom constraint that were not pushed
  • Fix symbolization of raw inputs
  • Fix execution not halting on hlt if skip_unsupported_instruction enabled
  • Fix uncaught exceptions during execution
Assets 4
Loading