[ Източник: boogie ]
Пакет: libboogie-cil (2.4.1+dfsg-0.1)
Връзки за libboogie-cil
Ресурси за Trisquel:
Изтегляне на пакет-източник boogie.
Отговорник:
Original Maintainer:
- Benjamin Barenblat
Външни препратки:
- Начална страница [research.microsoft.com]
Подобни пакети:
verifiable programming language (library)
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.
Други пакети, свързани с libboogie-cil
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- Mono System.Core library (for CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)
- Mono System.Drawing library (for CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Mono System.Numerics library (for CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- Mono System.Runtime.Caching Library (for CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- Mono System.Windows.Forms Library (for CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.6.1.3)
- Mono System.Xml library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- Mono System libraries (for CLI 4.0)
Изтегляне на libboogie-cil
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 573,2 кБ | 1918 кБ | [списък на файловете] |