cbmc 5.95.1-4ubuntu1 source package in Ubuntu
Changelog
cbmc (5.95.1-4ubuntu1) noble; urgency=medium * Disable LTO everywhere (LP: #2036745) (cbmc is already in lto-disabled-list for amd64 and ppc64el, but not touching that package during final freeze) -- Graham Inggs <email address hidden> Tue, 23 Apr 2024 16:36:24 +0000
Upload details
- Uploaded by:
- Graham Inggs
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Noble | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
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-4ubuntu1.debian.tar.xz | 15.1 KiB | d42e7d30ee042b879e81f12a841cab08e66de9e65242479349cb5a633855db61 |
cbmc_5.95.1-4ubuntu1.dsc | 3.1 KiB | d97f6c7c3fd1150b607471230b47cc683a356207284536943f8b1f1f1a03c1b6 |
Available diffs
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