Commit 6bc253c7 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[opam] update description format according to opam preferences

parent e33266a9
...@@ -311,7 +311,7 @@ DISTRIB_FILES:=\ ...@@ -311,7 +311,7 @@ DISTRIB_FILES:=\
bin/sed_get_make_major bin/sed_get_make_minor \ bin/sed_get_make_major bin/sed_get_make_minor \
INSTALL.md README.md .make-clean \ INSTALL.md README.md .make-clean \
.make-clean-stamp .force-reconfigure \ .make-clean-stamp .force-reconfigure \
opam/opam opam/descr \ opam/opam \
# Test files to be included in the distribution (without header checking). # Test files to be included in the distribution (without header checking).
# Plug-ins should use PLUGIN_DISTRIB_TESTS to export their test files. # Plug-ins should use PLUGIN_DISTRIB_TESTS to export their test files.
......
...@@ -106,7 +106,6 @@ licenses/LGPLv2: .ignore ...@@ -106,7 +106,6 @@ licenses/LGPLv2: .ignore
licenses/LGPLv2.1: .ignore licenses/LGPLv2.1: .ignore
licenses/Q_MODIFIED_LICENSE: .ignore licenses/Q_MODIFIED_LICENSE: .ignore
man/frama-c.1: CEA_LGPL man/frama-c.1: CEA_LGPL
opam/descr: .ignore
opam/opam: .ignore opam/opam: .ignore
ptests/.gitignore: .ignore ptests/.gitignore: .ignore
ptests/.merlin: .ignore ptests/.merlin: .ignore
......
Platform dedicated to the analysis of source code written in C.
Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the
results computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, including:
- an analyzer based on abstract interpretation (Eva plug-in);
- a program proof framework based on weakest precondition calculus (WP plug-in);
- a program slicer (Slicing plug-in);
- a tool for verification of temporal (LTL) properties (Aoraï plug-in);
- a runtime verification tool (E-ACSL plug-in);
- several tools for code base exploration and dependency analysis
(plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).
These plug-ins communicate between each other via the Frama-C API
and via ACSL (ANSI/ISO C Specification Language) properties.
opam-version: "2.0" opam-version: "2.0"
name: "frama-c" name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C" synopsis: "Platform dedicated to the analysis of source code written in C"
description:"""
Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the
results computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, including:
- an analyzer based on abstract interpretation (Eva plug-in);
- a program proof framework based on weakest precondition calculus (WP plug-in);
- a program slicer (Slicing plug-in);
- a tool for verification of temporal (LTL) properties (Aoraï plug-in);
- a runtime verification tool (E-ACSL plug-in);
- several tools for code base exploration and dependency analysis
(plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).
These plug-ins communicate between each other via the Frama-C API
and via ACSL (ANSI/ISO C Specification Language) properties.
"""
version: "21.0-beta" version: "21.0-beta"
maintainer: "francois.bobot@cea.fr" maintainer: "francois.bobot@cea.fr"
authors: [ authors: [
......
http: "http://frama-c.com/download/frama-c-Chlorine-20180501.tar.gz"
checksum: "2d61aa200ded2dd360a8310c9a03ac50"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment