Skip to content

ESBMC Binaries for MacOS and Binaries_Ubuntu_20.04

Latest
Latest
Compare
Choose a tag to compare
@adilanwar2399 adilanwar2399 released this 07 Jun 03:33
· 21 commits to main since this release
v1.0
604426b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

The binaries of ESBMC attached to this release have been built and tested on MacOS Sonoma 14.5 and on Ubuntu 20.04. We believe that they should work on other versions of Ubuntu and MacOS, but have not tested them.

Assets 4
Loading