Ubuntu
cbmc package

cbmc 5.95.1-6 source package in Ubuntu

Changelog

cbmc (5.95.1-6) unstable; urgency=low

  * Add mmap64, __time64 support

 -- Michael Tautschnig <email address hidden>  Tue, 30 Apr 2024 08:41:23 +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_5.95.1-6.dsc 3.0 KiB c6a04692a7408797e16122b1bb1084a758d1411b1e3ddec665c6dd8ca8a466b5
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-6.debian.tar.xz 17.4 KiB 2771f0bf5fd6c20259aaf1d187634f1e4949f3ea8086c8737ea06f27007bca89

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