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 (14)

Authors

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

Maintainers

  1. V
    Virgile.Prevosto@cea.fr

Sources

meta-0.10.tar.bz2
md5=7efd0ca166d8bd6df1d522ca246fda4b
sha512=24f67db46bf50b04e34da4d7e30d6ed34c1b3ad18e11913f596fb1b227d21a49b12bb8bee52fdc35c79c8363f19cbeed7d9183f19e02a25a2fb09f379ccfd51d

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

Module MetAcsl.Meta_utilsSource

Sourcemodule StrSet : Set.S with type elt = string