Skip to content

nightly-2024-11-29

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 29 Nov 16:26
· 1 commit to main since this release
nightly-2024-11-29
86f3037
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-11-28:

Full commit log

  • 86f3037 chore: harden markPersistent uses (#6257)
  • d97af36 feat: simpler trace timing annotation logic (#6259)
  • 27cc0c8 feat: USize.reduceToNat (#6190)
  • c9ee66f chore: lake: fix typo in materialize error (#6250)
  • 5c7e027 chore: cleanup of List/Array lemmas (#6249)
  • 4969ec9 feat: more UInt lemmas (#6205)
  • 827062f feat: System.Platform.numBits inequalities (#6247)
Assets 16
Loading