Skip to content

jingle-v0.6.7

Choose a tag to compare

View all tags
@toolCHAINZ toolCHAINZ released this 01 Mar 23:12
jingle-v0.6.7
e099511
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 pcode-op bound and tweak computed valuation (#212)

Other

  • add separate instruction and branch bounds (#210)
Assets 2
Loading