| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -2/+2 |
| 2018-11-13 | Provide program clauses for builtin types | scalexm | -0/+2 |
| 2018-11-13 | Pretty print quantified goals and clauses | scalexm | -4/+4 |
| 2018-10-17 | Add tests for `program_clauses_for_env` | scalexm | -0/+20 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |