diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-09-14 12:17:26 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-09-14 12:17:26 +0200 |
commit | 482b2299d5e8507ad987c326c5c31a224d380156 (patch) | |
tree | 1b159fa9e8268e7e2c67dd7497a72b490d8f75ba /scripts/smt2-bmc/async.sh | |
parent | 00844092ee97ea69fc9d2e410dc80d148c8291c4 (diff) | |
download | picorv32-482b2299d5e8507ad987c326c5c31a224d380156.tar.gz picorv32-482b2299d5e8507ad987c326c5c31a224d380156.zip |
Updated toolchain build instructions to riscv-gnu-toolchain git 572033b
Diffstat (limited to 'scripts/smt2-bmc/async.sh')
0 files changed, 0 insertions, 0 deletions