معرفی شرکت ها

libboogie-cil_2.4.1+dfsg-0.1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

verifiable programming language (library)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Mantic-23.10
مخزن Ubuntu universe all
نام بسته libboogie-cil
نام فایل بسته libboogie-cil_2.4.1+dfsg-0.1_all.deb
نسخه بسته 2.4.1+dfsg
انتشار بسته 0.1
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://research.microsoft.com/en-us/projects/boogie/
مجوز -
حجم دانلود 586956
حجم نصب 1918
Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice. . This package contains the Boogie library.


نیازمندی

مقدار نام
>= 5.18.0.240 libmono-corlib4.5-cil
>= 5.18.0.240 libmono-system-core4.0-cil
>= 5.12.0.309 libmono-system-drawing4.0-cil
>= 5.16.0.220 libmono-system-numerics4.0-cil
>= 5.12.0.309 libmono-system-runtime-caching4.0-cil
>= 5.16.0.220 libmono-system-windows-forms4.0-cil
>= 4.6.1.3 libmono-system-xml4.0-cil
>= 5.18.0.240 libmono-system4.0-cil


نحوه نصب


نصب پکیج deb libboogie-cil:

    sudo apt-get install libboogie-cil_2.4.1+dfsg-0.1_all.deb


فایل ها

مسیرها
./usr/lib/boogie/BoogieAbsInt.dll
./usr/lib/boogie/BoogieBasetypes.dll
./usr/lib/boogie/BoogieCodeContractsExtender.dll
./usr/lib/boogie/BoogieConcurrency.dll
./usr/lib/boogie/BoogieCore.dll
./usr/lib/boogie/BoogieDoomed.dll
./usr/lib/boogie/BoogieExecutionEngine.dll
./usr/lib/boogie/BoogieGraph.dll
./usr/lib/boogie/BoogieHoudini.dll
./usr/lib/boogie/BoogieModel.dll
./usr/lib/boogie/BoogieModelViewer.dll
./usr/lib/boogie/BoogieParserHelper.dll
./usr/lib/boogie/BoogiePredication.dll
./usr/lib/boogie/BoogieVCExpr.dll
./usr/lib/boogie/BoogieVCGeneration.dll
./usr/lib/boogie/Provers.SMTLib.dll
./usr/share/doc/libboogie-cil/README.md
./usr/share/doc/libboogie-cil/changelog.Debian.gz
./usr/share/doc/libboogie-cil/copyright