Skip to content

3d07cd5

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 May 16:05
Immutable release. Only release title and notes can be modified.
3d07cd5
3d07cd5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Symex: fork isolation, concrete-detection hardening, bulk-memory hook surface, explore_next by @pgoodman in #590

Full Changelog: d7743f9...3d07cd5

Contributors

pgoodman
Assets 4
Loading