package frama-c-typestates

  1. Overview
  2. Docs
Frama-C typestates plug-in

Install 

dune-project
 Dependency

frama-c.com Readme Changelog Edit opam file Versions (1)

Authors

  1. S
    Sebastien Patte

Maintainers

  1. H
    https://git.frama-c.com/frama-c

Sources

typestates-0.0.tar.bz2
md5=1ebcdf4db8077196a85267712998d7e1
sha512=09722b3f78445aa044f7baa64e5901c0eddeee81bc7baf6f5be672b1f97fafdefeff0de3a23c84bb4bca8749bdfcf935f39414ac410ee9efa155859ad8de6c1a

doc/index.html

frama-c-typestates

API

Library frama-c-typestates.core