summaryrefslogtreecommitdiff
path: root/test/463-checker-boolean-simplifier/src/Main.java
AgeCommit message (Expand)Author
2018-05-25ART: fix 463-checker-boolean-simplier for jvmOrion 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/dxIgor Murashkin
2016-09-21Update art testsSebastien Hertz
2016-03-02ART: Switch Checker run-tests to JackDavid Brazdil
2016-01-28ART: Implement HSelectDavid Brazdil
2015-07-27Cosmetic changes in ART run-tests.Roland Levillain
2015-07-16ART: Boolean simplifier fixSerguei Katkov
2015-05-28ART: Distinguish Checker lines from commentsDavid Brazdil
2015-05-15ART: Print C1vis lists as [v1,...,vN]David Brazdil
2015-05-15ART: Change Checker syntax for variablesDavid Brazdil
2015-04-27ART: Simplify Ifs with BooleanNot conditionDavid Brazdil
2015-04-20ART: Simplify more bool operationsDavid Brazdil
2015-03-25ART: Formatting and comments in BooleanSimplifierDavid Brazdil
2015-03-24ART: Boolean simplifierDavid Brazdil