index
:
picorv32
master
toolchain-hack-nosbh
Fork of https://github.com/YosysHQ/picorv32.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
scripts
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added mul/div support to scripts/torture/
Clifford Wolf
2016-04-10
4
-22
/
+18
*
Using compressed ISA in cxxdemo
Clifford Wolf
2016-04-10
2
-6
/
+9
*
Support mem_la interface in torture test
Clifford Wolf
2016-04-10
4
-16
/
+60
*
Using Verilator in torture test bench
Clifford Wolf
2016-04-10
4
-14
/
+46
*
Updated riscv-gnu-toolchain (c.addi16sp bugfix)
Clifford Wolf
2016-04-10
2
-3
/
+2
*
Updated area table
Clifford Wolf
2016-04-09
1
-0
/
+1
*
Improvements in scripts/torture/
Clifford Wolf
2016-04-09
3
-1
/
+23
*
Work-around for c.addi16sp zero-imm gas bug (for torture test)
Clifford Wolf
2016-04-09
1
-1
/
+3
*
Use RV32IC in scripts/torture/
Clifford Wolf
2016-04-08
3
-2
/
+3
*
Added c_ebreak support to riscv-isa-sim-sbreak.diff
Clifford Wolf
2016-04-08
1
-0
/
+14
*
Batch processing for scripts/torture/
Clifford Wolf
2016-04-08
3
-4
/
+98
*
Single test support in scripts/torture/
Clifford Wolf
2016-04-08
4
-22
/
+115
*
Added scripts/torture for riscv-torture tests
Clifford Wolf
2016-04-06
7
-0
/
+231
*
Extended c++ demo
Clifford Wolf
2015-12-01
1
-0
/
+50
*
Bugfix in hex8tohex32.py
Clifford Wolf
2015-11-18
1
-2
/
+1
*
Added hex8tohex32.py script to cxxdemo
Clifford Wolf
2015-11-17
4
-3
/
+57
*
Added scripts/cxxdemo/
Clifford Wolf
2015-11-04
7
-0
/
+698
*
Added scripts/yosys-cmp/
Clifford Wolf
2015-10-30
6
-0
/
+196
*
Merge branch 'master' of github.com:cliffordwolf/picorv32
Clifford Wolf
2015-10-13
3
-14
/
+3
|
\
|
*
Minor scripts/icestorm changes
Clifford Wolf
2015-10-08
3
-14
/
+3
*
|
Add a missing dependency
Larry Doolittle
2015-10-13
1
-2
/
+2
|
/
*
Better "steps" default in smt2-bmc/sync.py
Clifford Wolf
2015-10-06
1
-1
/
+1
*
Improvements to smtio.py
Clifford Wolf
2015-09-18
3
-2
/
+3
*
Added scripts/yosys/synth_gates
Clifford Wolf
2015-09-12
3
-0
/
+76
*
Improvements in smtio.py
Clifford Wolf
2015-08-28
3
-86
/
+94
*
Improvements in smtio.py "timer display during solving" feature
Clifford Wolf
2015-08-28
1
-8
/
+13
*
Added smtio.py "timer display during solving" feature
Clifford Wolf
2015-08-27
3
-5
/
+51
*
Added mkvcd class to smtio.py
Clifford Wolf
2015-08-27
1
-0
/
+29
*
Added (set-info ..) generation to smtio.py
Clifford Wolf
2015-08-27
3
-20
/
+32
*
Using "#!/usr/bin/env python3"
Clifford Wolf
2015-08-22
3
-3
/
+3
*
More improvements in smt2-bmc scripts
Clifford Wolf
2015-08-15
4
-3
/
+128
*
Added cvc4 and mathsat to scripts/smt2-bmc
Clifford Wolf
2015-08-15
1
-0
/
+6
*
Added scripts/smt2-bmc/sync.*
Clifford Wolf
2015-08-15
7
-5
/
+312
*
Renamed scripts/smt2-bmc/mem_equiv to .../async
Clifford Wolf
2015-08-15
6
-19
/
+19
*
Refactoring of scripts/smt2-bmc/
Clifford Wolf
2015-08-15
2
-211
/
+220
*
Added z3 support to mem_equiv.py
Clifford Wolf
2015-08-14
1
-10
/
+20
*
Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)
Clifford Wolf
2015-08-13
2
-14
/
+107
*
Progress with smt2-based bmc scripts
Clifford Wolf
2015-08-13
2
-188
/
+203
*
Progress with smt2-based bmc scripts
Clifford Wolf
2015-08-10
3
-21
/
+183
*
Added smt2-based bmc scripts
Clifford Wolf
2015-08-09
5
-0
/
+247
*
Improvements in icestorm test firmware
Clifford Wolf
2015-07-31
1
-7
/
+35
*
icestorm sim improvements
Clifford Wolf
2015-07-21
3
-6
/
+38
*
Improved icestorm example
Clifford Wolf
2015-07-19
3
-13
/
+11
*
Improved icestorm example
Clifford Wolf
2015-07-19
9
-76
/
+226
*
Added $(VIVADO_BASE) to vivado Makefile
Clifford Wolf
2015-07-16
1
-4
/
+5
*
Improved firmware for vivado "system" example
Clifford Wolf
2015-07-16
2
-4
/
+33
*
Improved vivado "system" example
Clifford Wolf
2015-07-12
2
-16
/
+56
*
Vivado "system" example
Clifford Wolf
2015-07-09
10
-21
/
+142
*
Updated evaluation
Clifford Wolf
2015-07-08
5
-5
/
+9
*
Enabled report_timing in vivado synth_area scripts
Clifford Wolf
2015-07-08
4
-4
/
+4
[next]