package why

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

Install

Dune Dependency

Authors

Maintainers

Sources

why-2.33.tar.gz
sha256=05a2d398b49c447e9897d58596ab9c52bcc4c3877895df590ba77163d1125ece
md5=25ad0493e0cd112f3fe5858aa605344a

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 (8)

  1. conf-autoconf
  2. alt-ergo >= "0.95"
  3. frama-c >= "9.0" & <= "9.1"
  4. coq >= "8.4pl1" & <= "8.4.5"
  5. why3 = "0.81"
  6. ocamlgraph >= "1.8.2" & <= "1.8.5"
  7. lablgtk <= "2.16.0"
  8. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.