aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/icestorm
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-08-13 13:30:21 +0200
committerClifford Wolf <clifford@clifford.at>2015-08-13 13:30:21 +0200
commit16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5 (patch)
tree601e4d84a0a719d619523425f028621169b66900 /scripts/icestorm
parent8397962424388b755df18e368920d86f20391671 (diff)
downloadpicorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.tar.gz
picorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.zip
Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)
Diffstat (limited to 'scripts/icestorm')
0 files changed, 0 insertions, 0 deletions