aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merged various testbench changes from compressed ISA branchClifford Wolf2016-02-037-30/+31
* minor README changesClifford Wolf2016-01-211-4/+4
* Added ENABLE_FASTIRQ switch in start.SClifford Wolf2016-01-211-0/+83
* Updated riscv-gnu-toolchainClifford Wolf2016-01-211-8/+8
* Cleanup regarding pcpi_timeoutClifford Wolf2015-12-221-0/+1
* Keep mem_wstrb low even when mem_valid is low anywaysClifford Wolf2015-12-221-1/+1
* Bump riscv-gnu-toolchain versionClifford Wolf2015-12-163-129/+6
* Extended c++ demoClifford Wolf2015-12-011-0/+50
* Bump riscv-gnu-toolchain versionClifford Wolf2015-12-011-2/+2
* Bugfix in hex8tohex32.pyClifford Wolf2015-11-181-2/+1
* Added hex8tohex32.py script to cxxdemoClifford Wolf2015-11-174-3/+57
* Bump riscv-gnu-toolchain versionClifford Wolf2015-11-091-4/+4
* Added scripts/cxxdemo/Clifford Wolf2015-11-048-1/+699
* Using riscv32-unknown-elf- toolchainClifford Wolf2015-11-033-7/+12
* dhrystone: copy&paste newlib code for memcpy() and strcpy()Clifford Wolf2015-10-301-225/+189
* Improvements in firmware/sections.ldsClifford Wolf2015-10-301-1/+3
* Added regions to firmware/sections.ldsClifford Wolf2015-10-301-1/+5
* Added scripts/yosys-cmp/Clifford Wolf2015-10-306-0/+196
* Progress in "make check"Clifford Wolf2015-10-152-13/+31
* Added "make check"Clifford Wolf2015-10-143-2/+33
* Merge branch 'master' of github.com:cliffordwolf/picorv32Clifford Wolf2015-10-134-14/+7
|\
| * Minor scripts/icestorm changesClifford Wolf2015-10-083-14/+3
| * Added apt-get doc for toolchain buildClifford Wolf2015-10-071-0/+4
* | Add a missing dependencyLarry Doolittle2015-10-131-2/+2
|/
* Better "steps" default in smt2-bmc/sync.pyClifford Wolf2015-10-061-1/+1
* Fixed README typoClifford Wolf2015-09-231-1/+1
* Improvements to smtio.pyClifford Wolf2015-09-183-2/+3
* Updated toolchain build instructions to riscv-gnu-toolchain git 572033bClifford Wolf2015-09-141-2/+2
* Added scripts/yosys/synth_gatesClifford Wolf2015-09-123-0/+76
* Improvements in smtio.pyClifford Wolf2015-08-283-86/+94
* Improvements in smtio.py "timer display during solving" featureClifford Wolf2015-08-281-8/+13
* Added smtio.py "timer display during solving" featureClifford Wolf2015-08-273-5/+51
* Added mkvcd class to smtio.pyClifford Wolf2015-08-271-0/+29
* Added (set-info ..) generation to smtio.pyClifford Wolf2015-08-273-20/+32
* Using "#!/usr/bin/env python3"Clifford Wolf2015-08-224-4/+4
* More improvements in smt2-bmc scriptsClifford Wolf2015-08-154-3/+128
* Added cvc4 and mathsat to scripts/smt2-bmcClifford Wolf2015-08-151-0/+6
* Added scripts/smt2-bmc/sync.*Clifford Wolf2015-08-157-5/+312
* Renamed scripts/smt2-bmc/mem_equiv to .../asyncClifford Wolf2015-08-156-19/+19
* Refactoring of scripts/smt2-bmc/Clifford Wolf2015-08-152-211/+220
* Added z3 support to mem_equiv.pyClifford Wolf2015-08-141-10/+20
* Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)Clifford Wolf2015-08-133-15/+108
* Progress with smt2-based bmc scriptsClifford Wolf2015-08-132-188/+203
* Progress with smt2-based bmc scriptsClifford Wolf2015-08-103-21/+183
* Added smt2-based bmc scriptsClifford Wolf2015-08-095-0/+247
* Improvements in icestorm test firmwareClifford Wolf2015-07-311-7/+35
* icestorm sim improvementsClifford Wolf2015-07-213-6/+38
* Improved icestorm exampleClifford Wolf2015-07-193-13/+11
* Improved icestorm exampleClifford Wolf2015-07-199-76/+226
* Added $(VIVADO_BASE) to vivado MakefileClifford Wolf2015-07-161-4/+5
generated by cgit (git 2.34.1) at 2024-07-03 10:58:37 +0000