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