frama-c
Platform dedicated to the analysis of source code written in C
package frama-c
-
qed
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Libraries
This package provides the following libraries (via dune):
qed
Documentation:
Qed.BvarsBound Variables Footprints.Qed.CacheQed.CollectionMerging Maps and SetsQed.EngineGeneric Engine SignatureQed.ExportExport Engine FactoryQed.Export_why3Exportation Engine for Why-3.Qed.Export_whycoreCommon Exportation Engine for Why-3 and Alt-ErgoQed.HconsHash-Consing UtilitiesQed.IdxmapMap with indexed keysQed.IdxsetSet of indexed elements implemented as Patricia sets.Qed.IntmapMaps with integers keys using Patricia Trees.Qed.IntsetSet of integers using Patricia Trees.Qed.KindLogic Types UtilitiesQed.ListmapMerging List-Association FunctorQed.ListsetMerging Set FunctorQed.LogicQed.MergemapMerging Map FunctorQed.MergesetMerging Set FunctorQed.PartitionUnion-find based partitionsQed.PlibPretty Printing Utilities.Qed.PoolQed.PrettyPretty Printer for Qed Output.Qed.TermLogic expressions
Dependencies: frama-c.kernel, zarith