| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add readme file for torture test (closes #93) | Steffen Vogel | 2019-02-11 | 1 | -0/+6 |
| | | |||||
| * | use 32 bit toolchain | Emilio Rojas | 2018-11-08 | 1 | -1/+1 |
| | | |||||
| * | update to current vivado version | Emilio Rojas | 2018-11-08 | 1 | -1/+1 |
| | | |||||
| * | Renamed linker file | Guy Hutchison | 2018-10-18 | 1 | -1/+1 |
| | | |||||
| * | Removed dead code and cleanup before pull request | Guy Hutchison | 2018-10-18 | 5 | -58/+16 |
| | | |||||
| * | Removed multiplier/divider | Guy Hutchison | 2018-10-18 | 5 | -6/+75 |
| | | |||||
| * | Passing with custom linker file | Guy Hutchison | 2018-10-18 | 7 | -0/+442 |
| | | |||||
| * | Fix miscellaneous typos in documentation | Larry Doolittle | 2018-04-17 | 1 | -1/+1 |
| | | |||||
| * | Update riscv-gnu-toolchain to 1b80cbe | Clifford Wolf | 2018-04-03 | 2 | -62/+62 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | scripts/icestorm: use 'yosys-config' to find data directory | Austin Seipp | 2018-02-14 | 1 | -2/+2 |
| | | | | | | | | | | This fixes the icestorm script to query yosys-config itself for the right data directory. Not only does this fix installs where yosys was not installed into /usr/local, it also ensures Icarus picks up a data directory consistent with the version of yosys that you're using. Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||||
| * | scripts: remove old -m32 argument to riscv-gcc | Austin Seipp | 2018-02-14 | 3 | -3/+3 |
| | | | | | | | See also 55da6c7cd1f5ad798bfa0f52989434486c03b31b Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||||
| * | Update evaluation results to Vivado 2017.3 | Clifford Wolf | 2017-10-21 | 1 | -1/+1 |
| | | |||||
| * | Update vivado evaluations | Clifford Wolf | 2017-07-20 | 3 | -17/+34 |
| | | |||||
| * | Fix scripts/torture gcc calls | Clifford Wolf | 2017-07-10 | 2 | -2/+2 |
| | | |||||
| * | Remove some trailing whitespace | Larry Doolittle | 2017-06-13 | 6 | -7/+7 |
| | | |||||
| * | Add scripts/presyn/ example | Clifford Wolf | 2017-02-09 | 9 | -0/+237 |
| | | |||||
| * | Added riscv.ld linker script (static entry point at 0x10000) | Clifford Wolf | 2017-01-13 | 1 | -1/+1 |
| | | |||||
| * | Fixed "make test_synth" | Clifford Wolf | 2016-12-15 | 1 | -1/+2 |
| | | |||||
| * | 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 |
| | | |||||
| * | 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 |
| | | |||||
| * | Added smtbmc axicheck2, improved axicheck | Clifford Wolf | 2016-10-01 | 6 | -20/+207 |
| | | |||||
| * | Added smtbmc axicheck | Clifford Wolf | 2016-09-30 | 3 | -0/+201 |
| | | |||||
| * | Just COMPRESSED_ISA is enough to trigger the bug | Clifford Wolf | 2016-09-14 | 1 | -2/+2 |
| | | |||||
| * | 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 #18 from wallclimber21/quartus | Clifford Wolf | 2016-08-31 | 20 | -0/+680 |
| |\ | | | | | ./scripts/quartus | ||||
| | * | Delete unusused file | Tom Verbeure | 2016-08-31 | 1 | -8/+0 |
| | | | |||||
| | * | synth_speed | Tom Verbeure | 2016-08-30 | 3 | -13/+6 |
| | | | |||||
| | * | Don't delete non-existing files | Tom Verbeure | 2016-08-30 | 1 | -2/+2 |
| | | | |||||
| | * | synth_system | Tom Verbeure | 2016-08-30 | 5 | -36/+9 |
| | | | |||||
| | * | synth_area_large and synth_area_regular | Tom Verbeure | 2016-08-30 | 6 | -22/+15 |
| | | | |||||
| | * | Make synth_area_small work | Tom Verbeure | 2016-08-30 | 5 | -20/+16 |
| | | | |||||
| | * | Add QUARTUS_BIN prefix | Tom Verbeure | 2016-08-30 | 1 | -3/+3 |
| | | | |||||
| | * | Increase countdown by 1 | Tom Verbeure | 2016-08-30 | 1 | -1/+1 |
| | | | |||||
| | * | table.txt generation works | Tom Verbeure | 2016-08-29 | 3 | -27/+27 |
| | | | |||||
| | * | Checkpoint: map, fit | Tom Verbeure | 2016-08-29 | 2 | -37/+19 |
| | | | |||||
| | * | Make sim_system work | Tom Verbeure | 2016-08-29 | 2 | -20/+10 |
| | | | |||||
| | * | Clone vivado dir into quartus dir | Tom Verbeure | 2016-08-29 | 20 | -0/+761 |
| | | | |||||
| * | | Using new yosys write_smt2 cmdline | Clifford Wolf | 2016-08-30 | 3 | -5/+5 |
| | | | |||||
| * | | Minor fixes/cleanups in mul reset logic | Clifford Wolf | 2016-08-30 | 3 | -0/+101 |
| |/ | |||||
| * | Added more asserts to picorv32, more smtbmc examples | Clifford Wolf | 2016-08-29 | 6 | -3/+190 |
| | | |||||
| * | Added next gen yosys-smtbmc verification scripts | Clifford Wolf | 2016-08-26 | 5 | -0/+207 |
| | | |||||
| * | Minor fixes in scripts/icestorm/ | Clifford Wolf | 2016-07-14 | 2 | -11/+11 |
| | | |||||
| * | RISC-V ISA 2.1 now calls "sbreak" officially "ebreak" | Clifford Wolf | 2016-06-06 | 6 | -9/+9 |
| | | |||||
| * | Added mem timing variations to scripts/csmith/ testbench | Clifford Wolf | 2016-05-07 | 1 | -9/+24 |
| | | |||||
| * | Now using a truly minimalist syscalls.c | Clifford Wolf | 2016-05-05 | 2 | -844/+96 |
| | | |||||
| * | Improvements in scripts/csmith/ | Clifford Wolf | 2016-05-05 | 4 | -61/+77 |
| | | |||||
 |
index : picorv32 | |
| Fork of https://github.com/YosysHQ/picorv32. |
| aboutsummaryrefslogtreecommitdiffstats |