Index of modules


C
Called_precond [Generator]

D
Div_mod [Generator]
DoCalledPrecond [Options]
DoDivMod [Options]
DoFloatToInt [Options]
DoInitialized [Options]
DoMemAccess [Options]
DoPointerCall [Options]
DoShift [Options]

E
Enabled [Options]

F
Finite_float [Generator]
Float_to_int [Generator]
FunctionSelection [Options]

G
Generator

I
Initialized [Generator]

M
Mem_access [Generator]

O
Options

P
Pointer_call [Generator]

R
Register
Rte
'a alarm_gen is an abstraction over the process of generating a certain kind of RTEs over something of type 'a.
RteGen
No function is directly exported: they are registered in Db.Value.

S
Shift [Generator]
Signed_downcast [Generator]
Signed_overflow [Generator]

T
Trivial [Options]

U
Unsigned_downcast [Generator]
Unsigned_overflow [Generator]

V
Visit
Generates RTE for a single function.

W
Warn [Options]