package why

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

Install

Dune Dependency

Authors

Maintainers

Sources

why-2.36.tar.gz
sha256=c3fe2153a1948b14c73e58f6086406a6725ed0ab52e973f2498e3895c4030666
md5=9b26f8d039ab5a04ed16f5ca8b96a780

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.

This version is compatible with Frama-C version Magnesium.

Dependencies (4)

  1. conf-autoconf
  2. frama-c = "12.1"
  3. why3 >= "0.86" & <= "0.87.1"
  4. ocaml >= "4.01.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.