repo.or.cz
/
boomerang.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Apply patch from Daniel Schürmann: https://sourceforge.net/p/boomerang/bugs/78/
[boomerang.git]
/
boomerang
/
transformations
/
logic_canolize.t
blob
20789ce03a3993e2ad04de2e03ec2d1479f6afd2
1
(x & x) becomes x
2
(x ^ x) becomes 0
3
!(a == b) becomes a != b
4
!(a != b) becomes a == b
5
x == x becomes true