Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Added read_verilog -sv options, added support for bit, logic, | Clifford Wolf | 2014-06-12 |
| | | | | allways_ff, always_comb, and always_latch | ||
* | Added test cases for sat command | Clifford Wolf | 2014-02-04 |
index : yosys | ||
Debian dgit repo for package yosys |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Added read_verilog -sv options, added support for bit, logic, | Clifford Wolf | 2014-06-12 |
| | | | | allways_ff, always_comb, and always_latch | ||
* | Added test cases for sat command | Clifford Wolf | 2014-02-04 |