aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
* Add scripts/presyn/ exampleClifford Wolf2017-02-099-0/+237
* Added riscv.ld linker script (static entry point at 0x10000)Clifford Wolf2017-01-131-1/+1
* Fixed "make test_synth"Clifford Wolf2016-12-151-1/+2
* Added cpu?_trap signals to tracecmp3.vClifford Wolf2016-12-031-0/+4
* Removed old scripts/smt2-bmc/Clifford Wolf2016-12-0310-1075/+0
* Added tracecmp3 smtbmc scriptClifford Wolf2016-11-163-0/+152
* Improved tomthumbtestgenClifford Wolf2016-10-248-33/+62
* Added scripts/tomthumbtestgenClifford Wolf2016-10-236-0/+183
* Added smtbmc axicheck2, improved axicheckClifford Wolf2016-10-016-20/+207
* Added smtbmc axicheckClifford Wolf2016-09-303-0/+201
* Just COMPRESSED_ISA is enough to trigger the bugClifford Wolf2016-09-141-2/+2
* tracecmp2 found a bug in this configClifford Wolf2016-09-131-5/+5
* Added scripts/smtbmc/tracecmp2Clifford Wolf2016-09-134-0/+212
* Merge pull request #18 from wallclimber21/quartusClifford Wolf2016-08-3120-0/+680
|\
| * Delete unusused fileTom Verbeure2016-08-311-8/+0
| * synth_speedTom Verbeure2016-08-303-13/+6
| * Don't delete non-existing filesTom Verbeure2016-08-301-2/+2
| * synth_systemTom Verbeure2016-08-305-36/+9
| * synth_area_large and synth_area_regularTom Verbeure2016-08-306-22/+15
| * Make synth_area_small workTom Verbeure2016-08-305-20/+16
| * Add QUARTUS_BIN prefixTom Verbeure2016-08-301-3/+3
| * Increase countdown by 1Tom Verbeure2016-08-301-1/+1
| * table.txt generation worksTom Verbeure2016-08-293-27/+27
| * Checkpoint: map, fitTom Verbeure2016-08-292-37/+19
| * Make sim_system workTom Verbeure2016-08-292-20/+10
| * Clone vivado dir into quartus dirTom Verbeure2016-08-2920-0/+761
* | Using new yosys write_smt2 cmdlineClifford Wolf2016-08-303-5/+5
* | Minor fixes/cleanups in mul reset logicClifford Wolf2016-08-303-0/+101
|/
* Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-296-3/+190
* Added next gen yosys-smtbmc verification scriptsClifford Wolf2016-08-265-0/+207
* Minor fixes in scripts/icestorm/Clifford Wolf2016-07-142-11/+11
* RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"Clifford Wolf2016-06-066-9/+9
* Added mem timing variations to scripts/csmith/ testbenchClifford Wolf2016-05-071-9/+24
* Now using a truly minimalist syscalls.cClifford Wolf2016-05-052-844/+96
* Improvements in scripts/csmith/Clifford Wolf2016-05-054-61/+77
* Added scripts/csmith/ verilator supportClifford Wolf2016-05-044-12/+68
* Improved "make spike" in scripts/csmith/Clifford Wolf2016-05-041-5/+7
* Added console out to csmith spikeClifford Wolf2016-05-042-0/+15
* Using .vvp instead of .exe for iverilog executablesClifford Wolf2016-05-045-41/+41
* Added scripts/csmith/ spike supportClifford Wolf2016-05-046-21/+69
* Fixed SP init in scripts/{csmith,cxxdemo}/Clifford Wolf2016-05-042-4/+12
* Added scripts/csmith/Clifford Wolf2016-05-036-0/+642
* Updated stats for Vivado 2016.1Clifford Wolf2016-04-201-1/+1
* "xori" is sometimes disassembled as "not" (with -1 imm)Clifford Wolf2016-04-131-0/+1
* Added asmcheck to scripts/torture/Clifford Wolf2016-04-132-4/+43
* Added batch size parameter for torture testClifford Wolf2016-04-131-2/+3
* Fixed scripts/vivado/table.sh output formattingClifford Wolf2016-04-131-3/+3
* Added SBREAK handling for CATCH_ILLINSN=0Clifford Wolf2016-04-131-0/+1
* Added xcku/xcvu handling to scripts/vivado/table.shClifford Wolf2016-04-131-0/+2
* Disabled CATCH_ILLINSN for torture test (needs sbreak)Clifford Wolf2016-04-121-1/+0
generated by cgit (git 2.34.1) at 2024-06-28 02:02:31 +0000