picorv32/scripts
Clifford Wolf 76f30e4810 Updated stats for Vivado 2016.1 2016-04-20 11:38:13 +02:00
..
cxxdemo Using compressed ISA in cxxdemo 2016-04-10 14:58:07 +02:00
icestorm Merge branch 'master' of github.com:cliffordwolf/picorv32 2015-10-13 11:06:40 +02:00
smt2-bmc Better "steps" default in smt2-bmc/sync.py 2015-10-06 11:35:23 +02:00
torture "xori" is sometimes disassembled as "not" (with -1 imm) 2016-04-13 17:30:09 +02:00
vivado Updated stats for Vivado 2016.1 2016-04-20 11:38:13 +02:00
yosys Added scripts/yosys/synth_gates 2015-09-12 14:02:23 +02:00
yosys-cmp Added scripts/yosys-cmp/ 2015-10-30 14:25:04 +01:00