dafny 1.9.7-1 source package in Ubuntu

Changelog

dafny (1.9.7-1) unstable; urgency=medium

  * New upstream release.

 -- Benjamin Barenblat <email address hidden>  Sun, 05 Jun 2016 17:10:37 -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

Yakkety: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
dafny_1.9.7-1.dsc 1.5 KiB 05bf1920242b5381747cb867ad038327e8d43e9fa4130b79836f20b7408d1da8
dafny_1.9.7.orig.tar.gz 6.1 MiB bee7bac4aa5328b771193df1272e644b7c7afdad56ade15cd6a80c2a55d232d9
dafny_1.9.7-1.debian.tar.xz 10.3 KiB f9b3f3d70fe00d39f3761a6b14c94f6eb3a11ace14adc894b095d01d30de0803

Available diffs

No changes file available.

Binary packages built by this source

dafny: programming language with program correctness verifier

 Dafny is a programming language with a program verifier. The verifier
 processes function preconditions, postconditions, and assertions, and sends
 them to an SMT solver for checking. In this way, assertion failures become
 compiler errors, rather than runtime ones.