Skip to content

nightly-2025-01-25

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 25 Jan 08:52
· 1 commit to main since this release
58c7a4f

Changes since nightly-2025-01-24:

Full commit log

  • 58c7a4f feat: lake: lift FetchM into JobM (and vice versa) (#6771)
  • c8be581 refactor: lake: use Job for all builtin facets (#6418)
  • c6e244d feat: BitVec.shift x (n#w) -> shift x (n % 2^w) (#6767)
  • 044bf85 feat: commute BitVec.extractLsb(')? with bitwise ops (#6747)
  • 1059e25 feat: BitVec.shiftLeft in terms of extractLsb' (#6743)