aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added scripts/torture for riscv-torture testsClifford Wolf2016-04-067-0/+231
* Updated riscv-gnu-toolchain versionClifford Wolf2016-04-061-2/+2
* Added mem_wstrb documentationClifford Wolf2016-04-031-0/+5
* Merge pull request #5 from neuschaefer/devClifford Wolf2016-04-031-1/+2
|\
| * README.md: Document the meaning of mem_instrJonathan Neuschäfer2016-04-031-1/+2
* | 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