Skip to content

nightly-2024-12-15

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 15 Dec 08:33
· 1 commit to main since this release
nightly-2024-12-15
a8a160b
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-2024-12-14:

Full commit log

  • a8a160b fix: revertAll must clear auxiliary declarations (#6386)
  • e08d35c fix: type incorrect term produced by contradiction (#6387)
  • 94641e8 fix: simp_all? local declarations (#6385)
  • b721c0f test: add test for issue #4585 (#6384)
  • f790b19 fix: new code generator must generate code for opaque declarations that are not @[extern] (#6383)
  • 6571bc0 fix: withTrackingZetaDelta must reset cache (#6381)
  • 37122c3 chore: move implementation details of mergeSort into namespace (#6380)
Assets 16
Loading