^^ Package definition of libboogie-cil

Package

libboogie-cil

Source

boogie

Version

2.4.1+dfsg-0.1

Architecture

all

Maintainer

Benjamin Barenblat

Installed-Size

1918

Depends

Section

Priority

optional

Homepage

Description

verifiable programming language (library)

Boogie is a compiler intermediate language with support for automatic invariantchecking using an SMT solver such as Z3. It supports program verification fora variety of other, higher-level languages, including Spec\#, C, Dafny, andChalice..This package contains the Boogie library.

Files

  • /usr/lib/boogie
    • BoogieAbsInt.dll 39424
    • BoogieBasetypes.dll 30208
    • BoogieCodeContractsExtender.dll 7168
    • BoogieConcurrency.dll 158720
    • BoogieCore.dll 488960
    • BoogieDoomed.dll 44032
    • BoogieExecutionEngine.dll 65536
    • BoogieGraph.dll 30720
    • BoogieHoudini.dll 163328
    • BoogieModel.dll 28160
    • BoogieModelViewer.dll 355328
    • BoogieParserHelper.dll 7168
    • BoogiePredication.dll 31744
    • BoogieVCExpr.dll 161792
    • BoogieVCGeneration.dll 216064
    • Provers.SMTLib.dll 116736
  • /usr/share/doc/libboogie-cil
    • README.md 4055
    • changelog.Debian.gz 818
    • copyright 1662