aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Expand)AuthorAge
* 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
* 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
generated by cgit v1.2.3 (git 2.25.4) at 2024-11-04 18:23:05 +0000