aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* fix for check targetMiodrag Milanovic2021-12-271-1/+1
* Enable the use of 64-bit riscv toolsTommy Thorn2020-06-031-5/+5
* Make Makefile more flexibleLarry Doolittle2020-04-271-18/+26
* Improve test firmware, increase testbench memory size to 128kBClifford Wolf2019-09-121-2/+2
* Add Verilator version infosClifford Wolf2019-03-191-1/+1
* Remove riscv-dejagnu from "make build-tools"Clifford Wolf2019-03-021-3/+1
* Remove riscv-qemu from "make build-tools"Clifford Wolf2019-03-021-3/+1
* Update riscv-gnu-toolchain to 411d134Clifford Wolf2019-02-191-1/+1
* Fix chown call in Makefile (for building tools)Clifford Wolf2018-08-261-2/+2
* Update riscv-gnu-toolchainClifford Wolf2018-08-141-1/+1
* Update riscv-gnu-toolchain to cb6b34bClifford Wolf2018-06-291-3/+6
* Fix "make testbench_verilator" bugClifford Wolf2018-05-251-1/+1
* Improve testbench_verilatorClifford Wolf2018-05-251-3/+5
* Add "make test_verilator"Clifford Wolf2018-05-251-0/+8
* Update riscv-gnu-toolchain to 1b80cbeClifford Wolf2018-04-031-1/+1
* Update riscv-gnu-toolchain to bf5697aClifford Wolf2017-11-191-1/+1
* Update riscv-gnu-toolchain to git rev e9f5458Clifford Wolf2017-10-191-1/+1
* Add "make test_rvf"Clifford Wolf2017-09-131-13/+20
* Add testbench_ezClifford Wolf2017-07-271-2/+12
* Add RVFI to AXI and WB wrappers modules, Add RVFI monitor support to test benchClifford Wolf2017-05-271-3/+3
* Update riscv-gnu-toolchain to git rev 4e51f26Clifford Wolf2017-05-051-1/+1
* Update riscv-gnu-toolchain to git rev 0c8f87dClifford Wolf2017-04-071-2/+2
* Add GIT_ENV Makefile variable (for things like http proxy settings)Clifford Wolf2017-03-151-2/+5
* Makefile: use automatic variables in testbench rulesAntony Pavlov2017-03-151-10/+10
* WIP: add WISHBONE testbenchAntony Pavlov2017-03-141-3/+13
* Rename "testbench_vcd" make target to "test_vcd", remove "view"Clifford Wolf2017-03-121-5/+2
* Rename "make testbench.vcd" to "make testbench_vcd" so VCD file is not remove...Clifford Wolf2017-02-211-2/+2
* Update riscv-gnu-toolchain to git rev 914224eClifford Wolf2017-01-131-2/+1
* Some build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-171-4/+4
* Improved "git cherry-pick" for riscv-binutils-gdb a5971eca338Clifford Wolf2016-12-171-1/+1
* Updated riscv-gnu-toolchain to git rev 34e199d + riscv-binutils-gdb commit a5...Clifford Wolf2016-12-171-1/+2
* Updated riscv-gnu-toolchain to git rev e3e50c5Clifford Wolf2016-12-151-5/+5
* Merge branch 'master' into riscv-gnu-toolchain-updateClifford Wolf2016-12-151-1/+1
|\
| * Suppress iverilog warnings re parameters in "make test_synth"Clifford Wolf2016-12-151-1/+1
* | Minor changes and build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-101-1/+1
* | Added RISCV_GNU_TOOLCHAIN_INSTALL_PREFIX Makefile variableClifford Wolf2016-12-091-13/+14
* | Updated riscv-gnu-toolchainClifford Wolf2016-12-081-6/+5
|/
* Added RISC-V Formal Interfcae (RVFI)Clifford Wolf2016-11-231-2/+2
* Added more asserts for the memory interfaceClifford Wolf2016-09-131-1/+1
* Using assertpmux in "make check"Clifford Wolf2016-09-071-1/+2
* Added generic "make check-<solver>" ruleClifford Wolf2016-09-031-7/+5
* Using new yosys write_smt2 cmdlineClifford Wolf2016-08-301-1/+1
* Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-291-4/+8
* Finalized tracer supportClifford Wolf2016-08-261-1/+1
* Added tracer support (under construction)Clifford Wolf2016-08-251-2/+2
* Fixed "make check" for new yosys-smtbmc cmdlineClifford Wolf2016-08-201-2/+2
* Updated riscv-gnu-toolchain to git rev 7e48594Clifford Wolf2016-08-171-10/+22
* Updated riscv-gnu-toolchain version to git rev 13f52d2 (2016-05-31)Clifford Wolf2016-05-311-6/+6
* Updated riscv-gnu-toolchain to 34db4e0 (now using gcc 6.1.0)Clifford Wolf2016-05-051-2/+2
* Using .vvp instead of .exe for iverilog executablesClifford Wolf2016-05-041-19/+19