Skip to content

Add a BitVec model type - #318

Merged
coord-e merged 3 commits into
mainfrom
claude/integer-backend-bitvector-u6x8xp
Oct 3, 2026
Merged

coord-e merged 3 commits into
mainfrom
claude/integer-backend-bitvector-u6x8xp

Name BitVec variant fields and trim BitVec docs

97bd477
Select commit
Loading
Failed to load commit list.