Skip to content

Parsing performance boost and Scala update

Latest
Latest
Compare
Choose a tag to compare
@maxime-esa maxime-esa released this 24 Nov 21:57
· 2 commits to master since this release
4.5.2.3
d9f556f
This commit was created on github.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release introduces

  • a major performance improvement for the parser
  • a major update of the Scala backend with new proofs and complete support
Assets 3
Loading