| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-07-05 | merge wellformed(wc)s | csmoe | -3/+1 |
| 2018-07-05 | update test | csmoe | -0/+3 |
| 2018-04-23 | sort strings on output | Niko Matsakis | -1/+1 |
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -20/+7 |
| 2018-04-06 | chalkify: Implement Rule Implied-Bound-From-Trait | Tyler Mandry | -1/+19 |
| 2018-03-20 | Add unit test for Implemented-From-Env | varkor | -0/+8 |
