Skip to content

simplify: rewrite bitxnor on booleans to equal#8594

Merged
kroening merged 1 commit intodevelopfrom
simplify-bitxnor2
Mar 11, 2025
Merged

simplify: rewrite `bitxnor` on booleans to equal#8594
kroening merged 1 commit intodevelopfrom
simplify-bitxnor2

Commits

Commits on Feb 26, 2025