معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

Output conversion utilities for CBMC

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	cbmc-utils
نام فایل بسته	cbmc-utils-5.50.0-2.fc37.x86_64.rpm
نسخه بسته	5.50.0
انتشار بسته	2.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Thu 21 Jul 2022 03
هاست سازنده	buildvm-x86-10.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.cprover.org/cbmc/
مجوز	BSD with advertising
حجم دانلود	13K
حجم نصب	9.137K

Output conversion utilities for CBMC (GCC like format).

بسته	نسخه	معماری	مخزن
cbmc-utils-5.50.0-2.fc37.aarch64.rpm	5.50.0	aarch64	Fedora Everything

مقدار	نام
-	/usr/bin/bash
-	/usr/bin/python3

مقدار	نام
= 5.50.0-2.fc37	cbmc-utils
= 5.50.0-2.fc37	cbmc-utils(x86-64)

نصب پکیج rpm cbmc-utils:

dnf install cbmc-utils-5.50.0-2.fc37.x86_64.rpm

مسیرها
/usr/bin/cbmc-convert-output
/usr/bin/csexec-cbmc
/usr/share/licenses/cbmc-utils

تاریخ آخرین تغییر	جزئیات
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
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-11-02	New upstream release
2020-10-08	New upstream release
2020-09-30	New upstream release
2020-09-29	New upstream release Use CMake instead of plain Makefiles Add cbmc-utils subpackage