Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |