blob: 809936b5f236f93cb5a8df25d108d782fcf8a86f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Source: boogie
Section: cli-mono
Priority: extra
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Build-Depends:
debhelper (>= 9),
Build-Depends-Indep:
cli-common-dev (>= 0.8),
mono-devel (>= 2.4.2.3),
mono-reference-assemblies-4.0,
Standards-Version: 3.9.7
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Package: libboogie-cil
Architecture: all
Depends: ${cli:Depends}, ${misc:Depends}
Description: verifiable programming language
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.
|
