package calli

You can search for identifiers within the package.

in-package search v0.2.0

calli
- README
- Library calli
  - Calli
    
    AbstractDomain
    
    S
    
    AbstractMemory
    
    F
    
    S
    
    Make
    
    AbstractSemantics
    
    S
    
    Basicblock
    
    Bbpool
    
    M
    
    CallGraph
    
    F
    
    M
    
    CallSiteContext
    
    F
    
    Elt
    
    Make
    
    Cfg
    
    M
    
    Cond
    
    Context
    
    F
    
    S
    
    Dot
    
    Shape
    
    Color
    
    Style
    
    Attr
    
    Edge_Stmt
    
    Node_Stmt
    
    Stmt
    
    DIGraph
    
    Env
    
    M
    
    Expr
    
    Function
    
    Global
    
    Icfg
    
    S
    
    Make
    
    M
    
    Inst
    
    LlvmAnalyzer
    
    F
    
    Make
    
    Icfg
    
    M
    
    Worklist
    
    LoopCounter
    
    M
    
    Metadata
    
    Alias
    
    M
    
    Module
    
    M
    
    Op
    
    Pp
    
    States
    
    F
    
    S
    
    CtxtM
    
    M
    
    Make
    
    CtxtM
    
    M
    
    Stmt
    
    Term
    
    To_dot
    
    Make
    
    Transform
    
    Transform2
    
    Transform3
    
    Transform_meta
    
    Transform_select
    
    Type
    
    Util
    
    Val
    
    F
    
    Worklist
    
    S
- Sources
  - calli
    
    calli.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Calli.States`

module F = Format

exception No_state

module type S = sig ... end

module Make
  (Ctxt : Context.S)
  (AbsMem : AbstractMemory.S) : 
  S with type ctxtty = Ctxt.t and type memty = AbsMem.t