pypi halmos 0.1.11
v0.1.11

latest releases: 0.3.3, 0.3.2, 0.3.1...
24 months ago

What's Changed

  • fix: calldata rendering bugfix, large memory offset bugfix by @karmacoma-eth in #242
  • docs: add multicaller example by @daejunpark in #241
  • fix: use consistent hex prefix handling by @karmacoma-eth in #246
  • feat: dump refined queries by @karmacoma-eth in #250
  • perf: small bytecode caching optimizations by @karmacoma-eth in #249
  • fix: add --build-info to forge build command by @karmacoma-eth in #255
  • feat: support for signing and verifying signatures by @karmacoma-eth in #257
  • docs: small fixes for getting-started.md by @cos in #258

New Contributors

  • @cos made their first contribution in #258

Full Changelog: v0.1.10...v0.1.11

Don't miss a new halmos release

NewReleases is sending notifications on new releases.