aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
...
* Run torture test with random PicoRV32 configsClifford Wolf2016-04-125-11/+54
* Added BARREL_SHIFTER config parameterClifford Wolf2016-04-121-0/+1
* Added Kintex/Virtex UltraScale to "make table.txt" in scripts/vivado/Clifford Wolf2016-04-122-1/+11
* Added "make mrpoper" to scripts/torture/Clifford Wolf2016-04-111-2/+5
* Added mul/div support to scripts/torture/Clifford Wolf2016-04-104-22/+18
* Using compressed ISA in cxxdemoClifford Wolf2016-04-102-6/+9
* Support mem_la interface in torture testClifford Wolf2016-04-104-16/+60
* Using Verilator in torture test benchClifford Wolf2016-04-104-14/+46
* Updated riscv-gnu-toolchain (c.addi16sp bugfix)Clifford Wolf2016-04-102-3/+2
* Updated area tableClifford Wolf2016-04-091-0/+1
* Improvements in scripts/torture/Clifford Wolf2016-04-093-1/+23
* Work-around for c.addi16sp zero-imm gas bug (for torture test)Clifford Wolf2016-04-091-1/+3
* Use RV32IC in scripts/torture/Clifford Wolf2016-04-083-2/+3
* Added c_ebreak support to riscv-isa-sim-sbreak.diffClifford Wolf2016-04-081-0/+14
* Batch processing for scripts/torture/Clifford Wolf2016-04-083-4/+98
* Single test support in scripts/torture/Clifford Wolf2016-04-084-22/+115
* Added scripts/torture for riscv-torture testsClifford Wolf2016-04-067-0/+231
* Extended c++ demoClifford Wolf2015-12-011-0/+50
* Bugfix in hex8tohex32.pyClifford Wolf2015-11-181-2/+1
* Added hex8tohex32.py script to cxxdemoClifford Wolf2015-11-174-3/+57
* Added scripts/cxxdemo/Clifford Wolf2015-11-047-0/+698
* Added scripts/yosys-cmp/Clifford Wolf2015-10-306-0/+196
* Merge branch 'master' of github.com:cliffordwolf/picorv32Clifford Wolf2015-10-133-14/+3
|\
| * Minor scripts/icestorm changesClifford Wolf2015-10-083-14/+3
* | Add a missing dependencyLarry Doolittle2015-10-131-2/+2
|/
* Better "steps" default in smt2-bmc/sync.pyClifford Wolf2015-10-061-1/+1
* Improvements to smtio.pyClifford Wolf2015-09-183-2/+3
* 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-223-3/+3
* 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
* Added z3 support to mem_equiv.pyClifford Wolf2015-08-141-10/+20
* Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)Clifford Wolf2015-08-132-14/+107
* Progress with smt2-based bmc scriptsClifford Wolf2015-08-132-188/+203
* Progress with smt2-based bmc scriptsClifford Wolf2015-08-103-21/+183
* Added smt2-based bmc scriptsClifford Wolf2015-08-095-0/+247
* Improvements in icestorm test firmwareClifford Wolf2015-07-311-7/+35
* icestorm sim improvementsClifford Wolf2015-07-213-6/+38
* Improved icestorm exampleClifford Wolf2015-07-193-13/+11
* Improved icestorm exampleClifford Wolf2015-07-199-76/+226
* Added $(VIVADO_BASE) to vivado MakefileClifford Wolf2015-07-161-4/+5
* Improved firmware for vivado "system" exampleClifford Wolf2015-07-162-4/+33
generated by cgit (git 2.34.1) at 2024-07-01 05:39:07 +0000