Skip to content

nightly-2025-01-05

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 05 Jan 08:37
· 1 commit to main since this release
nightly-2025-01-05
dc5c809
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changes since nightly-2025-01-04:

Full commit log

  • dc5c809 feat: add term offset support to the grind E-matching modulo (#6533)
  • 9dcbc33 chore: fix signature of perm_insertIdx (#6532)
  • d22233f fix: let_fun support in grind (#6531)
  • a5b1ed9 fix: nondeterministic failure in grind (#6530)
  • ad2c16d feat: add support for let-declarations to grind (#6529)
  • 37127ea fix: missing propagation in grind (#6528)
  • 31435e9 doc: fix broken code blocks in RELEASES.md (#6527)
Assets 14
Loading