| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-08-25 | Merge branch 'ssa' into tip | Luc Van Oostenryck | 1 | -35/+35 |
| 2018-08-06 | simplify linearize_logical() | Luc Van Oostenryck | 1 | -92/+68 |
| 2018-08-06 | expand linearize_conditional() into linearize_logical() | Luc Van Oostenryck | 1 | -127/+111 |
| 2018-08-06 | fix linearize_conditional() for logical ops | Luc Van Oostenryck | 1 | -1/+0 |
| 2018-08-04 | add testcase for linearize_logical() | Luc Van Oostenryck | 1 | -0/+300 |
 |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |