package why

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

Install

Dune Dependency

Authors

Maintainers

Sources

why-2.41.tar.gz
sha256=d86596a4c0e897f0f2b8eb3b00bade4feaf3ba31c580a5c605fcc4d77bf37b20
md5=9c5c3eb9f421b8dbbf141b153b051a51

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 Chlorine

Dependencies (3)

  1. frama-c = "17.0"
  2. why3 >= "0.86.1" & <= "0.88.3"
  3. ocaml >= "4.02.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.