Publishing details

• Published on 2023-10-01

Changelog

cbmc (5.89.0-2ubuntu1~ppa3) mantic; urgency=medium

  * Build for PPA.

cbmc (5.89.0-2ubuntu1) mantic; urgency=medium

  * Disable lto and ARM64 vector math (LP: #2036745).

 -- Vladimir Petko <email address hidden>  Mon, 02 Oct 2023 10:28:16 +1300

Builds

• amd64
• arm64
• armhf
• ppc64el
• s390x

Built packages

• cbmc bounded model checker for C and C++ programs

• jbmc bounded model checker for Java programs

Package files

• cbmc_5.89.0-2ubuntu1~ppa3.debian.tar.xz (57.4 KiB)
• cbmc_5.89.0-2ubuntu1~ppa3.dsc (2.8 KiB)
• cbmc_5.89.0-2ubuntu1~ppa3_amd64.deb (20.3 MiB)
• cbmc_5.89.0-2ubuntu1~ppa3_armhf.deb (14.9 MiB)
• cbmc_5.89.0-2ubuntu1~ppa3_ppc64el.deb (22.2 MiB)
• cbmc_5.89.0-2ubuntu1~ppa3_s390x.deb (20.4 MiB)
• cbmc_5.89.0.orig-java-cprover-api.tar.gz (14.2 KiB)
• cbmc_5.89.0.orig-java-models-library.tar.gz (292.2 KiB)
• cbmc_5.89.0.orig.tar.gz (8.6 MiB)
• jbmc_5.89.0-2ubuntu1~ppa3_amd64.deb (8.0 MiB)
• jbmc_5.89.0-2ubuntu1~ppa3_armhf.deb (5.5 MiB)
• jbmc_5.89.0-2ubuntu1~ppa3_ppc64el.deb (8.7 MiB)
• jbmc_5.89.0-2ubuntu1~ppa3_s390x.deb (8.2 MiB)