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

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	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