Skip to content

0.11.2

Choose a tag to compare

View all tags
@smonicas smonicas released this 16 Apr 20:43
· 305 commits to master since this release
0.11.2
db0591a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This minor release fixes a bug in the storage pointer analysis.

What's Changed

  • Fix written variables in storage pointer analysis by @smonicas in #2707

Full Changelog: 0.11.1...0.11.2

Contributors

smonicas
Assets 10
Loading