Skip to content

0.6.4
Compare
Choose a tag to compare
@Schaeff Schaeff released this 19 Mar 21:35
0.6.4
be3865e
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.
  • re-include embeds for a slightly cheaper sha256
  • remove array ssa
  • add flag to allow unconstrained variables
  • better flattening of conjunctions
  • put backends behind features
  • accept any assignee in multidef
  • minor performance and stability improvements
Assets 7
Loading