Skip to content

Releases: ashiven/eqsat

v1.0.2

06 May 12:13
@ashiven ashiven
v1.0.2
62249f7
This commit was signed with the committer’s verified signature.
ashiven Jannik Novak
GPG key ID: A3114459E033E970
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v1.0.2 Latest
Latest
  • Completed integrating the of the out-of-tree eqsat plugin into mimir
Assets 2
Loading

v1.0.1

24 Apr 12:56
@ashiven ashiven
v1.0.1
9d87e77
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v1.0.1
  • Redefined the SlottedMim language
  • Added multiple test cases to verify its correctness
Loading

v1.0.0

19 Apr 17:22
@ashiven ashiven
v1.0.0
77ffb80
This commit was signed with the committer’s verified signature.
ashiven Jannik Novak
GPG key ID: A3114459E033E970
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v1.0.0

This release contains the first eqsat implementations for MimIR 🍾

Loading