aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
* 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
* Improved vivado "system" exampleClifford Wolf2015-07-122-16/+56
* Vivado "system" exampleClifford Wolf2015-07-0910-21/+142
* Updated evaluationClifford Wolf2015-07-085-5/+9
* Enabled report_timing in vivado synth_area scriptsClifford Wolf2015-07-084-4/+4
* Updated eval dataClifford Wolf2015-07-082-2/+16
* Improved IceStorm example scriptClifford Wolf2015-07-043-1/+75
* Updated area and timing statsClifford Wolf2015-07-021-0/+1
* Back to Vivado 2015.1Clifford Wolf2015-07-011-1/+1
* Vivado 2015.2 area evaluationClifford Wolf2015-07-015-14/+9
* Added vivado synth_area_{small,regular,large}.tcl scriptsClifford Wolf2015-07-014-4/+33
generated by cgit (git 2.34.1) at 2024-07-01 12:12:58 +0000