Mark updateSparseBytes(setRange) as preserving definedness, add #signed simplification#176

Merged

rv-jenkins merged 10 commits intomasterfrom HOTFIX-simplification-tweaks

Jul 29, 2024

+22-13

Commits on Jul 24, 2024

declare updateSparseBytes(setRange) definition as preserving definedness
jberthold
committed

Commits on Jul 25, 2024

Commits on Jul 26, 2024

add a simplification for #signed (not Total) equivalent to another (with Total)
jberthold
committed