package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method addString : string -> llvmGlobal
method addWString : int64 list -> llvmGlobal
method mkConstant : Cil.constant -> llvmValue
method mkConstantExp : Cil.exp -> llvmValue
method mkFunction : Cil.fundec -> llvmBlock list
method printBlocks : unit -> llvmBlock list -> Pretty.doc
method printGlobals : unit -> Pretty.doc
method printValue : unit -> llvmValue -> Pretty.doc
method printValueNoType : unit -> llvmValue -> Pretty.doc
OCaml

Innovation. Community. Security.