-
Matthias Braun authored
Liebe bugs part1: Eor(1, Proj(Cmp)) was broken - simply remove the optimisation since Eor(1, X) gets transformed to Not anyway and Not(Cmp) gets optimized [r26913]
88433932
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Liebe bugs part1: Eor(1, Proj(Cmp)) was broken - simply remove the optimisation since Eor(1, X) gets transformed to Not anyway and Not(Cmp) gets optimized [r26913]