eiffelstudio-public - Revision 107750: /branches/Eiffel_18.11/research/extension/autoproof/framework/eiffel2boogie/translation/custom

• ..
• e2b_custom_agent_call_handler.e
• e2b_custom_any_call_handler.e
• e2b_custom_array_call_handler.e
• e2b_custom_call_handler.e
• e2b_custom_integer_call_handler.e
• e2b_custom_logical_handler.e
• e2b_custom_nested_handler.e
• e2b_custom_ownership_handler.e
• e2b_custom_string_handler.e