Ubuntu
cbmc package

cbmc 6.0.1-2 source package in Ubuntu

Changelog

cbmc (6.0.1-2) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <email address hidden>  Fri, 05 Jul 2024 17:55:42 +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
Oracular release universe science

Downloads

File Size SHA-256 Checksum
cbmc_6.0.1-2.dsc 3.0 KiB c359d4ddc907071cd972302f9b4cdf372400c0b0a22f69de59ce0f9fc5f3dcb7
cbmc_6.0.1.orig-java-cprover-api.tar.gz 14.2 KiB 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab
cbmc_6.0.1.orig-java-models-library.tar.gz 292.2 KiB 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9
cbmc_6.0.1.orig.tar.gz 8.7 MiB 8f954bbc13e8b56ef1990e81feb283c77775f86c45a81487416dda1c66ba6e25
cbmc_6.0.1-2.debian.tar.xz 17.6 KiB c1edb362266c24436d2a4376e5fb9cc4f626d493c6913a6b50b926624131c703

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