summaryrefslogtreecommitdiff
path: root/test/463-checker-boolean-simplifier/src/Main.java
AgeCommit message (Expand)Author
2018-05-25ART: fix 463-checker-boolean-simplier for jvm Orion Hodson
2018-05-25ART-tests: Remove DX-dependency from 463-checker-boolean-simplifier. Tamas Kenez
2017-06-26test: Fix 4 checker tests to pass with javac/dx Igor Murashkin
2016-09-21Update art tests Sebastien Hertz
2016-03-02ART: Switch Checker run-tests to Jack David Brazdil
2016-01-28ART: Implement HSelect David Brazdil
2015-07-27Cosmetic changes in ART run-tests. Roland Levillain
2015-07-16ART: Boolean simplifier fix Serguei Katkov
2015-05-28ART: Distinguish Checker lines from comments David Brazdil
2015-05-15ART: Print C1vis lists as [v1,...,vN] David Brazdil
2015-05-15ART: Change Checker syntax for variables David Brazdil
2015-04-27ART: Simplify Ifs with BooleanNot condition David Brazdil
2015-04-20ART: Simplify more bool operations David Brazdil
2015-03-25ART: Formatting and comments in BooleanSimplifier David Brazdil
2015-03-24ART: Boolean simplifier David Brazdil