معرفی شرکت ها
cbmc-doc-5.50.0-2.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | cbmc-doc |
| نام فایل بسته | cbmc-doc-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 |
| حجم دانلود | 33M |
| حجم نصب | 362.444M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| cbmc-doc-5.50.0-2.fc37.aarch64.rpm | 5.50.0 | aarch64 | Fedora Everything |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 5.50.0-2.fc37 | cbmc-doc |
| = 5.50.0-2.fc37 | cbmc-doc(x86-64) |
نحوه نصب
نصب پکیج rpm cbmc-doc:
dnf install cbmc-doc-5.50.0-2.fc37.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/share/doc/cbmc-doc |
| /usr/share/doc/cbmc-doc/html |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp.js |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__object_8cpp.html |
| ... and 26935 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|
| 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
|
| 2021-08-04 |
New upstream release
|
| 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
|
| 2021-02-23 |
Add goto-clang for a hybrid binary translation
|
| 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
|