search

openrisc / mor1kx

mor1kx - an OpenRISC 1000 processor IP core
Other
490 stars 146 forks source link

ci: Get working on latest ubuntu #154

Closed stffrdhrn closed 1 year ago

stffrdhrn commented 1 year ago

formal is failing because the core has issues, this PR is good as it fixes CI