| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-04-18 | simplify AND(x >= 0, x < C) --> (unsigned)x < C | Luc Van Oostenryck | 1 | -1/+0 |
| 2021-04-18 | add testcases for AND(x > 0, x <= C) --> x u<= C | Luc Van Oostenryck | 1 | -0/+15 |
 |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |