guix.git - Mirror of the official guix repository

Age	Commit message (Expand)	Author
2019-03-12	gnu: gtkwave: Update to 3.3.99....	Tobias Geerinckx-Rice
2019-01-15	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
2018-10-30	gnu: yosys: Don't use unstable tarball....	Tobias Geerinckx-Rice
2018-07-05	gnu: gtkwave: Mark up description....	Tobias Geerinckx-Rice
2018-07-04	gnu: gtkwave: Update to 3.3.91....	Tobias Geerinckx-Rice
2018-06-26	gnu: yosys: Return #t from all phases....	Tobias Geerinckx-Rice
2018-03-16	gnu: All snippets report errors using exceptions, else return #t....	Mark H Weaver
2018-02-19	gnu: iverilog: Use Texinfo in description....	Tobias Geerinckx-Rice
2018-02-19	gnu: iverilog: Update to 10.2....	Tobias Geerinckx-Rice
2017-10-03	Update e-mail for Theodoros Foradis....	Theodoros Foradis
2017-07-29	gnu: yosys: Add dependency on z3....	Theodoros Foradis
2017-06-20	gnu: Move contents of zip module into compression module....	Arun Isaac
2017-03-10	gnu: icestorm: Replace reference in icebox_vlog....	Theodoros Foradis
2017-01-01	gnu: yosys: Update to 0.7....	Theodoros Foradis
2017-01-01	gnu: yosys: Add xdot functionality....	Theodoros Foradis
2016-10-09	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