package why

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

Install

Dune Dependency

Authors

Maintainers

Sources

why-2.31.tar.gz
md5=d647f64049345be5654f8f3fdb077aa4

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.

Published: 21 Nov 2013

Dependencies (6)

  1. conf-autoconf
  2. frama-c
  3. coq = "8.3"
  4. ocamlgraph = "1.8.2"
  5. lablgtk <= "2.16.0"
  6. ocaml < "4.00.0"

Dev Dependencies

None

Used by

None

Conflicts

None