A | |
AbortTranslation [Translate.ToGfol] | |
C | |
CallArgsVsParamNb [Mvar.MC] | |
CallArgsVsParamNb [Mmem.MM] | |
CallArgsVsParamNb [Call.T_for_call] | |
CallFctPtr [Mvar.MC] | |
CallFctPtr [Mmem.MM] | |
CallFctPtr [Call.T_for_call] | |
CallNeedFctAssigns [Mvar.MC] | |
CallNeedFctAssigns [Mmem.MM] | |
CallNeedFctAssigns [Call.T_for_call] | |
I | |
InvalidModel [Calculus] |
To be raised whenever a model cannot interpret something
|
Invalid_subst [Mvar.MV] | |
L | |
LabelError [NormAtLabels] | |
N | |
No_addr [WpFol] | |
S | |
Stop [Wp_gui] | |
U | |
UnknownGuard [Model1] | |
UnnamedCilOp [Why_ops] | |
Unsupported [Types] |