summaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
AgeCommit message (Expand)Author
2021-10-16gnu: gtkwave: Update to 3.3.111.Tobias Geerinckx-Rice
2021-09-04gnu: nvc: Update to 1.5.2.Tobias Geerinckx-Rice
2021-07-01gnu: gtkwave: Update to 3.3.110.Tobias Geerinckx-Rice
2021-06-30gnu: verilator: Update to 4.204.Tobias Geerinckx-Rice
2021-06-14gnu: Rename qtbase to qtbase-5.Maxim Cournoyer
2021-05-23gnu: nvc: Update to 1.5.1.Tobias Geerinckx-Rice
2021-05-07gnu: gtkwave: Update to 3.3.109.Tobias Geerinckx-Rice
2021-03-06gnu: verilator: Update to 4.110.Tobias Geerinckx-Rice
2021-01-28gnu: Add Verilator.Andrew Miloradovsky
2021-01-28gnu: Add systemc.Andrew Miloradovsky
2021-01-07gnu: gtkwave: Update to 3.3.108.Tobias Geerinckx-Rice
2020-12-30gnu: Add python-migen.Vinicius Monego
2020-12-17gnu: Add nvc.Danny Milosavljevic
2020-12-16gnu: Add python-myhdl.Danny Milosavljevic
2020-10-13gnu: gtkwave: Update to 3.3.107.Tobias Geerinckx-Rice
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