| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-03-11 | Update tests | Vadim Petrochenkov | -8/+8 |
| 2019-03-02 | Point at enum definition when match patterns are not exhaustive | Esteban Küber | -0/+22 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -8/+8 |
| 2018-03-14 | update tests | Guillaume Gomez | -1/+1 |
| 2018-02-26 | Update UI tests | Vadim Petrochenkov | -8/+8 |
| 2018-02-25 | Update ui tests | Guillaume Gomez | -0/+1 |
| 2017-11-24 | Merge cfail and ui tests into ui tests | Oliver Schneider | -8/+8 |
| 2017-07-02 | Revert "Change error count messages" | Ariel Ben-Yehuda | -1/+1 |
| 2017-05-24 | Change error count messages | Michael Kohl | -1/+1 |
| 2017-01-03 | Improve error message, fix and add tests. | Andrew Cann | -2/+2 |
| 2016-10-26 | un-break the `construct_witness` logic | Ariel Ben-Yehuda | -0/+50 |
