| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-11-22 | not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1} | Luc Van Oostenryck | 1 | -1/+0 |
| 2020-11-22 | not: add testcases for canonicalization & simplification of negations | Luc Van Oostenryck | 1 | -0/+12 |
 |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |