Ubuntu
cbmc package

cbmc 5.95.1-3 source package in Ubuntu

Changelog

cbmc (5.95.1-3) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <email address hidden>  Fri, 16 Feb 2024 19:10:17 +0000

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cbmc_5.95.1-3.dsc 3.0 KiB 5e85401140693c210a650312248ca207a7527f207ece3461d3fd42f6b88fc6d8
cbmc_5.95.1.orig-java-cprover-api.tar.gz 14.2 KiB 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab
cbmc_5.95.1.orig-java-models-library.tar.gz 292.2 KiB 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9
cbmc_5.95.1.orig.tar.gz 8.7 MiB fdc1e862752430f8d069eb2f9c33dcd05078cf955bbc900e2cc840bcb01b3783
cbmc_5.95.1-3.debian.tar.xz 59.4 KiB 97aa3d45d4e83b930cd704de6d37098da835485600955c0831ae62da75cb72a8

Available diffs

No changes file available.

Binary packages built by this source

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

 CBMC generates traces that demonstrate how an assertion can be violated, or
 proves that the assertion cannot be violated within a given number of loop
 iterations.

cbmc-dbgsym: debug symbols for cbmc
jbmc: bounded model checker for Java programs

 JBMC generates traces that demonstrate how an assertion can be violated, or
 proves that the assertion cannot be violated within a given number of loop
 iterations.

jbmc-dbgsym: debug symbols for jbmc