[ bullseye ]
[ bookworm ]
[ Zdroj: boogie ]
Balík: libboogie-cil (2.4.1+dfsg-0.1)
Odkazy pre libboogie-cil
Zdroje Debian:
Stiahnuť zdrojový balík boogie:
Správca:
Externé zdroje:
- Domovská stránka [research.microsoft.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom libboogie-cil
|
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- základná knižnica Mono (pre CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- knižnica Mono System.Core (pre CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)
- knižnica Mono System.Drawing (pre CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- knižnica Mono System.Numerics (pre CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- knižnica Mono System.Runtime.Caching (pre CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- knižnica Mono System.Windows.Forms (pre CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.6.1.3)
- knižnica Mono System.Xml (pre CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- knižnice systému Mono (pre CLI 4.0)
Stiahnuť libboogie-cil
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 573.2 kB | 1,918.0 kB | [zoznam súborov] |