| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -1/+0 |
| 2020-12-11 | Move binder for dyn to each list item | Jack Huey | -12/+8 |
| 2020-09-18 | guard against `skip_binder` errors during FlagComputation | Bastian Kauschke | -34/+32 |
| 2020-09-18 | fix flag computation for `ExistentialPredicate::Projection` | Bastian Kauschke | -3/+1 |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -0/+3 |
| 2020-09-04 | ty.flags -> ty.flags() | LeSeulArtichaut | -1/+1 |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+330 |
