1.1.1

• Now supporting parametric sorts
• In line with the 2-23-24 version of Semgus-Parser

1.1.0

• Now targeting Java 17 so that we can use sealed interfaces as ADTs
• Added support for function and datatype declaration events as defined in SemGuS-git/Semgus-Parser at d8f46bf
• SmtTerm#toString now produces proper SMT-Lib S-expressions instead of an arbitrary string format
• Various bits of code cleanup

1.0.2

• Added a variables field to SemanticRule that keeps input/output annotations

1.0.1

• 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)

1.0.0

Initial release