Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename module names so that I can move them | Yann Herklotz | 2019-01-10 | 4 | -55/+42 |
* | Fix Xst synthesis | Yann Herklotz | 2019-01-09 | 1 | -5/+11 |
* | Small improvements to Icarus | Yann Herklotz | 2019-01-09 | 1 | -7/+12 |
* | [Fix #19] Add support for equivalence checking | Yann Herklotz | 2019-01-09 | 1 | -7/+42 |
* | Change to timeout to support FilePath | Yann Herklotz | 2019-01-09 | 1 | -4/+4 |
* | Finish the testbenck for Icarus | Yann Herklotz | 2019-01-02 | 1 | -2/+18 |
* | Add bsToI function | Yann Herklotz | 2019-01-01 | 1 | -5/+8 |
* | Fix linting warnings | Yann Herklotz | 2019-01-01 | 3 | -5/+3 |
* | Use Monoid Statement instance to make code more concise | Yann Herklotz | 2019-01-01 | 1 | -5/+3 |
* | Adding code to Icarus | Yann Herklotz | 2018-12-31 | 1 | -3/+15 |
* | Add simulator code | Yann Herklotz | 2018-12-29 | 3 | -8/+24 |
* | Fix documentation and copyright | Yann Herklotz | 2018-12-28 | 4 | -12/+12 |
* | Add simulator module | Yann Herklotz | 2018-12-28 | 4 | -0/+192 |