Skip to content

jingle-v0.5.3

Latest
Latest

Choose a tag to compare

View all tags
@toolCHAINZ toolCHAINZ released this 03 Feb 00:11
· 1 commit to main since this release
jingle-v0.5.3
716b9db
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Added

  • Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155)

Changed

  • sub_cfg_from_indices accepts any iterator for nodes (#152)

Other

  • simplify smt valuation names and make them unique (#154)
Assets 2
Loading