picorv32 - Fork of https://github.com/YosysHQ/picorv32.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added rvfi_post_trap	Clifford Wolf	2016-12-13	1	-1/+3
*	Added cpu?_trap signals to tracecmp3.v	Clifford Wolf	2016-12-03	1	-0/+4
*	Removed old scripts/smt2-bmc/	Clifford Wolf	2016-12-03	10	-1075/+0
*	Fixed catching jumps to misaligned insn	Clifford Wolf	2016-11-29	1	-7/+9
*	Renamed rvfi_opcode to rvfi_insn	Clifford Wolf	2016-11-28	1	-2/+2
*	More RVFI bugfixes	Clifford Wolf	2016-11-27	1	-7/+18
*	Minor RVFI bugfix	Clifford Wolf	2016-11-24	1	-1/+1
*	Added RISC-V Formal Interfcae (RVFI)	Clifford Wolf	2016-11-23	2	-2/+76
*	Another bugfix regarding compressed ISA and unaligned insns	Clifford Wolf	2016-11-18	1	-2/+2
*	Added tracecmp3 smtbmc script	Clifford Wolf	2016-11-16	3	-0/+152
*	Improved tomthumbtestgen	Clifford Wolf	2016-10-24	8	-33/+62
*	Added scripts/tomthumbtestgen	Clifford Wolf	2016-10-23	6	-0/+183
*	Improved README	Clifford Wolf	2016-10-23	1	-2/+4
*	Added smtbmc axicheck2, improved axicheck	Clifford Wolf	2016-10-01	6	-20/+207
*	Added smtbmc axicheck	Clifford Wolf	2016-09-30	3	-0/+201
*	Fixed the nontrivial compressed ISA bug found by tracecmp2	Clifford Wolf	2016-09-16	1	-3/+15
*	Just COMPRESSED_ISA is enough to trigger the bug	Clifford Wolf	2016-09-14	1	-2/+2
*	More fixes related to assertpmux checks	Clifford Wolf	2016-09-13	1	-2/+9
*	Added more asserts for the memory interface	Clifford Wolf	2016-09-13	2	-3/+36
*	tracecmp2 found a bug in this config	Clifford Wolf	2016-09-13	1	-5/+5
*	Added scripts/smtbmc/tracecmp2	Clifford Wolf	2016-09-13	4	-0/+212
*	Merge pull request #21 from wallclimber21/mem_wdata	Clifford Wolf	2016-09-08	1	-1/+3
\|\
\| *	Fix tabs	Tom Verbeure	2016-09-07	1	-2/+2
\| *	Only clock mem_wdata when necessary	Tom Verbeure	2016-09-07	1	-1/+3
* \|	Using assertpmux in "make check"	Clifford Wolf	2016-09-07	2	-2/+29
* \|	Two minor bugfixes	Clifford Wolf	2016-09-06	1	-2/+2
* \|	Added misisng MUL_CLKGATE stage	Clifford Wolf	2016-09-06	1	-4/+3
* \|	Added picorv32_pcpi_fast_mul MUL_CLKGATE	Clifford Wolf	2016-09-05	1	-4/+9
* \|	More picorv32_pcpi_mul timing improvements	Clifford Wolf	2016-09-04	1	-7/+12
* \|	Added optional FFs to picorv32_pcpi_fast_mul	Clifford Wolf	2016-09-04	1	-16/+24
* \|	Renamed testbench_slow_mem to testbench_nola (no look ahead)	Clifford Wolf	2016-09-04	3	-7/+11
* \|	Cleanups in dhrystone/testbench_slow_mem.v, added results to README	Clifford Wolf	2016-09-04	2	-24/+6
* \|	Merge pull request #19 from wallclimber21/dhrystone_slow	Clifford Wolf	2016-09-04	2	-1/+122
\|\ \
\| * \|	Fix tabs	Tom Verbeure	2016-09-03	1	-29/+29
\| * \|	testbench_slow_mem	Tom Verbeure	2016-09-02	2	-1/+122
\| \|/
* \|	Added generic "make check-<solver>" rule	Clifford Wolf	2016-09-03	1	-7/+5
* \|	Minor bugfix/cleanup (mostly for formal verification)	Clifford Wolf	2016-09-03	1	-1/+1
\|/
*	Merge pull request #18 from wallclimber21/quartus	Clifford Wolf	2016-08-31	20	-0/+680
\|\
\| *	Delete unusused file	Tom Verbeure	2016-08-31	1	-8/+0
\| *	synth_speed	Tom Verbeure	2016-08-30	3	-13/+6
\| *	Don't delete non-existing files	Tom Verbeure	2016-08-30	1	-2/+2
\| *	synth_system	Tom Verbeure	2016-08-30	5	-36/+9
\| *	synth_area_large and synth_area_regular	Tom Verbeure	2016-08-30	6	-22/+15
\| *	Make synth_area_small work	Tom Verbeure	2016-08-30	5	-20/+16
\| *	Add QUARTUS_BIN prefix	Tom Verbeure	2016-08-30	1	-3/+3
\| *	Increase countdown by 1	Tom Verbeure	2016-08-30	1	-1/+1
\| *	table.txt generation works	Tom Verbeure	2016-08-29	3	-27/+27
\| *	Checkpoint: map, fit	Tom Verbeure	2016-08-29	2	-37/+19
\| *	Make sim_system work	Tom Verbeure	2016-08-29	2	-20/+10
\| *	Clone vivado dir into quartus dir	Tom Verbeure	2016-08-29	20	-0/+761