Release for PR 6628

pr-release-6628

chore: add smtlib names in docstrings

Release for PR 6627

pr-release-6627

fix: lake: `Job.add` trace

Release for PR 6625

pr-release-6625

chore: move into bitwise file

Release for PR 6622

pr-release-6622

fix: Windows stage0 linking

Release for PR 6618

pr-release-6618

test: from Kim's test suite

Release for PR 6617

pr-release-6617

feat: finish alignment of List/Array/Vector.append lemmas

Release for PR 6573

pr-release-6573

remove unused variable

Release for PR 6505

Apply suggestions from code review

Co-authored-by: Markus Himmel <[email protected]>

Release for PR 6368

pr-release-6368

disable Lake benchmarks

Release for PR 6355

pr-release-6355

Don’t leave failing test here