1. 7d90630 ART: fix 463-checker-boolean-simplier for jvm by Orion Hodson · 7 years ago
  2. b425899 ART-tests: Remove DX-dependency from 463-checker-boolean-simplifier. by Tamas Kenez · 7 years ago
  3. bd44132 test: Fix 4 checker tests to pass with javac/dx by Igor Murashkin · 8 years ago
  4. 9837caf Update art tests by Sebastien Hertz · 8 years ago
  5. f02c3cf ART: Switch Checker run-tests to Jack by David Brazdil · 9 years ago
  6. 74eb1b2 ART: Implement HSelect by David Brazdil · 9 years ago
  7. 6a92a03 Cosmetic changes in ART run-tests. by Roland Levillain · 9 years ago
  8. 108ceb4 ART: Boolean simplifier fix by Serguei Katkov · 9 years ago
  9. a06d66a ART: Distinguish Checker lines from comments by David Brazdil · 10 years ago
  10. c57397b ART: Print C1vis lists as [v1,...,vN] by David Brazdil · 10 years ago
  11. c2c48ff ART: Change Checker syntax for variables by David Brazdil · 10 years ago
  12. 769c9e5 ART: Simplify Ifs with BooleanNot condition by David Brazdil · 10 years ago
  13. 0d13fee ART: Simplify more bool operations by David Brazdil · 10 years ago
  14. b2bd1c5 ART: Formatting and comments in BooleanSimplifier by David Brazdil · 10 years ago
  15. 46e2a39 ART: Boolean simplifier by David Brazdil · 10 years ago