Skip to content

v0.1.26

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Oct 14:36
v0.1.26
This tag was signed with the committer’s verified signature.
jupblb Michał Kiełbowicz
SSH Key Fingerprint: dKfsPJ4wtcqHYUgDT7Dw1kCu2MwzNNLlmYbnHMAvbwc
Verified
Learn about vigilant mode.
ae3fc19
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Changelog

  • 7456957 Add SymbolInformation for local symbols per SCIP spec (#167)
  • 64e1dd6 Add type information to local variables in SCIP index (#169)
  • ae3fc19 chore: Prepare for v0.1.26 release (#170)
Assets 9
Loading