aboutsummaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions
...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