package why

  1. Overview
  2. No Docs
Why is a software verification platform.

Install

Dune Dependency

Authors

Maintainers

Sources

why-2.34.tar.gz
sha256=4f861757c13cb7dd4ba8c0c640f04115be147d2d4ca8a55035048e9d305c658c
md5=e622157c9b5cfc4e454a2a98bcc5828c

Description

Why is not any longer under active development. Our efforts have moved to the development of Why3.

Why is still maintained, in particular to provide the Jessie plug-in of Frama-C and the Krakatoa front-end for Java.

Dependencies (7)

  1. conf-autoconf
  2. alt-ergo >= "0.95"
  3. frama-c = "10.0"
  4. coq >= "8.4pl1"
  5. ocamlgraph >= "1.8.2" & < "1.8.6"
  6. lablgtk <= "2.16.0"
  7. ocaml

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. why3 != "0.83"
OCaml

Innovation. Community. Security.