cbmc 5.84.0-6 source package in Ubuntu
Changelog
cbmc (5.84.0-6) unstable; urgency=low * Fix further portability problems (Closes: #1038866) -- Michael Tautschnig <email address hidden> Sun, 25 Jun 2023 20:14:35 +0100
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 | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cbmc_5.84.0-6.dsc | 2.9 KiB | dea00926498044150e7e11417eecd3dd84bbcb10f5465b1a7cc94deae5eb1cbb |
| cbmc_5.84.0.orig-java-cprover-api.tar.gz | 14.2 KiB | 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab |
| cbmc_5.84.0.orig-java-models-library.tar.gz | 292.2 KiB | 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 |
| cbmc_5.84.0.orig.tar.gz | 8.6 MiB | f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 |
| cbmc_5.84.0-6.debian.tar.xz | 55.0 KiB | ad9a0908a6673092701b1ff42a8aaca5c54b0753f49ef72a7daf3cf6ff25e039 |
Available diffs
- diff from 5.84.0-5 to 5.84.0-6 (2.6 KiB)
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: No summary available for jbmc in ubuntu mantic.
No description available for jbmc in ubuntu mantic.
- jbmc-dbgsym: No summary available for jbmc-dbgsym in ubuntu mantic.
No description available for jbmc-dbgsym in ubuntu mantic.
