Skip to content
Commit a4e2a514 authored by Dávid Bolvanský's avatar Dávid Bolvanský
Browse files

[InstSimplify] Add (~A & B) | ~(A | B) --> ~A

parent 9fc814ed
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment