aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


ore?id=6a945dd12cedff9d73c4394eef1aefcfb4d3b85e&showmsg=1'>Expand)Author
2023-04-24Add mumi config....Arun Isaac
2022-07-03etc: Add teams.scm....Ricardo Wurmus
2022-06-05gitignore: Add .DS_Store....Pavel Shlyak
 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