aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update riscv-gnu-toolchain to git rev 914224eClifford Wolf2017-01-134-11/+10
* Some build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-172-5/+5
* 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-154-17/+22
|\
| * Fixed some linter warnings in picorv32.vClifford Wolf2016-12-151-14/+14
| * Suppress iverilog warnings re parameters in "make test_synth"Clifford Wolf2016-12-152-1/+3
| * Fixed "make test_synth"Clifford Wolf2016-12-151-1/+2
| * Added rvfi_post_trapClifford Wolf2016-12-131-1/+3
* | Minor changes and build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-103-13/+1
* | assembler support for custom0 is deprecated, using cpp macros nowClifford Wolf2016-12-092-43/+107
* | Added RISCV_GNU_TOOLCHAIN_INSTALL_PREFIX Makefile variableClifford Wolf2016-12-091-13/+14
* | Updated riscv-gnu-toolchainClifford Wolf2016-12-081-6/+5
|/
* Added cpu?_trap signals to tracecmp3.vClifford Wolf2016-12-031-0/+4
* Removed old scripts/smt2-bmc/Clifford Wolf2016-12-0310-1075/+0
* Fixed catching jumps to misaligned insnClifford Wolf2016-11-291-7/+9
* Renamed rvfi_opcode to rvfi_insnClifford Wolf2016-11-281-2/+2
* More RVFI bugfixesClifford Wolf2016-11-271-7/+18
* Minor RVFI bugfixClifford Wolf2016-11-241-1/+1
* Added RISC-V Formal Interfcae (RVFI)Clifford Wolf2016-11-232-2/+76
* Another bugfix regarding compressed ISA and unaligned insnsClifford Wolf2016-11-181-2/+2
* Added tracecmp3 smtbmc scriptClifford Wolf2016-11-163-0/+152
* Improved tomthumbtestgenClifford Wolf2016-10-248-33/+62
* Added scripts/tomthumbtestgenClifford Wolf2016-10-236-0/+183
* Improved READMEClifford Wolf2016-10-231-2/+4
* Added smtbmc axicheck2, improved axicheckClifford Wolf2016-10-016-20/+207
* Added smtbmc axicheckClifford Wolf2016-09-303-0/+201
* Fixed the nontrivial compressed ISA bug found by tracecmp2Clifford Wolf2016-09-161-3/+15
* Just COMPRESSED_ISA is enough to trigger the bugClifford Wolf2016-09-141-2/+2
* More fixes related to assertpmux checksClifford Wolf2016-09-131-2/+9
* Added more asserts for the memory interfaceClifford Wolf2016-09-132-3/+36
* tracecmp2 found a bug in this configClifford Wolf2016-09-131-5/+5
* Added scripts/smtbmc/tracecmp2Clifford Wolf2016-09-134-0/+212
* Merge pull request #21 from wallclimber21/mem_wdataClifford Wolf2016-09-081-1/+3
|\
| * Fix tabsTom Verbeure2016-09-071-2/+2
| * Only clock mem_wdata when necessaryTom Verbeure2016-09-071-1/+3
* | Using assertpmux in "make check"Clifford Wolf2016-09-072-2/+29
* | Two minor bugfixesClifford Wolf2016-09-061-2/+2
* | Added misisng MUL_CLKGATE stageClifford Wolf2016-09-061-4/+3
* | Added picorv32_pcpi_fast_mul MUL_CLKGATEClifford Wolf2016-09-051-4/+9
* | More picorv32_pcpi_mul timing improvementsClifford Wolf2016-09-041-7/+12
* | Added optional FFs to picorv32_pcpi_fast_mulClifford Wolf2016-09-041-16/+24
* | Renamed testbench_slow_mem to testbench_nola (no look ahead)Clifford Wolf2016-09-043-7/+11
* | Cleanups in dhrystone/testbench_slow_mem.v, added results to READMEClifford Wolf2016-09-042-24/+6
* | Merge pull request #19 from wallclimber21/dhrystone_slowClifford Wolf2016-09-042-1/+122
|\ \
| * | Fix tabsTom Verbeure2016-09-031-29/+29
| * | testbench_slow_memTom Verbeure2016-09-022-1/+122
| |/
* | Added generic "make check-<solver>" ruleClifford Wolf2016-09-031-7/+5
* | Minor bugfix/cleanup (mostly for formal verification)Clifford Wolf2016-09-031-1/+1
|/
generated by cgit (git 2.34.1) at 2024-07-11 01:33:27 +0000