| Age | Commit message (Collapse) | 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 ↵ | azidar | |
| types. Does not compile | |||
| 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 | |
