package pilat

  1. Overview
  2. No Docs
A polynomial invariant generator based on Frama-C

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. S
    Steven De Oliveira <de.oliveira.steven@gmail.com>

Maintainers

  1. S
    Steven De Oliveira <de.oliveira.steven@gmail.com>

Sources

1.3.tar.gz
md5=70c732e7a2c3c5682a1acf2e4215c259
sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33

Description

Published: 17 Mar 2020

Dependencies (5)

  1. frama-c = "19.0"
  2. zarith
  3. lacaml
  4. ocamlfind build
  5. ocaml >= "4.03.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct