Ubuntu
cbmc package

cbmc 5.95.1-4 source package in Ubuntu

Changelog

cbmc (5.95.1-4) unstable; urgency=low

  * Fix portability problems for hurd and sh4

 -- Michael Tautschnig <email address hidden>  Mon, 19 Feb 2024 12:28: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-4.dsc 3.0 KiB 5ac9fc60e7704ed37a2a83a289b62f07d4f8d7e885b4fa39a50fc83767dfa2fc
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-4.debian.tar.xz 15.0 KiB fcd097ce7595f7559d7077019eee11135136ffd594224ee77cba27867226e293

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