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 | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | misc |
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
- diff from 1.9.5-1 to 1.9.7-1 (817.4 KiB)
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.