search

openrisc / mor1kx

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

Formal checks CI #128

Closed Harshitha172000 closed 3 years ago

Harshitha172000 commented 3 years ago

Added job formal_tests to ci.yml which installs yosys-formal tools and its dependencies to run the Formal checks.

stffrdhrn commented 3 years ago

There are conflicts here after merging formal. Can you rebase?