| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-19 | tests: Require `run-fail` ui tests to have an exit code (`SIGABRT` not ok) | Martin Nordholts | -1/+1 |
| 2025-02-03 | Rename rustc_contract to contract | Celina G. Val | -1/+2 |
| 2025-02-03 | demonstrate how to capture state at precondition time and feed into postcond... | Felix S. Klock II | -0/+25 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |