Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add a benchmark | Yann Herklotz | 2019-07-27 | 1 | -1/+5 |
| | |||||
* | Add new maintainer email | Yann Herklotz | 2019-07-23 | 1 | -1/+1 |
| | |||||
* | Format with brittany and add right modules | Yann Herklotz | 2019-04-15 | 1 | -5/+5 |
| | |||||
* | Add BitVec type to model Verilog bit vectors | Yann Herklotz | 2019-04-14 | 1 | -0/+115 |