Repository navigation

Retyping arrays and lambdas with Address domain sorts - #181

Open

metametamoon wants to merge 5 commits into

UnitTestBot:mainfrom

metametamoon:bitwuzla-uninterpreted-array-model

Open

Retyping arrays and lambdas with Address domain sorts#181
metametamoon wants to merge 5 commits into
UnitTestBot:mainfrom
metametamoon:bitwuzla-uninterpreted-array-model

Commits on Oct 2, 2026
Commits on Oct 16, 2026
- Ship a linux Bitwuzla library with the beta-reduction fix and publish its native jar
  metametamoon
  committed
  04be81a
Commits on Nov 12, 2026
- Take the Linux Bitwuzla library from the Bitwuzla fork's release
  metametamoon
  committed
  d7a23ac