cucapra/baa

BitVector and Array Arithmetic library

Open All

4 open issues indexed

Improve BitVecValue representation. Open

cucapra/baa#1 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Allow zero-sized `BitVecValue` Open

cucapra/baa#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add a mechanism to concatenate several `BitVecValue` at once Open

cucapra/baa#5 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Multiplication, division and remainder operations for `BitVecValue` Open

cucapra/baa#6 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

Get new issues in your inbox