aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'refactoring'Clifford Wolf2016-03-022-66/+154
|\
| * Merged axi4_memory.v and picorv32_wrapper.v back into testbench.vClifford Wolf2016-03-024-321/+311
| * Add option to load alternative firmware with plusargOlof Kindgren2016-02-181-1/+6
| * Split out verilator-incompatible code to top-level testbenchOlof Kindgren2016-02-183-103/+129
| * Break out AXI4 memory to a separate moduleOlof Kindgren2016-02-183-173/+240
|/
* 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
generated by cgit (git 2.34.1) at 2024-07-08 23:13:51 +0000