awesome-open-hardware-verification icon indicating copy to clipboard operation
awesome-open-hardware-verification copied to clipboard

Published 20 hours ago • verified publisher icon ben-marshall

Add EBMC source code link

Open pseidel-iec opened this issue 5 months ago • 0 comments

A link to the github repo is provided in the cprover.org link.

Added the source code link, updated the license link, and say it is made in C++. Removed the note saying source is unavailable.

pseidel-iec avatar May 19 '25 17:05 pseidel-iec