| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-04-13 | scheck: support pre-conditions via __assume() | Luc Van Oostenryck | 1 | -0/+6 |
| 2021-04-13 | scheck: assert_const() | Luc Van Oostenryck | 1 | -0/+1 |
| 2021-04-13 | scheck: allow multiple assertions | Luc Van Oostenryck | 1 | -4/+0 |
| 2021-04-13 | scheck: assert_eq() | Luc Van Oostenryck | 1 | -0/+5 |
| 2021-04-13 | scheck: add a symbolic checker | Luc Van Oostenryck | 2 | -0/+24 |
 |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |