Skip to content

nightly-2024-11-11

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 11 Nov 08:27
· 1 commit to main since this release
nightly-2024-11-11
456e6d2
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-10:

Full commit log

  • 456e6d2 chore: deprecate duplicated Fin.size_pos (#6025)
  • 48e3d76 feat: variants of List.forIn_eq_foldlM (#6023)
  • 78fe925 feat: BitVec lemmas for smtUDiv, smtSDiv when denominator is zero (#5616)
Assets 16
Loading