Skip to content

nightly-2025-01-09

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 09 Jan 08:43
· 1 commit to main since this release
nightly-2025-01-09
dd64455
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-2025-01-08:

Full commit log

  • dd64455 feat: improve grind canonicalizer diagnostics (#6588)
  • 827c667 feat: align List/Array lemmas for filter/filterMap (#6589)
  • 623dec1 feat: aligning List/Array/Vector lemmas for map (#6586)
  • cb9f198 fix: grind canonicalizer (#6585)
  • c5314da feat: add helper theorems for handling offsets in grind (#6584)
  • 0afa1d1 feat: apply E-matching for local lemmas in grind (#6582)
  • ddd454c feat: add grind configuration options to control case-splitting (#6581)
  • 5be241c fix: forall propagation in grind (#6578)
  • 034bc26 feat: make classical tactic incremental (#6575)
  • 680ede7 fix: set LLVM sysroot consistently (#6574)
  • 48eb308 perf: speed up JSON serialisation (#6479)
  • f01471f fix: proper "excess binders" error locations for rintro and intro (#6565)
Assets 14
Loading