diff options
author | Claire Xen <claire@clairexen.net> | 2021-12-06 16:10:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-06 16:10:29 +0100 |
commit | 1d9f5b7678c008fd4ab71d9c742a70ff2365f186 (patch) | |
tree | 790399a5de1d58ef79e314a2e641bbd21d2e121a /scripts/smt2-bmc | |
parent | 6b1397700f0555d5764b936cea1adc01be017108 (diff) | |
parent | 2cce6f4e8bb341b002352107215d8e93abda1988 (diff) | |
download | picorv32-1d9f5b7678c008fd4ab71d9c742a70ff2365f186.tar.gz picorv32-1d9f5b7678c008fd4ab71d9c742a70ff2365f186.zip |
Merge pull request #166 from tommythorn/master
Enable the use of 64-bit riscv tools
Diffstat (limited to 'scripts/smt2-bmc')
0 files changed, 0 insertions, 0 deletions