Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|\ | |||||
| * | 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 |
* | Added scripts/csmith/ verilator support | Clifford Wolf | 2016-05-04 | 4 | -12/+68 |
* | Improved "make spike" in scripts/csmith/ | Clifford Wolf | 2016-05-04 | 1 | -5/+7 |
* | Added console out to csmith spike | Clifford Wolf | 2016-05-04 | 2 | -0/+15 |
* | Using .vvp instead of .exe for iverilog executables | Clifford Wolf | 2016-05-04 | 5 | -41/+41 |
* | Added scripts/csmith/ spike support | Clifford Wolf | 2016-05-04 | 6 | -21/+69 |
* | Fixed SP init in scripts/{csmith,cxxdemo}/ | Clifford Wolf | 2016-05-04 | 2 | -4/+12 |
* | Added scripts/csmith/ | Clifford Wolf | 2016-05-03 | 6 | -0/+642 |
* | Updated stats for Vivado 2016.1 | Clifford Wolf | 2016-04-20 | 1 | -1/+1 |
* | "xori" is sometimes disassembled as "not" (with -1 imm) | Clifford Wolf | 2016-04-13 | 1 | -0/+1 |
* | Added asmcheck to scripts/torture/ | Clifford Wolf | 2016-04-13 | 2 | -4/+43 |
* | Added batch size parameter for torture test | Clifford Wolf | 2016-04-13 | 1 | -2/+3 |
* | Fixed scripts/vivado/table.sh output formatting | Clifford Wolf | 2016-04-13 | 1 | -3/+3 |