معرفی شرکت ها


cbmc-5.50.0-4.fc38.src.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Bounded Model Checker for ANSI-C and C++ programs
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته cbmc
نام فایل بسته cbmc-5.50.0-4.fc38.src.rpm
نسخه بسته 5.50.0
انتشار بسته 4.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Thu 16 Feb 2023 11
هاست سازنده buildvm-x86-22.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://www.cprover.org/cbmc
مجوز BSD-4-Clause
حجم دانلود 8.1M
حجم نصب 8.499M
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-5.50.0-4.fc38.aarch64.rpm 5.50.0 aarch64 Fedora Everything
cbmc-5.50.0-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything
cbmc-debuginfo-5.50.0-4.fc38.aarch64.rpm 5.50.0 aarch64 Fedora Everything
cbmc-debuginfo-5.50.0-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything
cbmc-debugsource-5.50.0-4.fc38.aarch64.rpm 5.50.0 aarch64 Fedora Everything
cbmc-debugsource-5.50.0-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything
cbmc-doc-5.50.0-4.fc38.aarch64.rpm 5.50.0 aarch64 Fedora Everything
cbmc-doc-5.50.0-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything
cbmc-utils-5.50.0-4.fc38.aarch64.rpm 5.50.0 aarch64 Fedora Everything
cbmc-utils-5.50.0-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything


نیازمندی

مقدار نام
- bison
- cmake
- doxygen
- flex
- gcc-c++
- gdb
- glpk-devel
- jq
- minisat2-devel
- ninja-build
- perl
- python3
- z3
- zlib-devel


ارائه دهنده

مقدار نام
= 5.50.0-4.fc38 cbmc
= 5.50.0-4.fc38 cbmc-doc
= 5.50.0-4.fc38 cbmc-utils
= 5.50.0-4.fc38 cbmc-debuginfo
= 5.50.0-4.fc38 cbmc-debugsource


نحوه نصب


نصب پکیج rpm cbmc:

    dnf install cbmc-5.50.0-4.fc38.src.rpm


فایل ها

مسیرها
cbmc-5.12-fix-f33.patch
cbmc-5.50.0.tar.gz
cbmc-5.9-glpk.patch
cbmc-add-cmd-line-arg.patch
cbmc-disable-werror.patch
cbmc-f34-fix-build.patch
cbmc-f35-deprecated-python.patch
cbmc-f35-enable_sse2.patch
cbmc-f36-fix-build-gcc12-incompatibility.patch
cbmc-f38-gcc13.patch
cbmc-minisat.patch
cbmc-utils-1.3.tar.gz


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-29

Fix F38 FTBFS
Use SPDX license format
Modernize the spec a bit

2023-01-18

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-02-09

New upstream release of cbmc and also cbmc-utils
Add "--add-cmd-line-arg" option for goto-instrument

2022-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-09-15

New upstream release of cbmc and also cbmc-utils

2021-08-23

New upstream release
fix broken indentation in a patch

2021-08-04

New upstream release
Use plain doxygen to cut-down some build dependencies

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-05-12

New upstream release

2021-03-10

Add Requires: clang

2021-03-10

Add csexec-cbmc.sh script
New upstream release

2021-02-23

Add goto-clang for a hybrid binary translation
New upstream release