Skip to content

nightly-2025-01-16

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 16 Jan 08:41
· 1 commit to main since this release
f4c9934

Changes since nightly-2025-01-15:

Full commit log

  • f4c9934 feat: Vector.getElem_flatMap (#6661)
  • 80ddbf4 feat: align List/Array/Vector.flatMap (#6660)
  • 3a6c5cf feat: canonicalizer diagnostics (#6662)
  • af4a7d7 fix: grind term preprocessor (#6659)
  • 6259b47 feat: improve case-split heuristic used in grind (#6658)
  • 0050e93 refactor: lake: use StateRefT for BuildStore (#6290)
  • 64cf5e5 feat: improve grind search procedure (#6657)
  • 127b3f9 feat: more grind tests (#6650)
  • 65175dc feat: improvegrind diagnostic information (#6656)
  • 54f06cc feat: better support for partial applications in the E-matching procedure (#6654)
  • b3f8fef fix: improve E-matching pattern selection heuristics (#6653)
  • 6665837 feat: verify insertMany method for adding lists to HashMaps (#6211)
  • c7fd873 feat: tag lemmas
  • a10ce94 chore: update stage0
  • 838ad28 feat: add the int_toBitVec simpset
  • a1ef26b perf: improve bv_decide preprocessing based on Bitwuzla optimisations (#6641)