Closed markshin closed 8 years ago
foldPHI_icmp 관련된 예제 4개를 추가했습니다.
x = slt a b, y = slt a c x = slt a b, y = slt a b x = slt a 2, y = slt b 2 x = slt a 2, y = slt a 2
foldPHI_icmp 관련된 예제 4개를 추가했습니다.