Skip to content

Release 1.1.8
Compare
Choose a tag to compare
@florianschanda florianschanda released this 23 Aug 13:06
· 155 commits to main since this release
trlc-1.1.8
a96a065

1.1.8

  • [TRLC] Hotfix for the CVC5 API issue: pinning PyVCG to 1.0.3, which
    in turn pins CVC5 to 1.0.5 (the last known good version).
Assets 2
Loading