| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-11-13 | actually test next solver | lcnr | -1/+15 | |
| 2024-10-21 | normalizes-to disable infer var check | lcnr | -0/+52 | |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -1/+1 | |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -3/+3 | |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -0/+29 | |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -6/+9 | |
| 2024-03-18 | move tests | lcnr | -0/+47 | |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -0/+45 | |
| 2024-03-11 | Move project -> normalize, move normalize tests | Michael Goulet | -0/+439 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |