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

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Added scripts/csmith/ verilator support	Clifford Wolf	2016-05-04	4	-12/+68
*	Improved "make spike" in scripts/csmith/	Clifford Wolf	2016-05-04	1	-5/+7
*	Added console out to csmith spike	Clifford Wolf	2016-05-04	2	-0/+15
*	Using .vvp instead of .exe for iverilog executables	Clifford Wolf	2016-05-04	5	-41/+41
*	Added scripts/csmith/ spike support	Clifford Wolf	2016-05-04	6	-21/+69
*	Fixed SP init in scripts/{csmith,cxxdemo}/	Clifford Wolf	2016-05-04	2	-4/+12
*	Added scripts/csmith/	Clifford Wolf	2016-05-03	6	-0/+642
*	Updated stats for Vivado 2016.1	Clifford Wolf	2016-04-20	1	-1/+1
*	"xori" is sometimes disassembled as "not" (with -1 imm)	Clifford Wolf	2016-04-13	1	-0/+1
*	Added asmcheck to scripts/torture/	Clifford Wolf	2016-04-13	2	-4/+43
*	Added batch size parameter for torture test	Clifford Wolf	2016-04-13	1	-2/+3
*	Fixed scripts/vivado/table.sh output formatting	Clifford Wolf	2016-04-13	1	-3/+3
*	Added SBREAK handling for CATCH_ILLINSN=0	Clifford Wolf	2016-04-13	1	-0/+1
*	Added xcku/xcvu handling to scripts/vivado/table.sh	Clifford Wolf	2016-04-13	1	-0/+2
*	Disabled CATCH_ILLINSN for torture test (needs sbreak)	Clifford Wolf	2016-04-12	1	-1/+0
*	Run torture test with random PicoRV32 configs	Clifford Wolf	2016-04-12	5	-11/+54
*	Added BARREL_SHIFTER config parameter	Clifford Wolf	2016-04-12	1	-0/+1
*	Added Kintex/Virtex UltraScale to "make table.txt" in scripts/vivado/	Clifford Wolf	2016-04-12	2	-1/+11
*	Added "make mrpoper" to scripts/torture/	Clifford Wolf	2016-04-11	1	-2/+5
*	Added mul/div support to scripts/torture/	Clifford Wolf	2016-04-10	4	-22/+18
*	Using compressed ISA in cxxdemo	Clifford Wolf	2016-04-10	2	-6/+9
*	Support mem_la interface in torture test	Clifford Wolf	2016-04-10	4	-16/+60
*	Using Verilator in torture test bench	Clifford Wolf	2016-04-10	4	-14/+46
*	Updated riscv-gnu-toolchain (c.addi16sp bugfix)	Clifford Wolf	2016-04-10	2	-3/+2
*	Updated area table	Clifford Wolf	2016-04-09	1	-0/+1
*	Improvements in scripts/torture/	Clifford Wolf	2016-04-09	3	-1/+23
*	Work-around for c.addi16sp zero-imm gas bug (for torture test)	Clifford Wolf	2016-04-09	1	-1/+3
*	Use RV32IC in scripts/torture/	Clifford Wolf	2016-04-08	3	-2/+3