aboutsummaryrefslogtreecommitdiff
path: root/tests/wasm_compile_simple_module
ModeNameSize
-rw-r--r--Makefile380logplainabout
-rw-r--r--instructions.wat249logplainabout
-rw-r--r--test.v4843logplainabout
-rw-r--r--words_to_verify.mem81logplainabout
20 05:56:53 +0200'>2020-05-20gnu: gtkwave: Update to 3.3.104....Tobias Geerinckx-Rice 2020-03-29gnu: nextpnr-ice40: Clean-up description....Efraim Flashner 2020-03-29gnu: nextpnr-ice40: Use 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