| Commit message (Expand) | Author | Age |
* | gnu: yosys: Add dependency on z3. | Theodoros Foradis | 2017-07-29 |
* | gnu: Move contents of zip module into compression module. | Arun Isaac | 2017-06-20 |
* | gnu: icestorm: Replace reference in icebox_vlog. | Theodoros Foradis | 2017-03-10 |
* | gnu: yosys: Update to 0.7. | Theodoros Foradis | 2017-01-01 |
* | gnu: yosys: Add xdot functionality. | Theodoros Foradis | 2017-01-01 |
* | gnu: Add gtkwave. | Danny Milosavljevic | 2016-10-09 |
* | gnu: Add arachne-pnr. | Danny Milosavljevic | 2016-10-09 |
* | gnu: Add icestorm. | Danny Milosavljevic | 2016-10-09 |
* | gnu: Add yosys. | Danny Milosavljevic | 2016-10-09 |
* | gnu: Add iverilog. | Danny Milosavljevic | 2016-10-09 |
* | gnu: Add abc. | Danny Milosavljevic | 2016-10-09 |