Skip to content

Fix semantics of onehot0: at most one bit set - #9166

Merged
kroening merged 1 commit into
diffblue:developfrom
tautschnig:kiro/fix-onehot0
Sep 22, 2026
Merged

Fix semantics of onehot0: at most one bit set#9166
kroening merged 1 commit into
diffblue:developfrom
tautschnig:kiro/fix-onehot0

Fix semantics of onehot0: at most one bit set

00fc8ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
publish
succeeded Sep 22, 2026 in 2m 20s