package frama-c

  1. Overview
  2. Docs
Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

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

Authors

  1. M
    Michele Alberti
  2. T
    Thibaud Antignac
  3. G
    Gergö Barany
  4. P
    Patrick Baudin
  5. N
    Nicolas Bellec
  6. T
    Thibaut Benjamin
  7. A
    Allan Blanchard
  8. L
    Lionel Blatter
  9. F
    François Bobot
  10. R
    Richard Bonichon
  11. V
    Vincent Botbol
  12. Q
    Quentin Bouillaguet
  13. D
    David Bühler
  14. Z
    Zakaria Chihani
  15. L
    Loïc Correnson
  16. J
    Julien Crétin
  17. P
    Pascal Cuoq
  18. Z
    Zaynah Dargaye
  19. B
    Basile Desloges
  20. J
    Jean-Christophe Filliâtre
  21. P
    Philippe Herrmann
  22. M
    Maxime Jacquemin
  23. F
    Florent Kirchner
  24. A
    Alexander Kogtenkov
  25. R
    Remi Lazarini
  26. T
    Tristan Le Gall
  27. J
    Jean-Christophe Léchenet
  28. M
    Matthieu Lemerre
  29. D
    Dara Ly
  30. D
    David Maison
  31. C
    Claude Marché
  32. A
    André Maroneze
  33. T
    Thibault Martin
  34. F
    Fonenantsoa Maurica
  35. M
    Melody Méaulle
  36. B
    Benjamin Monate
  37. Y
    Yannick Moy
  38. P
    Pierre Nigron
  39. A
    Anne Pacalet
  40. V
    Valentin Perrelle
  41. G
    Guillaume Petiot
  42. D
    Dario Pinto
  43. V
    Virgile Prevosto
  44. A
    Armand Puccetti
  45. F
    Félix Ridoux
  46. V
    Virgile Robles
  47. J
    Jan Rochel
  48. M
    Muriel Roger
  49. J
    Julien Signoles
  50. N
    Nicolas Stouls
  51. K
    Kostyantyn Vorobyov
  52. B
    Boris Yakobowski

Maintainers

  1. F
    frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz
sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/qed/Qed/Export/Make/class-engine/index.html

Class Make.engineSource

method sanitize : string -> string
method virtual datatype : T.ADT.t -> string
method virtual field : T.Field.t -> string
method env : Env.t

A safe copy of the environment

method set_env : Env.t -> unit

Set the environment

method marks : Env.t * T.marks

The current environment with empty marks

method lookup : T.term -> Qed.Engine.scope
method set_env : Env.t -> unit
method scope : Env.t -> (unit -> unit) -> unit
method local : (unit -> unit) -> unit
method global : (unit -> unit) -> unit
method bind : T.var -> string
method find : T.var -> string
method virtual t_int : string
method virtual t_real : string
method virtual t_bool : string
method virtual t_prop : string
method virtual t_atomic : T.tau -> bool
method virtual pp_tvar : int Qed.Plib.printer
method virtual pp_array : T.tau Qed.Plib.printer
method virtual pp_farray : T.tau Qed.Plib.printer2
method virtual pp_datatype : T.ADT.t -> T.tau list Qed.Plib.printer
method pp_subtau : T.tau Qed.Plib.printer
method mode : Qed.Engine.mode
method with_mode : Qed.Engine.mode -> (Qed.Engine.mode -> unit) -> unit
method virtual e_true : Qed.Engine.cmode -> string
method virtual e_false : Qed.Engine.cmode -> string
method virtual pp_int : Qed.Engine.amode -> Z.t Qed.Plib.printer
method virtual pp_real : Q.t Qed.Plib.printer
method virtual is_atomic : T.term -> bool
method virtual op_spaced : string -> bool
method virtual callstyle : Qed.Engine.callstyle
method virtual pp_apply : Qed.Engine.cmode -> T.term -> T.term list Qed.Plib.printer
method pp_fun : Qed.Engine.cmode -> T.Fun.t -> T.term list Qed.Plib.printer
method virtual op_scope : Qed.Engine.amode -> string option
method virtual op_real_of_int : Qed.Engine.op
method virtual op_add : Qed.Engine.amode -> Qed.Engine.op
method virtual op_sub : Qed.Engine.amode -> Qed.Engine.op
method virtual op_mul : Qed.Engine.amode -> Qed.Engine.op
method virtual op_div : Qed.Engine.amode -> Qed.Engine.op
method virtual op_mod : Qed.Engine.amode -> Qed.Engine.op
method virtual op_minus : Qed.Engine.amode -> Qed.Engine.op
method pp_times : Format.formatter -> Z.t -> T.term -> unit
method virtual op_equal : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_noteq : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_eq : Qed.Engine.cmode -> Qed.Engine.amode -> Qed.Engine.op
method virtual op_neq : Qed.Engine.cmode -> Qed.Engine.amode -> Qed.Engine.op
method virtual op_lt : Qed.Engine.cmode -> Qed.Engine.amode -> Qed.Engine.op
method virtual op_leq : Qed.Engine.cmode -> Qed.Engine.amode -> Qed.Engine.op
method virtual pp_array_cst : Format.formatter -> T.tau -> T.term -> unit
method virtual pp_array_get : Format.formatter -> T.term -> T.term -> unit
method virtual pp_array_set : Format.formatter -> T.term -> T.term -> T.term -> unit
method virtual pp_get_field : Format.formatter -> T.term -> T.Field.t -> unit
method virtual pp_def_fields : T.record Qed.Plib.printer
method virtual op_not : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_and : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_or : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_imply : Qed.Engine.cmode -> Qed.Engine.op
method virtual op_equiv : Qed.Engine.cmode -> Qed.Engine.op
method pp_not : T.term Qed.Plib.printer
method pp_imply : Format.formatter -> T.term list -> T.term -> unit
method pp_equal : T.term Qed.Plib.printer2
method pp_noteq : T.term Qed.Plib.printer2
method virtual pp_conditional : Format.formatter -> T.term -> T.term -> T.term -> unit
method virtual pp_forall : T.tau -> string list Qed.Plib.printer
method virtual pp_exists : T.tau -> string list Qed.Plib.printer
method virtual pp_lambda : (string * T.tau) list Qed.Plib.printer
method shared : T.term -> bool
method shareable : T.term -> bool
method subterms : (T.term -> unit) -> T.term -> unit
method virtual pp_let : Format.formatter -> Qed.Engine.pmode -> string -> T.term -> unit
method pp_atom : T.term Qed.Plib.printer
method pp_flow : T.term Qed.Plib.printer
method pp_repr : T.term Qed.Plib.printer
method pp_tau : T.tau Qed.Plib.printer
method pp_var : string Qed.Plib.printer
method pp_term : T.term Qed.Plib.printer
method pp_prop : T.term Qed.Plib.printer
method pp_sort : T.term Qed.Plib.printer
method pp_expr : T.tau -> T.term Qed.Plib.printer
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct