| Commit message (Expand) | Author | Age |
* | gnu: yosys: Update to 0.8. | Danny Milosavljevic | 2019-01-15 |
* | gnu: arachne-pnr: Fix tests. | Danny Milosavljevic | 2019-01-15 |
* | gnu: icestorm: Update to 0.0-2-c0cbae88a. | Danny Milosavljevic | 2019-01-15 |
* | gnu: arachne-pnr: Update to 840bdfdeb. | Amin Bandali | 2019-01-15 |
* | gnu: yosys: Don't use unstable tarball. | Tobias Geerinckx-Rice | 2018-10-30 |
* | gnu: gtkwave: Mark up description. | Tobias Geerinckx-Rice | 2018-07-05 |
* | gnu: gtkwave: Update to 3.3.91. | Tobias Geerinckx-Rice | 2018-07-04 |
* | gnu: yosys: Return #t from all phases. | Tobias Geerinckx-Rice | 2018-06-26 |
* | gnu: All snippets report errors using exceptions, else return #t. | Mark H Weaver | 2018-03-16 |
* | gnu: iverilog: Use Texinfo in description. | Tobias Geerinckx-Rice | 2018-02-19 |
* | gnu: iverilog: Update to 10.2. | Tobias Geerinckx-Rice | 2018-02-19 |
* | Update e-mail for Theodoros Foradis. | Theodoros Foradis | 2017-10-03 |
* | 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 |