Ubuntu
boogie package

boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 source package in Ubuntu

Changelog

boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium

  ** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 **

  * New snapshot for Dafny 1.9.8.
  * Build-Depend on tzdata (Closes: #839497).

 -- Benjamin Barenblat <email address hidden>  Sat, 29 Oct 2016 21:52:24 -0400

Upload details

Uploaded by:
Benjamin Barenblat
Uploaded to:
Sid
Original maintainer:
Benjamin Barenblat
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Builds

Zesty: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc 1.8 KiB 558271107960de778a6c6be297bbf881f348c407d892d12ef8228edc1c165b4a
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz 1.8 MiB 79a7bdf5a3ecb6dde8c0341a1d16537f2b5cc09771e573c84e19c5cfeecbcb85
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz 8.5 KiB 0fa578e7b5d5c375c3c35e020d0ebed69d0d96cf9d52214d7d23c070c1cac63f

No changes file available.

Binary packages built by this source

boogie: verifiable programming language (compiler)

 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 compiler, as well as bvd, the Boogie
 Verification Debugger.

libboogie-cil: 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.