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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Merge branch 'master' of github.com:cliffordwolf/picorv32	Clifford Wolf	2015-10-13	3	-14/+3
\|\
\| *	Minor scripts/icestorm changes	Clifford Wolf	2015-10-08	3	-14/+3
* \|	Add a missing dependency	Larry Doolittle	2015-10-13	1	-2/+2
\|/
*	Better "steps" default in smt2-bmc/sync.py	Clifford Wolf	2015-10-06	1	-1/+1
*	Improvements to smtio.py	Clifford Wolf	2015-09-18	3	-2/+3
*	Added scripts/yosys/synth_gates	Clifford Wolf	2015-09-12	3	-0/+76
*	Improvements in smtio.py	Clifford Wolf	2015-08-28	3	-86/+94
*	Improvements in smtio.py "timer display during solving" feature	Clifford Wolf	2015-08-28	1	-8/+13
*	Added smtio.py "timer display during solving" feature	Clifford Wolf	2015-08-27	3	-5/+51
*	Added mkvcd class to smtio.py	Clifford Wolf	2015-08-27	1	-0/+29
*	Added (set-info ..) generation to smtio.py	Clifford Wolf	2015-08-27	3	-20/+32
*	Using "#!/usr/bin/env python3"	Clifford Wolf	2015-08-22	3	-3/+3
*	More improvements in smt2-bmc scripts	Clifford Wolf	2015-08-15	4	-3/+128
*	Added cvc4 and mathsat to scripts/smt2-bmc	Clifford Wolf	2015-08-15	1	-0/+6
*	Added scripts/smt2-bmc/sync.*	Clifford Wolf	2015-08-15	7	-5/+312
*	Renamed scripts/smt2-bmc/mem_equiv to .../async	Clifford Wolf	2015-08-15	6	-19/+19
*	Refactoring of scripts/smt2-bmc/	Clifford Wolf	2015-08-15	2	-211/+220
*	Added z3 support to mem_equiv.py	Clifford Wolf	2015-08-14	1	-10/+20
*	Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)	Clifford Wolf	2015-08-13	2	-14/+107
*	Progress with smt2-based bmc scripts	Clifford Wolf	2015-08-13	2	-188/+203
*	Progress with smt2-based bmc scripts	Clifford Wolf	2015-08-10	3	-21/+183
*	Added smt2-based bmc scripts	Clifford Wolf	2015-08-09	5	-0/+247
*	Improvements in icestorm test firmware	Clifford Wolf	2015-07-31	1	-7/+35
*	icestorm sim improvements	Clifford Wolf	2015-07-21	3	-6/+38
*	Improved icestorm example	Clifford Wolf	2015-07-19	3	-13/+11
*	Improved icestorm example	Clifford Wolf	2015-07-19	9	-76/+226
*	Added $(VIVADO_BASE) to vivado Makefile	Clifford Wolf	2015-07-16	1	-4/+5
*	Improved firmware for vivado "system" example	Clifford Wolf	2015-07-16	2	-4/+33
*	Improved vivado "system" example	Clifford Wolf	2015-07-12	2	-16/+56
*	Vivado "system" example	Clifford Wolf	2015-07-09	10	-21/+142
*	Updated evaluation	Clifford Wolf	2015-07-08	5	-5/+9
*	Enabled report_timing in vivado synth_area scripts	Clifford Wolf	2015-07-08	4	-4/+4
*	Updated eval data	Clifford Wolf	2015-07-08	2	-2/+16
*	Improved IceStorm example script	Clifford Wolf	2015-07-04	3	-1/+75
*	Updated area and timing stats	Clifford Wolf	2015-07-02	1	-0/+1
*	Back to Vivado 2015.1	Clifford Wolf	2015-07-01	1	-1/+1
*	Vivado 2015.2 area evaluation	Clifford Wolf	2015-07-01	5	-14/+9
*	Added vivado synth_area_{small,regular,large}.tcl scripts	Clifford Wolf	2015-07-01	4	-4/+33
*	Updated Xilinx 7-Series area stats	Clifford Wolf	2015-07-01	1	-13/+7
*	Added "make test_synth"	Clifford Wolf	2015-06-30	1	-0/+7
*	Added resource utilization to xilinx eval	Clifford Wolf	2015-06-28	4	-6/+148
*	Minor vivado script changes	Clifford Wolf	2015-06-27	2	-0/+4
*	Added "make table.txt" vivado scripts	Clifford Wolf	2015-06-27	5	-1/+216
*	Updated vivado scripts	Clifford Wolf	2015-06-26	3	-6/+4
*	Changed chip package in vivado examples	Clifford Wolf	2015-06-26	2	-2/+2
*	Added simple icestorm script (not a real example yet)	Clifford Wolf	2015-06-22	2	-0/+7
*	Updated Vivado SoC example	Clifford Wolf	2015-06-10	5	-18/+47
*	Makefile for Vivado scripts	Clifford Wolf	2015-06-09	10	-23/+58
*	Small improvements in vivado_soc demo	Clifford Wolf	2015-06-08	1	-5/+4
*	Added osu018 yosys synthesis script	Clifford Wolf	2015-06-08	6	-1/+10