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
*
Improved tomthumbtestgen
Clifford Wolf
2016-10-24
8
-33
/
+62
*
Added scripts/tomthumbtestgen
Clifford Wolf
2016-10-23
6
-0
/
+183
*
Added smtbmc axicheck2, improved axicheck
Clifford Wolf
2016-10-01
6
-20
/
+207
*
Added smtbmc axicheck
Clifford Wolf
2016-09-30
3
-0
/
+201
*
Just COMPRESSED_ISA is enough to trigger the bug
Clifford Wolf
2016-09-14
1
-2
/
+2
*
tracecmp2 found a bug in this config
Clifford Wolf
2016-09-13
1
-5
/
+5
*
Added scripts/smtbmc/tracecmp2
Clifford Wolf
2016-09-13
4
-0
/
+212
*
Merge pull request #18 from wallclimber21/quartus
Clifford Wolf
2016-08-31
20
-0
/
+680
|
\
|
*
Delete unusused file
Tom Verbeure
2016-08-31
1
-8
/
+0
|
*
synth_speed
Tom Verbeure
2016-08-30
3
-13
/
+6
|
*
Don't delete non-existing files
Tom Verbeure
2016-08-30
1
-2
/
+2
|
*
synth_system
Tom Verbeure
2016-08-30
5
-36
/
+9
|
*
synth_area_large and synth_area_regular
Tom Verbeure
2016-08-30
6
-22
/
+15
|
*
Make synth_area_small work
Tom Verbeure
2016-08-30
5
-20
/
+16
|
*
Add QUARTUS_BIN prefix
Tom Verbeure
2016-08-30
1
-3
/
+3
|
*
Increase countdown by 1
Tom Verbeure
2016-08-30
1
-1
/
+1
|
*
table.txt generation works
Tom Verbeure
2016-08-29
3
-27
/
+27
|
*
Checkpoint: map, fit
Tom Verbeure
2016-08-29
2
-37
/
+19
|
*
Make sim_system work
Tom Verbeure
2016-08-29
2
-20
/
+10
|
*
Clone vivado dir into quartus dir
Tom Verbeure
2016-08-29
20
-0
/
+761
*
|
Using new yosys write_smt2 cmdline
Clifford Wolf
2016-08-30
3
-5
/
+5
*
|
Minor fixes/cleanups in mul reset logic
Clifford Wolf
2016-08-30
3
-0
/
+101
|
/
*
Added more asserts to picorv32, more smtbmc examples
Clifford Wolf
2016-08-29
6
-3
/
+190
*
Added next gen yosys-smtbmc verification scripts
Clifford Wolf
2016-08-26
5
-0
/
+207
*
Minor fixes in scripts/icestorm/
Clifford Wolf
2016-07-14
2
-11
/
+11
*
RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"
Clifford Wolf
2016-06-06
6
-9
/
+9
*
Added mem timing variations to scripts/csmith/ testbench
Clifford Wolf
2016-05-07
1
-9
/
+24
*
Now using a truly minimalist syscalls.c
Clifford Wolf
2016-05-05
2
-844
/
+96
*
Improvements in scripts/csmith/
Clifford Wolf
2016-05-05
4
-61
/
+77
*
Added scripts/csmith/ verilator support
Clifford Wolf
2016-05-04
4
-12
/
+68
*
Improved "make spike" in scripts/csmith/
Clifford Wolf
2016-05-04
1
-5
/
+7
*
Added console out to csmith spike
Clifford Wolf
2016-05-04
2
-0
/
+15
*
Using .vvp instead of .exe for iverilog executables
Clifford Wolf
2016-05-04
5
-41
/
+41
*
Added scripts/csmith/ spike support
Clifford Wolf
2016-05-04
6
-21
/
+69
*
Fixed SP init in scripts/{csmith,cxxdemo}/
Clifford Wolf
2016-05-04
2
-4
/
+12
*
Added scripts/csmith/
Clifford Wolf
2016-05-03
6
-0
/
+642
*
Updated stats for Vivado 2016.1
Clifford Wolf
2016-04-20
1
-1
/
+1
*
"xori" is sometimes disassembled as "not" (with -1 imm)
Clifford Wolf
2016-04-13
1
-0
/
+1
*
Added asmcheck to scripts/torture/
Clifford Wolf
2016-04-13
2
-4
/
+43
*
Added batch size parameter for torture test
Clifford Wolf
2016-04-13
1
-2
/
+3
*
Fixed scripts/vivado/table.sh output formatting
Clifford Wolf
2016-04-13
1
-3
/
+3
*
Added SBREAK handling for CATCH_ILLINSN=0
Clifford Wolf
2016-04-13
1
-0
/
+1
*
Added xcku/xcvu handling to scripts/vivado/table.sh
Clifford Wolf
2016-04-13
1
-0
/
+2
*
Disabled CATCH_ILLINSN for torture test (needs sbreak)
Clifford Wolf
2016-04-12
1
-1
/
+0
*
Run torture test with random PicoRV32 configs
Clifford Wolf
2016-04-12
5
-11
/
+54
*
Added BARREL_SHIFTER config parameter
Clifford Wolf
2016-04-12
1
-0
/
+1
*
Added Kintex/Virtex UltraScale to "make table.txt" in scripts/vivado/
Clifford Wolf
2016-04-12
2
-1
/
+11
*
Added "make mrpoper" to scripts/torture/
Clifford Wolf
2016-04-11
1
-2
/
+5
*
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
[next]