Ubuntu
why3 package

why3 0.88.3-1ubuntu1 source package in Ubuntu

Changelog

why3 (0.88.3-1ubuntu1) bionic; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.

why3 (0.88.3-1) unstable; urgency=medium

  * New upstream version.
    - drop creation of empty directories in debian/rules, this has been
      fixed by upstream.
  * Standards-Version 4.1.3 (no change)
  * debian/rules:
    - fix configure stamps
    - drop build stamps, we do not need them.
    - dh-install: exclude extra LICENSE file
    - drop override_dh_auto_build
  * debhelper compatibility level 11

why3 (0.88.2-1) unstable; urgency=medium

  * New upstream version.
  * Standards-Version 4.1.2 (no change)
  * d/rules:
    - recreate in target configure the empty directories that are
      in the orig tarball.
    - invoke dh_missing with --fail-missing
  * fix why3.install, add missing files from usr/lib
  * Added build-dep-indep texlive-bibtex-extra
  * debhelper compat level 10
  * New SMT solver cvc4:
    - add as an alternative Recommends
    - add autopkgtest test case

 -- Gianfranco Costamagna <email address hidden>  Tue, 30 Jan 2018 10:46:52 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
why3_0.88.3.orig.tar.gz 4.0 MiB 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552
why3_0.88.3-1ubuntu1.debian.tar.xz 12.9 KiB d143f609f5118f630ee6572745af7f29f643bc715c7df647083f32e2ec535287
why3_0.88.3-1ubuntu1.dsc 2.7 KiB e3e9ab7ab7f3843e7fb1d59980234c5c72edcaed3d459187949466e2be224f9c

Available diffs

View changes file

Binary packages built by this source

libwhy3-ocaml-dev: OCaml librariries for why3 (dev)

 This package contains the libraries of the why3 verification platform
 for developing applications using why3.

why3: Software verification platform

 Why3 is a platform for deductive program verification. It provides a
 rich language for specification and programming, called WhyML, and
 relies on external theorem provers, both automated and interactive,
 to discharge verification conditions. Why3 comes with a standard
 library of logical theories (integer and real arithmetic, Boolean
 operations, sets and maps, etc.) and basic programming data
 structures (arrays, queues, hash tables, etc.). A user can write
 WhyML programs directly and get correct-by-construction OCaml
 programs through an automated extraction mechanism. WhyML is also
 used as an intermediate language for the verification of C, Java, or
 Ada programs.
 .
 Why3 is a complete reimplementation of the former Why platform. Among
 the new features are: numerous extensions to the input language, a
 new architecture for calling external provers, and a well-designed
 API, allowing to use Why3 as a software library. An important
 emphasis is put on modularity and genericity, giving the end user a
 possibility to easily reuse Why3 formalizations or to add support for
 a new external prover if wanted.

why3-coq: Coq support for the why3 verification platform

 This package contains the compiled coq files that are necessary to
 use the coq proof assistant together with the why3 deductive
 verification platform, as well as the why3 tactic for coq.

why3-coq-dbgsym: debug symbols for why3-coq
why3-dbgsym: debug symbols for why3
why3-doc-html: HTML Documentation of the why3 verification platform

 This package contains the tutorial and reference manual of the
 why3 verification platform in HTML format.

why3-doc-pdf: PDF Documentation of the why3 verification platform

 This package contains the tutorial and reference manual of the
 why3 verification platform in PDF format.

why3-examples: Examples for the why3 verification platform

 This package contains examples, both of program verification tasks
 and pure logical verification tasks, for the why3 software verification
 platform.