package frama-c-rpp

  1. Overview
  2. Docs
RPP plugin of Frama-C for writing and proving relational properties

Install 

dune-project
 Dependency

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

Authors

  1. L
    Lionel Blatter

Maintainers

  1. V
    virgile.prevosto@cea.fr

Sources

v0.0.4.tar.gz
md5=c1f95410aaa8839ae6b9c3e4dc13259a
sha512=c999f46044866a492c8649cd68cb37b0f0ee90f1126ec5395df7ffcfbf6e0e52bc8c344d14c6f6fba17fca6c0ae1f27bf48fc4bc20ccfeaacf987c7376b7d203

doc/src/frama-c-rpp.core/rpp.ml.html

Source file rpp.ml

1
2
3
4
5
6
7
8
9
(**************************************************************************)
(*                                                                        *)
(*  SPDX-License-Identifier LGPL-2.1                                      *)
(*  Copyright (C)                                                         *)
(*  CEA (Commissariat à l'énergie atomique et aux énergies alternatives)  *)
(*                                                                        *)
(**************************************************************************)

include Rpp_core