| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-02-03 | Rename rustc_contract to contract | Celina G. Val | -1/+2 | |
| This has now been approved as a language feature and no longer needs a `rustc_` prefix. Also change the `contracts` feature to be marked as incomplete and `contracts_internals` as internal. | ||||
| 2025-02-03 | demonstrate how to capture state at precondition time and feed into ↵ | Felix S. Klock II | -0/+22 | |
| postcondition predicate. | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |