search

openrisc / mor1kx

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

Formal fixups. #159

Closed stffrdhrn closed 3 months ago

stffrdhrn commented 3 months ago

Fix issues with formal ci not working