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

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \| \|	Towards compressed ISA support	Clifford Wolf	2015-11-13	1	-9/+84
\|/ /
* \|	Bump riscv-gnu-toolchain version	Clifford Wolf	2015-11-09	1	-4/+4
\| \|
* \|	Added scripts/cxxdemo/	Clifford Wolf	2015-11-04	8	-1/+699
\| \|
* \|	Using riscv32-unknown-elf- toolchain	Clifford Wolf	2015-11-03	3	-7/+12
\| \|
* \|	dhrystone: copy&paste newlib code for memcpy() and strcpy()	Clifford Wolf	2015-10-30	1	-225/+189
\| \|
* \|	Improvements in firmware/sections.lds	Clifford Wolf	2015-10-30	1	-1/+3
\| \|
* \|	Added regions to firmware/sections.lds	Clifford Wolf	2015-10-30	1	-1/+5
\| \|
* \|	Added scripts/yosys-cmp/	Clifford Wolf	2015-10-30	6	-0/+196
\| \|
* \|	Progress in "make check"	Clifford Wolf	2015-10-15	2	-13/+31
\| \|
* \|	Added "make check"	Clifford Wolf	2015-10-14	3	-2/+33
\| \|
* \|	Merge branch 'master' of github.com:cliffordwolf/picorv32	Clifford Wolf	2015-10-13	4	-14/+7
\|\ \
\| * \|	Minor scripts/icestorm changes	Clifford Wolf	2015-10-08	3	-14/+3
\| \| \|
\| * \|	Added apt-get doc for toolchain build	Clifford Wolf	2015-10-07	1	-0/+4
\| \| \|
* \| \|	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
\| \|
* \|	Fixed README typo	Clifford Wolf	2015-09-23	1	-1/+1
\| \|
* \|	Improvements to smtio.py	Clifford Wolf	2015-09-18	3	-2/+3
\| \|
* \|	Updated toolchain build instructions to riscv-gnu-toolchain git 572033b	Clifford Wolf	2015-09-14	1	-2/+2
\| \|
* \|	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	4	-4/+4
\| \|
* \|	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	3	-15/+108
\| \|
* \|	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	5	-9/+41
\|
*	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-09	1	-9/+9
\|
*	Refactoring of TWO_CYCLE_ALU	Clifford Wolf	2015-07-08	1	-143/+117
\|
*	Updated evaluation	Clifford Wolf	2015-07-08	6	-18/+22
\|
*	Added TWO_CYCLE_ALU parameter	Clifford Wolf	2015-07-08	2	-52/+136
\|
*	Enabled report_timing in vivado synth_area scripts	Clifford Wolf	2015-07-08	4	-4/+4
\|
*	Updated eval data	Clifford Wolf	2015-07-08	3	-12/+26
\|
*	Added TWO_CYCLE_COMPARE	Clifford Wolf	2015-07-07	2	-8/+29
\|