halmos 0.1.5
v0.1.5

on Python PyPI

latest releases: 0.3.3, 0.3.2, 0.3.1...

2 years ago

What's Changed

feat: add ffi cheatcode by @luksgrin in #185
feat: add support for custom storage layouts by @daejunpark in #192

New Contributors

@luksgrin made their first contribution in #185

Full Changelog: v0.1.4...v0.1.5

Check out latest releases or
releases around halmos 0.1.5

Don't miss a new halmos release

NewReleases is sending notifications on new releases.

Get notifications