summaryrefslogtreecommitdiff
path: root/passes/sat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-11-06 22:21:58 +0100
committerClifford Wolf <clifford@clifford.at>2013-11-06 22:25:35 +0100
commit8c523ef81d615515a2bf56e0886c5fad1aae85ad (patch)
tree56315686f8e530aa2fa2b2511db09454fb263a66 /passes/sat
parentbaeca48a240928d34c357c2f8a52d392236276de (diff)
Improved undef handling in == and != for ConstEval
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions