diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-08-13 13:30:21 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-08-13 13:30:21 +0200 |
commit | 16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5 (patch) | |
tree | 601e4d84a0a719d619523425f028621169b66900 /scripts/vivado/.gitignore | |
parent | 8397962424388b755df18e368920d86f20391671 (diff) | |
download | picorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.tar.gz picorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.zip |
Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)
Diffstat (limited to 'scripts/vivado/.gitignore')
0 files changed, 0 insertions, 0 deletions