Skip to content
This repository was archived by the owner on Jun 11, 2024. It is now read-only.

Version 0.3.7

Choose a tag to compare

View all tags
@shuse2 shuse2 released this 08 Aug 09:25
· 10 commits to main since this release
v0.3.7
edf49d0
This commit was signed with the committer’s verified signature.
shuse2 shuse2
GPG key ID: E0BCF7B5A8D7744F
Verified
Learn about vigilant mode.

Change Log

v0.3.7 (2023-08-08)

Full Changelog

What's Changed:

  • Change SMT prefix for branch and leaf to avoid collision by @matjazv in #119
  • ⬆️ Bump tough-cookie from 4.0.0 to 4.1.3 by @dependabot in #121
  • ⬆️ Bump word-wrap from 1.2.3 to 1.2.4 by @dependabot in #123
  • ⬆️ Bump semver from 6.3.0 to 6.3.1 by @dependabot in #122
  • Introduce two new interfaces for SMT verification by @hrmhatef in #118
  • Fix statedb to differentiate empty value and delete by @shuse2 in #126

Contributors

matjazv, shuse2, and 2 other contributors
Assets 2
Loading