| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2016-10-26 | change match checking to use HAIR | Ariel Ben-Yehuda | -240/+199 |
| 2016-10-26 | un-break the `construct_witness` logic | Ariel Ben-Yehuda | -148/+185 |
| 2016-10-26 | split the exhaustiveness-checking logic to its own module | Ariel Ben-Yehuda | -0/+696 |
