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