Skip to content

nightly-2024-12-17

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 17 Dec 08:37
· 1 commit to main since this release
nightly-2024-12-17
64d3e9a
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-16:

Full commit log

  • 64d3e9a chore: in #print for structures, mention 'field notation' (#6406)
  • 1880c61 feat: support erasure of Decidable.decide in new code generator (#6405)
  • 5fcd42d chore: remove old language manual (#6401)
  • 1b15a0f fix: add missing fields in the profiler datastructures (#6363)
  • 0340f90 fix: check must check projections (#6398)
Assets 16
Loading