Skip to content

Release 0.3.0
Compare
Choose a tag to compare
@Saloed Saloed released this 14 Dec 17:12
· 85 commits to main since this release
0.3.0
ce691f4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changes

  • Better const creation API in #36
  • Parser API in #38
  • Roadmap in #39
  • Expression checked cast utility in #41
  • Expr sort and decl API rework in #43
  • Expr simplifier in #45
  • Expression printer in #48
  • Solver configuration api in #34

Full Changelog: 0.2.1...0.3.0

Assets 10
Loading