diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-03 14:40:13 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-03 14:40:13 +0200 |
| commit | d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9 (patch) | |
| tree | fe93b50b4027155edaf1f7a20eae47a721ae7d42 /Makefile | |
| parent | 0906b1b4b4c28c441d2601171956bca853608d1d (diff) | |
| download | picorv32-d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9.tar.gz picorv32-d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9.zip | |
Minor bugfix/cleanup (mostly for formal verification)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions