aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Expand)AuthorAge
* gnu: gtkwave: Update to 3.3.106.Tobias Geerinckx-Rice2020-08-16
* gnu: nextpnr-ice40: Sort inputs alphabetically.Efraim Flashner2020-08-11
* gnu: nextpnr-ice40: Re-indent.Efraim Flashner2020-08-11
* gnu: nextpnr-ice40: Update to 0.0.0-1.fbe486d.Malte Frank Gerdes2020-08-11
* gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès2020-07-12
* gnu: gtkwave: Update to 3.3.104.Tobias Geerinckx-Rice2020-05-20
* gnu: nextpnr-ice40: Clean-up description.Efraim Flashner2020-03-29
* gnu: nextpnr-ice40: Use a source file-name.Efraim Flashner2020-03-29
* Update email address and Savannah handle for Amin Bandali.Amin Bandali2020-03-28
* gnu: Add nextpnr-ice40.pinoaffe@airmail.cc2020-03-22
* gnu: icestorm: Update to latest revision.pinoaffe@airmail.cc2020-03-22
* gnu: fpga.scm: Use git-version and git-file-name where appropriate.Jakub Kądziołka2020-02-20
* gnu: abc: Use HTTPS home page.Tobias Geerinckx-Rice2020-02-15
* gnu: gtkwave: Update to 3.3.103.Tobias Geerinckx-Rice2020-01-22
* gnu: gtkwave: Prefer mirror://sourceforge source URI.Tobias Geerinckx-Rice2020-01-22
* Update email address for Amin Bandali.Amin Bandali2020-01-17
* gnu: yosys: Update to 0.9.Tobias Geerinckx-Rice2019-11-03
* gnu: iverilog: Update to 10.3.Tobias Geerinckx-Rice2019-08-26
* gnu: gtkwave: Update to 3.3.101.Tobias Geerinckx-Rice2019-06-08
* gnu: gtkwave: Update to 3.3.100.Tobias Geerinckx-Rice2019-04-17
* gnu: gtkwave: Don't use NAME in source URI.Tobias Geerinckx-Rice2019-04-17
* gnu: gtkwave: Update to 3.3.99.Tobias Geerinckx-Rice2019-03-12
* gnu: yosys: Update to 0.8.Danny Milosavljevic2019-01-15
* gnu: arachne-pnr: Fix tests.Danny Milosavljevic2019-01-15
* gnu: icestorm: Update to 0.0-2-c0cbae88a.Danny Milosavljevic2019-01-15
* gnu: arachne-pnr: Update to 840bdfdeb.Amin Bandali2019-01-15
* gnu: yosys: Don't use unstable tarball.Tobias Geerinckx-Rice2018-10-30
* gnu: gtkwave: Mark up description.Tobias Geerinckx-Rice2018-07-05
* gnu: gtkwave: Update to 3.3.91.Tobias Geerinckx-Rice2018-07-04
* gnu: yosys: Return #t from all phases.Tobias Geerinckx-Rice2018-06-26
* gnu: All snippets report errors using exceptions, else return #t.Mark H Weaver2018-03-16
* gnu: iverilog: Use Texinfo in description.Tobias Geerinckx-Rice2018-02-19
* gnu: iverilog: Update to 10.2.Tobias Geerinckx-Rice2018-02-19
* Update e-mail for Theodoros Foradis.Theodoros Foradis2017-10-03
* gnu: yosys: Add dependency on z3.Theodoros Foradis2017-07-29
* gnu: Move contents of zip module into compression module.Arun Isaac2017-06-20
* gnu: icestorm: Replace reference in icebox_vlog.Theodoros Foradis2017-03-10
* gnu: yosys: Update to 0.7.Theodoros Foradis2017-01-01
* gnu: yosys: Add xdot functionality.Theodoros Foradis2017-01-01
* gnu: Add gtkwave.Danny Milosavljevic2016-10-09
* gnu: Add arachne-pnr.Danny Milosavljevic2016-10-09
* gnu: Add icestorm.Danny Milosavljevic2016-10-09
* gnu: Add yosys.Danny Milosavljevic2016-10-09
* gnu: Add iverilog.Danny Milosavljevic2016-10-09
* gnu: Add abc.Danny Milosavljevic2016-10-09