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

	Commit message (Expand)	Author	Age	Files	Lines
*	add readme file for torture test (closes #93)	Steffen Vogel	2019-02-11	1	-0/+6
*	use 32 bit toolchain	Emilio Rojas	2018-11-08	1	-1/+1
*	update to current vivado version	Emilio Rojas	2018-11-08	1	-1/+1
*	Renamed linker file	Guy Hutchison	2018-10-18	1	-1/+1
*	Removed dead code and cleanup before pull request	Guy Hutchison	2018-10-18	5	-58/+16
*	Removed multiplier/divider	Guy Hutchison	2018-10-18	5	-6/+75
*	Passing with custom linker file	Guy Hutchison	2018-10-18	7	-0/+442
*	Fix miscellaneous typos in documentation	Larry Doolittle	2018-04-17	1	-1/+1
*	Update riscv-gnu-toolchain to 1b80cbe	Clifford Wolf	2018-04-03	2	-62/+62
*	scripts/icestorm: use 'yosys-config' to find data directory	Austin Seipp	2018-02-14	1	-2/+2
*	scripts: remove old -m32 argument to riscv-gcc	Austin Seipp	2018-02-14	3	-3/+3
*	Update evaluation results to Vivado 2017.3	Clifford Wolf	2017-10-21	1	-1/+1
*	Update vivado evaluations	Clifford Wolf	2017-07-20	3	-17/+34
*	Fix scripts/torture gcc calls	Clifford Wolf	2017-07-10	2	-2/+2
*	Remove some trailing whitespace	Larry Doolittle	2017-06-13	6	-7/+7
*	Add scripts/presyn/ example	Clifford Wolf	2017-02-09	9	-0/+237
*	Added riscv.ld linker script (static entry point at 0x10000)	Clifford Wolf	2017-01-13	1	-1/+1
*	Fixed "make test_synth"	Clifford Wolf	2016-12-15	1	-1/+2
*	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
*	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
*	Added smtbmc axicheck2, improved axicheck	Clifford Wolf	2016-10-01	6	-20/+207
*	Added smtbmc axicheck	Clifford Wolf	2016-09-30	3	-0/+201
*	Just COMPRESSED_ISA is enough to trigger the bug	Clifford Wolf	2016-09-14	1	-2/+2
*	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 #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
* \|	Using new yosys write_smt2 cmdline	Clifford Wolf	2016-08-30	3	-5/+5
* \|	Minor fixes/cleanups in mul reset logic	Clifford Wolf	2016-08-30	3	-0/+101
\|/
*	Added more asserts to picorv32, more smtbmc examples	Clifford Wolf	2016-08-29	6	-3/+190
*	Added next gen yosys-smtbmc verification scripts	Clifford Wolf	2016-08-26	5	-0/+207
*	Minor fixes in scripts/icestorm/	Clifford Wolf	2016-07-14	2	-11/+11
*	RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"	Clifford Wolf	2016-06-06	6	-9/+9
*	Added mem timing variations to scripts/csmith/ testbench	Clifford Wolf	2016-05-07	1	-9/+24
*	Now using a truly minimalist syscalls.c	Clifford Wolf	2016-05-05	2	-844/+96
*	Improvements in scripts/csmith/	Clifford Wolf	2016-05-05	4	-61/+77