1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
(** @canonical Calli.AbstractMemory *)
module AbstractMemory = Calli__AbstractMemory
(** @canonical Calli.AbstractValue *)
module AbstractValue = Calli__AbstractValue
(** @canonical Calli.Basicblock *)
module Basicblock = Calli__Basicblock
(** @canonical Calli.Bbpool *)
module Bbpool = Calli__Bbpool
(** @canonical Calli.CallGraph *)
module CallGraph = Calli__CallGraph
(** @canonical Calli.CallSiteContext *)
module CallSiteContext = Calli__CallSiteContext
(** @canonical Calli.Cfg *)
module Cfg = Calli__Cfg
(** @canonical Calli.Cond *)
module Cond = Calli__Cond
(** @canonical Calli.Context *)
module Context = Calli__Context
(** @canonical Calli.Dot *)
module Dot = Calli__Dot
(** @canonical Calli.Env *)
module Env = Calli__Env
(** @canonical Calli.Expr *)
module Expr = Calli__Expr
(** @canonical Calli.Function *)
module Function = Calli__Function
(** @canonical Calli.Global *)
module Global = Calli__Global
(** @canonical Calli.Icfg *)
module Icfg = Calli__Icfg
(** @canonical Calli.Inst *)
module Inst = Calli__Inst
(** @canonical Calli.LlvmAnalyzer *)
module LlvmAnalyzer = Calli__LlvmAnalyzer
(** @canonical Calli.Metadata *)
module Metadata = Calli__Metadata
(** @canonical Calli.Module *)
module Module = Calli__Module
(** @canonical Calli.Op *)
module Op = Calli__Op
(** @canonical Calli.Pp *)
module Pp = Calli__Pp
(** @canonical Calli.States *)
module States = Calli__States
(** @canonical Calli.Stmt *)
module Stmt = Calli__Stmt
(** @canonical Calli.Term *)
module Term = Calli__Term
(** @canonical Calli.To_dot *)
module To_dot = Calli__To_dot
(** @canonical Calli.TransferFunction *)
module TransferFunction = Calli__TransferFunction
(** @canonical Calli.Transform *)
module Transform = Calli__Transform
(** @canonical Calli.Transform2 *)
module Transform2 = Calli__Transform2
(** @canonical Calli.Transform3 *)
module Transform3 = Calli__Transform3
(** @canonical Calli.Transform_meta *)
module Transform_meta = Calli__Transform_meta
(** @canonical Calli.Transform_select *)
module Transform_select = Calli__Transform_select
(** @canonical Calli.Type *)
module Type = Calli__Type
(** @canonical Calli.Util *)
module Util = Calli__Util
(** @canonical Calli.Val *)
module Val = Calli__Val
(** @canonical Calli.Worklist *)
module Worklist = Calli__Worklist