| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-05-13 | Updated Spec. Added scoped-reg which exposes on-reset bug. Fixed lowering bug | azidar |
| 2015-05-05 | Added a bunch of tests. In the middle of implementing check kinds and check t... | azidar |
| 2015-05-04 | Updated stuff | azidar |
| 2015-05-04 | Added a few more error checks. Not tested yet. Fixed bug in pad type inference | azidar |
| 2015-05-02 | Added a infrastructure for check passes, and wrote a few | azidar |
