| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-01-28 | ART: Implement HSelect | |
| 2015-07-27 | Cosmetic changes in ART run-tests. | |
| 2015-05-28 | ART: Distinguish Checker lines from comments | |
| 2015-05-15 | ART: Print C1vis lists as [v1,...,vN] | |
| 2015-05-15 | ART: Change Checker syntax for variables | |
| 2015-04-23 | ART: Run BooleanSimplifier after inlining | |
| 2015-04-20 | ART: Extend list of instructions accepted as boolean inputs | |
| 2015-04-16 | ART: Remove DCHECKs for boolean type |