package frama-c-metacsl

  1. Overview
  2. Docs
MetAcsl plugin of Frama-C for writing pervasives properties

Install 

dune-project
 Dependency

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

Authors

  1. V
    Virgile Robles
  2. T
    Téo Bernier
  3. N
    Nikolai Kosmatov

Maintainers

  1. V
    Virgile.Prevosto@cea.fr

Sources

meta-0.9-beta.tar.bz2
md5=32bd324617144e618a39e0015445effb
sha512=d96bc4fb9e4c9771efeca815aa1d6f2bae0676cce56d9ed227370bacf4fb04c0811d53470cd15981406ae11a0e95af9f16ab31f7cac04ae2a92cbf85233fb496

doc/frama-c-metacsl.core/MetAcsl/index.html

Module MetAcslSource

Sourcemodule Meta_run : sig ... end
Sourcemodule Meta_utils : sig ... end