Skip to content

1.0.1

Choose a tag to compare

View all tags
@phantamanta44 phantamanta44 released this 28 Apr 03:02
· 9 commits to main since this release
1.0.1
450889c
  • Added support for bit vector literals in SMT formulae
  • Added support for indexed identifiers, e.g. for bit vector types indexed by width
  • Added support for horn clause events without input/output variable lists
  • Deserialization exceptions now retain their stack traces correctly when propagating
  • The main class can now parse stream-type SemGuS JSON (in addition to batch-type)
Assets 2
Loading