Skip to content

Releases: diffblue/hw-cbmc

ebmc-5.3

05 Nov 22:12
a7bf36c
Compare
Choose a tag to compare

This is EBMC version 5.3.

Debian, Ubuntu and derivates

For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run

dpkg -i ebmc_5.3_amd64.deb

Red Hat Linux and derivates

For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run

rpm -i ebmc-5.3-1.x86_64.rpm

ebmc-5.2

10 Oct 18:12
d308e09
Compare
Choose a tag to compare

This is EBMC version 5.2.

Debian, Ubuntu and derivates

For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run

dpkg -i ebmc_5.2_amd64.deb

Red Hat Linux and derivates

For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run

rpm -i ebmc-5.2-1.x86_64.rpm

ebmc-5.1

07 Aug 16:26
3296ed5
Compare
Choose a tag to compare

This is EBMC version 5.1.

Debian, Ubuntu and derivates

For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run

dpkg -i ebmc_5.1_amd64.deb

Red Hat Linux and derivates

For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run

rpm -i ebmc-5.1-1.x86_64.rpm

ebmc-5.0

16 Jul 22:00
61e797f
Compare
Choose a tag to compare

This is EBMC version 5.0.

Debian, Ubuntu and derivates

For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run

dpkg -i ebmc_5.0_amd64.deb

Red Hat Linux and derivates

For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run

rpm -i ebmc-5.0-1.x86_64.rpm