## What's Changed * feat: support for TLOAD/TSTORE by @daejunpark in https://github.com/a16z/halmos/pull/463 **Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.5...v0.2.6