package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Floating point
Arithmetic
Datatype
Monads
Project
Stdlib
Utils

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

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

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-32.0-beta-Germanium.tar.gz

sha256=868d57ef8007fe6c0836cd151d8c294003af34aa678285eff9547662cad36aa3

doc/frama-c.kernel/Frama_c_kernel/Fclib/index.html

Module `Frama_c_kernel.Fclib`

Module aliases for all our libraries. Useful when shadowing module's name.

since 32.0-Germanium

Floating point

module Floating_point = Floating_point

module Typed_float = Typed_float

Arithmetic

module Field = Field

module Finite = Finite

module Linear = Linear

module Nat = Nat

module Rational = Rational

Datatype

module Datatype = Datatype

module Descr = Descr

module Structural_descr = Structural_descr

module Type = Type

module Unmarshal = Unmarshal

module Unmarshal_z = Unmarshal_z

Monads

module Composition = Composition

module Identity = Identity

module Monad = Monad

module State_monad = State_monad

Project

module Project = Project

module Project_output = Project_output

module Project_skeleton = Project_skeleton

module State = State

module State_builder = State_builder

module State_dependency_graph = State_dependency_graph

module State_selection = State_selection

module State_topological = State_topological

Stdlib

module Extlib = Extlib

module FCHashtbl = FCHashtbl

module Hashtbl = Hashtbl

module Int = Int

module Integer = Integer

module List = List

module Option = Option

module Result = Result

Utils

module Async = Async

module Bag = Bag

module Binary_cache = Binary_cache

module Bitvector = Bitvector

module Channel = Channel

module Command = Command

module Compression = Compression

module Dotgraph = Dotgraph

module Escape = Escape

module Filepath = Filepath

module Filesystem = Filesystem

module Hook = Hook

module Hpath = Hpath

module Hptmap = Hptmap

module Hptmap_sig = Hptmap_sig

module Hptset = Hptset

module Indexer = Indexer

module Json = Json

module Markdown = Markdown

module Parray = Parray

module Pretty_utils = Pretty_utils

module Qstack = Qstack

module Rangemap = Rangemap

module Rgmap = Rgmap

module Rich_text = Rich_text

module Sanitizer = Sanitizer

module Task = Task

module Unicode = Unicode

module Utf8_logic = Utf8_logic

module Wto = Wto