aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Expand)AuthorAge
* gnu: gtkwave: Update to 3.3.111.Tobias Geerinckx-Rice2021-10-16
* gnu: nvc: Update to 1.5.2.Tobias Geerinckx-Rice2021-09-04
* gnu: gtkwave: Update to 3.3.110.Tobias Geerinckx-Rice2021-07-01
* gnu: verilator: Update to 4.204.Tobias Geerinckx-Rice2021-06-30
* gnu: Rename qtbase to qtbase-5.Maxim Cournoyer2021-06-14
* gnu: nvc: Update to 1.5.1.Tobias Geerinckx-Rice2021-05-23
* gnu: gtkwave: Update to 3.3.109.Tobias Geerinckx-Rice2021-05-07
* gnu: verilator: Update to 4.110.Tobias Geerinckx-Rice2021-03-06
* gnu: Add Verilator.Andrew Miloradovsky2021-01-28
* gnu: Add systemc.Andrew Miloradovsky2021-01-28
* gnu: gtkwave: Update to 3.3.108.Tobias Geerinckx-Rice2021-01-07
* gnu: Add python-migen.Vinicius Monego2020-12-30
* gnu: Add nvc.Danny Milosavljevic2020-12-17
* gnu: Add python-myhdl.Danny Milosavljevic2020-12-16
* gnu: gtkwave: Update to 3.3.107.Tobias Geerinckx-Rice2020-10-13
* 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