Calc
FreshVar()
FreshVars()
Inductive()
Lemma()
NewType()
PTheorem()
Proof
QExists()
QForAll()
QImplies()
Struct()
Theorem()
axiom()
cond()
define()
prove()
search()
simp()
BinaryContext
CachedArray
MemSorts
MemState
MemStateSort
PC
SimState
StateExpr
StateProp
executeBinary()
executeCBranch()
executeLoad()
executePopcount()
executeSignExtend()
executeStore()
executeSubpiece()
executeUnary()
executeZeroExtend()
pc_of_addr()
pretty_insn()
pretty_op()
test_pcode()
varnode_eq()
addr (int)