| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Merge pull request #28 from GuzTech/master | Clifford Wolf | 2017-01-15 | 1 | -2/+4 | |
| |\ | | | | | Add STACKADDR parameter to picorv32_axi module | |||||
| | * | Add STACKADDR parameter to picorv32_axi module | Oguz Meteer | 2017-01-15 | 1 | -2/+4 | |
| | | | | | | | | | Signed-off-by: Oguz Meteer <info@guztech.nl> | |||||
| * | | Merge branch 'riscv-gnu-toolchain-update' | Clifford Wolf | 2017-01-15 | 13 | -96/+464 | |
| |\ \ | |/ |/| | ||||||
| | * | Add newlib linker info to README file | Clifford Wolf | 2017-01-15 | 2 | -4/+30 | |
| | | | ||||||
| | * | Added riscv.ld linker script (static entry point at 0x10000) | Clifford Wolf | 2017-01-13 | 4 | -2/+292 | |
| | | | ||||||
| | * | Update riscv-gnu-toolchain to git rev 914224e | Clifford Wolf | 2017-01-13 | 4 | -11/+10 | |
| | | | ||||||
| | * | Some build fixes for new riscv-gnu-toolchain | Clifford Wolf | 2016-12-17 | 2 | -5/+5 | |
| | | | ||||||
| | * | Improved "git cherry-pick" for riscv-binutils-gdb a5971eca338 | Clifford Wolf | 2016-12-17 | 1 | -1/+1 | |
| | | | ||||||
| | * | Updated riscv-gnu-toolchain to git rev 34e199d + riscv-binutils-gdb commit ↵ | Clifford Wolf | 2016-12-17 | 1 | -1/+2 | |
| | | | | | | | | | a5971eca338 | |||||
| | * | Updated riscv-gnu-toolchain to git rev e3e50c5 | Clifford Wolf | 2016-12-15 | 1 | -5/+5 | |
| | | | ||||||
| | * | Merge branch 'master' into riscv-gnu-toolchain-update | Clifford Wolf | 2016-12-15 | 4 | -17/+22 | |
| | |\ | ||||||
| | * | | Minor changes and build fixes for new riscv-gnu-toolchain | Clifford Wolf | 2016-12-10 | 3 | -13/+1 | |
| | | | | ||||||
| | * | | assembler support for custom0 is deprecated, using cpp macros now | Clifford Wolf | 2016-12-09 | 2 | -43/+107 | |
| | | | | ||||||
| | * | | Added RISCV_GNU_TOOLCHAIN_INSTALL_PREFIX Makefile variable | Clifford Wolf | 2016-12-09 | 1 | -13/+14 | |
| | | | | ||||||
| | * | | Updated riscv-gnu-toolchain | Clifford Wolf | 2016-12-08 | 1 | -6/+5 | |
| | | | | ||||||
| * | | | Added rvfi_mem interface | Clifford Wolf | 2016-12-20 | 1 | -4/+28 | |
| | |/ |/| | ||||||
| * | | Fixed some linter warnings in picorv32.v | Clifford Wolf | 2016-12-15 | 1 | -14/+14 | |
| | | | ||||||
| * | | Suppress iverilog warnings re parameters in "make test_synth" | Clifford Wolf | 2016-12-15 | 2 | -1/+3 | |
| | | | ||||||
| * | | Fixed "make test_synth" | Clifford Wolf | 2016-12-15 | 1 | -1/+2 | |
| | | | ||||||
| * | | Added rvfi_post_trap | Clifford Wolf | 2016-12-13 | 1 | -1/+3 | |
| |/ | ||||||
| * | Added cpu?_trap signals to tracecmp3.v | Clifford Wolf | 2016-12-03 | 1 | -0/+4 | |
| | | ||||||
| * | Removed old scripts/smt2-bmc/ | Clifford Wolf | 2016-12-03 | 10 | -1075/+0 | |
| | | ||||||
| * | Fixed catching jumps to misaligned insn | Clifford Wolf | 2016-11-29 | 1 | -7/+9 | |
| | | ||||||
| * | Renamed rvfi_opcode to rvfi_insn | Clifford Wolf | 2016-11-28 | 1 | -2/+2 | |
| | | ||||||
| * | More RVFI bugfixes | Clifford Wolf | 2016-11-27 | 1 | -7/+18 | |
| | | ||||||
| * | Minor RVFI bugfix | Clifford Wolf | 2016-11-24 | 1 | -1/+1 | |
| | | ||||||
| * | Added RISC-V Formal Interfcae (RVFI) | Clifford Wolf | 2016-11-23 | 2 | -2/+76 | |
| | | ||||||
| * | Another bugfix regarding compressed ISA and unaligned insns | Clifford Wolf | 2016-11-18 | 1 | -2/+2 | |
| | | ||||||
| * | Added tracecmp3 smtbmc script | Clifford Wolf | 2016-11-16 | 3 | -0/+152 | |
| | | ||||||
| * | Improved tomthumbtestgen | Clifford Wolf | 2016-10-24 | 8 | -33/+62 | |
| | | ||||||
| * | Added scripts/tomthumbtestgen | Clifford Wolf | 2016-10-23 | 6 | -0/+183 | |
| | | ||||||
| * | Improved README | Clifford Wolf | 2016-10-23 | 1 | -2/+4 | |
| | | ||||||
| * | Added smtbmc axicheck2, improved axicheck | Clifford Wolf | 2016-10-01 | 6 | -20/+207 | |
| | | ||||||
| * | Added smtbmc axicheck | Clifford Wolf | 2016-09-30 | 3 | -0/+201 | |
| | | ||||||
| * | Fixed the nontrivial compressed ISA bug found by tracecmp2 | Clifford Wolf | 2016-09-16 | 1 | -3/+15 | |
| | | ||||||
| * | Just COMPRESSED_ISA is enough to trigger the bug | Clifford Wolf | 2016-09-14 | 1 | -2/+2 | |
| | | ||||||
| * | More fixes related to assertpmux checks | Clifford Wolf | 2016-09-13 | 1 | -2/+9 | |
| | | ||||||
| * | Added more asserts for the memory interface | Clifford Wolf | 2016-09-13 | 2 | -3/+36 | |
| | | ||||||
| * | tracecmp2 found a bug in this config | Clifford Wolf | 2016-09-13 | 1 | -5/+5 | |
| | | ||||||
| * | Added scripts/smtbmc/tracecmp2 | Clifford Wolf | 2016-09-13 | 4 | -0/+212 | |
| | | ||||||
| * | Merge pull request #21 from wallclimber21/mem_wdata | Clifford Wolf | 2016-09-08 | 1 | -1/+3 | |
| |\ | | | | | Only clock mem_wdata when necesssary | |||||
| | * | Fix tabs | Tom Verbeure | 2016-09-07 | 1 | -2/+2 | |
| | | | ||||||
| | * | Only clock mem_wdata when necessary | Tom Verbeure | 2016-09-07 | 1 | -1/+3 | |
| | | | ||||||
| * | | Using assertpmux in "make check" | Clifford Wolf | 2016-09-07 | 2 | -2/+29 | |
| | | | ||||||
| * | | Two minor bugfixes | Clifford Wolf | 2016-09-06 | 1 | -2/+2 | |
| | | | ||||||
| * | | Added misisng MUL_CLKGATE stage | Clifford Wolf | 2016-09-06 | 1 | -4/+3 | |
| | | | ||||||
| * | | Added picorv32_pcpi_fast_mul MUL_CLKGATE | Clifford Wolf | 2016-09-05 | 1 | -4/+9 | |
| | | | ||||||
| * | | More picorv32_pcpi_mul timing improvements | Clifford Wolf | 2016-09-04 | 1 | -7/+12 | |
| | | | ||||||
| * | | Added optional FFs to picorv32_pcpi_fast_mul | Clifford Wolf | 2016-09-04 | 1 | -16/+24 | |
| | | | ||||||
| * | | Renamed testbench_slow_mem to testbench_nola (no look ahead) | Clifford Wolf | 2016-09-04 | 3 | -7/+11 | |
| | | | ||||||
 |
index : picorv32 | |
| Fork of https://github.com/YosysHQ/picorv32. |
| aboutsummaryrefslogtreecommitdiffstats |