Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merged OSX fixes from Siesh1oo with some modifications | Clifford Wolf | 2014-03-13 | 1 | -0/+1 |
* | Use log_abort() and log_assert() in BTOR backend | Clifford Wolf | 2014-03-07 | 1 | -18/+17 |
* | Added $lut support to blif backend (by user eddiehung from reddit) | Clifford Wolf | 2014-02-22 | 1 | -0/+23 |
* | Better handling of nameDef and nameRef in edif backend | Clifford Wolf | 2014-02-21 | 1 | -21/+27 |
* | Fixed instantiating multi-bit ports in edif backend | Clifford Wolf | 2014-02-21 | 1 | -2/+4 |
* | Renamed "write_blif -subckt" to "write_blif -icells" and added -gates and -param | Clifford Wolf | 2014-02-21 | 1 | -17/+65 |
* | generated by cgit v1.2.3 (git 2.25.1) at 2025-04-21 12:21:50 +0000 |