| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-01-26 | cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a) | Luc Van Oostenryck | 1 | -1/+0 |
| 2021-01-26 | cmps: add testcases for simplification of signed compares | Luc Van Oostenryck | 1 | -0/+26 |
![]() |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |
| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-01-26 | cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a) | Luc Van Oostenryck | 1 | -1/+0 |
| 2021-01-26 | cmps: add testcases for simplification of signed compares | Luc Van Oostenryck | 1 | -0/+26 |