| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-01-16 | Review changes | Jack Huey | -12/+12 |
| 2021-01-16 | Use no_bound_vars | Jack Huey | -6/+4 |
| 2021-01-16 | Cleanup | Jack Huey | -1/+1 |
| 2021-01-16 | Remove PredicateKind | Jack Huey | -1/+1 |
| 2021-01-16 | Intermediate formatting and such | Jack Huey | -8/+6 |
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -2/+6 |
| 2020-11-16 | compiler: fold by value | Bastian Kauschke | -1/+1 |
| 2020-10-30 | Fix some more clippy warnings | Joshua Nelson | -1/+1 |
| 2020-10-06 | Fix bugs in evaluating WellFormed predicates | Matthew Jasper | -2/+2 |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -1/+2 |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+166 |
