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
*
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
*
Updated eval data
Clifford Wolf
2015-07-08
2
-2
/
+16
*
Improved IceStorm example script
Clifford Wolf
2015-07-04
3
-1
/
+75
*
Updated area and timing stats
Clifford Wolf
2015-07-02
1
-0
/
+1
*
Back to Vivado 2015.1
Clifford Wolf
2015-07-01
1
-1
/
+1
*
Vivado 2015.2 area evaluation
Clifford Wolf
2015-07-01
5
-14
/
+9
*
Added vivado synth_area_{small,regular,large}.tcl scripts
Clifford Wolf
2015-07-01
4
-4
/
+33
*
Updated Xilinx 7-Series area stats
Clifford Wolf
2015-07-01
1
-13
/
+7
*
Added "make test_synth"
Clifford Wolf
2015-06-30
1
-0
/
+7
*
Added resource utilization to xilinx eval
Clifford Wolf
2015-06-28
4
-6
/
+148
*
Minor vivado script changes
Clifford Wolf
2015-06-27
2
-0
/
+4
*
Added "make table.txt" vivado scripts
Clifford Wolf
2015-06-27
5
-1
/
+216
*
Updated vivado scripts
Clifford Wolf
2015-06-26
3
-6
/
+4
*
Changed chip package in vivado examples
Clifford Wolf
2015-06-26
2
-2
/
+2
*
Added simple icestorm script (not a real example yet)
Clifford Wolf
2015-06-22
2
-0
/
+7
*
Updated Vivado SoC example
Clifford Wolf
2015-06-10
5
-18
/
+47
*
Makefile for Vivado scripts
Clifford Wolf
2015-06-09
10
-23
/
+58
*
Small improvements in vivado_soc demo
Clifford Wolf
2015-06-08
1
-5
/
+4
*
Added osu018 yosys synthesis script
Clifford Wolf
2015-06-08
6
-1
/
+10
*
Added look-ahead write interface
Clifford Wolf
2015-06-07
1
-21
/
+33
*
Added memory "look-ahead" read interface
Clifford Wolf
2015-06-06
1
-3
/
+7
*
Improved Xilinx example
Clifford Wolf
2015-06-06
4
-0
/
+81