software/guix - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	gnu: gtkwave: Update to 3.3.107....	Tobias Geerinckx-Rice	2020-10-13	1	-2/+2
*	gnu: gtkwave: Update to 3.3.106....	Tobias Geerinckx-Rice	2020-08-16	1	-2/+2
*	gnu: nextpnr-ice40: Sort inputs alphabetically....	Efraim Flashner	2020-08-11	1	-4/+4
*	gnu: nextpnr-ice40: Re-indent....	Efraim Flashner	2020-08-11	1	-30/+30
*	gnu: nextpnr-ice40: Update to 0.0.0-1.fbe486d....	Malte Frank Gerdes	2020-08-11	1	-3/+3
*	gnu: Remove ".git" from "https://github/…/….git"....	Ludovic Courtès	2020-07-12	1	-3/+3
*	gnu: gtkwave: Update to 3.3.104....	Tobias Geerinckx-Rice	2020-05-20	1	-2/+2
*	gnu: nextpnr-ice40: Clean-up description....	Efraim Flashner	2020-03-29	1	-2/+2
*	gnu: nextpnr-ice40: Use a source file-name....	Efraim Flashner	2020-03-29	1	-0/+1
*	Update email address and Savannah handle for Amin Bandali....	Amin Bandali	2020-03-28	1	-1/+1
*	gnu: Add nextpnr-ice40....	pinoaffe@airmail.cc	2020-03-22	1	-0/+38
*	gnu: icestorm: Update to latest revision....	pinoaffe@airmail.cc	2020-03-22	1	-3/+3
*	gnu: fpga.scm: Use git-version and git-file-name where appropriate....	Jakub Kądziołka	2020-02-20	1	-6/+6
*	gnu: abc: Use HTTPS home page....	Tobias Geerinckx-Rice	2020-02-15	1	-1/+1
*	gnu: gtkwave: Update to 3.3.103....	Tobias Geerinckx-Rice	2020-01-22	1	-2/+2
*	gnu: gtkwave: Prefer mirror://sourceforge source URI....	Tobias Geerinckx-Rice	2020-01-22	1	-8/+11
*	Update email address for Amin Bandali....	Amin Bandali	2020-01-17	1	-1/+1
*	gnu: yosys: Update to 0.9....	Tobias Geerinckx-Rice	2019-11-03	1	-2/+2
*	gnu: iverilog: Update to 10.3....	Tobias Geerinckx-Rice	2019-08-26	1	-4/+4
*	gnu: gtkwave: Update to 3.3.101....	Tobias Geerinckx-Rice	2019-06-08	1	-3/+3
*	gnu: gtkwave: Update to 3.3.100....	Tobias Geerinckx-Rice	2019-04-17	1	-2/+2
*	gnu: gtkwave: Don't use NAME in source URI....	Tobias Geerinckx-Rice	2019-04-17	1	-1/+1
*	gnu: gtkwave: Update to 3.3.99....	Tobias Geerinckx-Rice	2019-03-12	1	-2/+2
*	gnu: yosys: Update to 0.8....	Danny Milosavljevic	2019-01-15	1	-2/+2
*	gnu: arachne-pnr: Fix tests....	Danny Milosavljevic	2019-01-15	1	-7/+5
*	gnu: icestorm: Update to 0.0-2-c0cbae88a....	Danny Milosavljevic	2019-01-15	1	-3/+3
*	gnu: arachne-pnr: Update to 840bdfdeb....	Amin Bandali	2019-01-15	1	-5/+6
*	gnu: yosys: Don't use unstable tarball....	Tobias Geerinckx-Rice	2018-10-30	1	-6/+7
*	gnu: gtkwave: Mark up description....	Tobias Geerinckx-Rice	2018-07-05	1	-2/+2
*	gnu: gtkwave: Update to 3.3.91....	Tobias Geerinckx-Rice	2018-07-04	1	-2/+2
*	gnu: yosys: Return #t from all phases....	Tobias Geerinckx-Rice	2018-06-26	1	-2/+2
*	gnu: All snippets report errors using exceptions, else return #t....	Mark H Weaver	2018-03-16	1	-2/+4
*	gnu: iverilog: Use Texinfo in description....	Tobias Geerinckx-Rice	2018-02-19	1	-1/+1
*	gnu: iverilog: Update to 10.2....	Tobias Geerinckx-Rice	2018-02-19	1	-2/+3
*	Update e-mail for Theodoros Foradis....	Theodoros Foradis	2017-10-03	1	-1/+1
*	gnu: yosys: Add dependency on z3....	Theodoros Foradis	2017-07-29	1	-1/+4
*	gnu: Move contents of zip module into compression module....	Arun Isaac	2017-06-20	1	-1/+1
*	gnu: icestorm: Replace reference in icebox_vlog....	Theodoros Foradis	2017-03-10	1	-0/+5
*	gnu: yosys: Update to 0.7....	Theodoros Foradis	2017-01-01	1	-2/+2
*	gnu: yosys: Add xdot functionality....	Theodoros Foradis	2017-01-01	1	-1/+13
*	gnu: Add gtkwave....	Danny Milosavljevic	2016-10-09	1	-0/+37
*	gnu: Add arachne-pnr....	Danny Milosavljevic	2016-10-09	1	-0/+44
*	gnu: Add icestorm....	Danny Milosavljevic	2016-10-09	1	-0/+40
*	gnu: Add yosys....	Danny Milosavljevic	2016-10-09	1	-0/+80
*	gnu: Add iverilog....	Danny Milosavljevic	2016-10-09	1	-0/+35
*	gnu: Add abc....	Danny Milosavljevic	2016-10-09	1	-0/+75