aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Dhrystone: Add toolchain prefix to objcopyTom Verbeure2016-08-302-1/+2
* Merged picorv32_pcpi_fast_mul changesClifford Wolf2016-08-304-3/+110
|\
| * Bugfix in picorv32_pcpi_fast_mulClifford Wolf2016-08-301-1/+1
| * Merge branch 'fast_mul_opt' of https://github.com/wallclimber21/picorv32Clifford Wolf2016-08-301-1/+2
| |\
| | * Reduce rs1, rs2 from 64 to 33 bits to make life for synthesis tools easier.Tom Verbeure2016-08-291-1/+2
| | * Merge pull request #1 from cliffordwolf/masterJohn2016-08-2910-67/+386
| | |\ | |_|/ |/| |
| * | Minor fixes/cleanups in mul reset logicClifford Wolf2016-08-304-1/+107
|/ /
* | Added picorv32_pcpi_fast_mul coreClifford Wolf2016-08-292-12/+104
* | Fixed bug in test firmware IRQ handlingClifford Wolf2016-08-291-1/+1
* | More assertsClifford Wolf2016-08-291-0/+9
* | Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-298-54/+272
|/
* Some minor cleanupsClifford Wolf2016-08-261-12/+10
* Added next gen yosys-smtbmc verification scriptsClifford Wolf2016-08-266-2/+212
* Finalized tracer supportClifford Wolf2016-08-265-10/+34
* Added tracer support (under construction)Clifford Wolf2016-08-256-14/+157
* Added REGS_INIT_ZERO parameterClifford Wolf2016-08-242-0/+16
* Fixed "make check" for new yosys-smtbmc cmdlineClifford Wolf2016-08-201-2/+2
* Some minor README changesClifford Wolf2016-08-201-6/+5
* Updated riscv-gnu-toolchain to git rev 7e48594Clifford Wolf2016-08-172-13/+26
* Minor fixes in scripts/icestorm/Clifford Wolf2016-07-142-11/+11
* Fixed use-before-declaration problem with VCSClifford Wolf2016-06-091-2/+5
* Using newlib libc from riscv-tools in dhrystone benchmarkClifford Wolf2016-06-077-229/+264
* Added STACKADDR parameterClifford Wolf2016-06-072-1/+15
* RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"Clifford Wolf2016-06-0615-44/+44
* Encode in q0 LSB if interrupted instruction is compressedClifford Wolf2016-06-013-16/+35
* Do not wait for PCPI core when handling SCALL and SBREAKClifford Wolf2016-06-011-6/+6
* Deassert pcpi_valid upon asserting sbreak IRQSteve Kerrison2016-05-311-0/+2
* Fixed irq.c instr decoder for compressed isaClifford Wolf2016-05-311-3/+15
* Updated riscv-gnu-toolchain version to git rev 13f52d2 (2016-05-31)Clifford Wolf2016-05-312-11/+11
* Added mem timing variations to scripts/csmith/ testbenchClifford Wolf2016-05-071-9/+24
* Fixed typo in testbench.v, closes #6Clifford Wolf2016-05-061-1/+1
* Now using a truly minimalist syscalls.cClifford Wolf2016-05-052-844/+96
* Updated Dhrystone results (got ~1% worse with new gcc)Clifford Wolf2016-05-051-2/+2
* Updated riscv-gnu-toolchain to 34db4e0 (now using gcc 6.1.0)Clifford Wolf2016-05-052-4/+4
* Improvements in scripts/csmith/Clifford Wolf2016-05-054-61/+77
* Added scripts/csmith/ verilator supportClifford Wolf2016-05-044-12/+68
* Improved "make spike" in scripts/csmith/Clifford Wolf2016-05-041-5/+7
* Added console out to csmith spikeClifford Wolf2016-05-042-0/+15
* Using .vvp instead of .exe for iverilog executablesClifford Wolf2016-05-048-77/+76
* Added scripts/csmith/ spike supportClifford Wolf2016-05-046-21/+69
* Fixed SP init in scripts/{csmith,cxxdemo}/Clifford Wolf2016-05-042-4/+12
* Added scripts/csmith/Clifford Wolf2016-05-036-0/+642
* Updated stats for Vivado 2016.1Clifford Wolf2016-04-202-15/+15
* Improvements in dhrystone "make timing"Clifford Wolf2016-04-142-4/+7
* Update dbg_ signals synchronous to the actual launch of the new insnClifford Wolf2016-04-141-32/+73
* Fixed "make timing" in dhrystone/Clifford Wolf2016-04-131-2/+3
* "xori" is sometimes disassembled as "not" (with -1 imm)Clifford Wolf2016-04-131-0/+1
* Fixed dbg_ signals: no latches (formal verification doesn't like latches)Clifford Wolf2016-04-131-0/+21
* Added asmcheck to scripts/torture/Clifford Wolf2016-04-132-4/+43
* Fixed speed stats copy&paste errorClifford Wolf2016-04-131-1/+1
generated by cgit (git 2.34.1) at 2024-07-05 21:26:46 +0000