eiffelstudio-public - Revision 107692: /trunk/research/extension/autoproof/framework/eiffel2boogie/translation

• ..
• across/
• agents.bpl
• base_theory.bpl
• custom/
• e2b_assert_origin.e
• e2b_attribute_translator.e
• e2b_body_expression_translator.e
• e2b_boogie_generator.e
• e2b_boogie_text.e
• e2b_builtin_calls_collector.e
• e2b_contract_expression_translator.e
• e2b_entity_mapping.e
• e2b_expression_translator.e
• e2b_feature_translator.e
• e2b_frame_element.e
• e2b_helper.e
• e2b_instruction_translator.e
• e2b_name_translator.e
• e2b_options.e
• e2b_routine_translator.e
• e2b_routine_translator_base.e
• e2b_shared_context.e
• e2b_special_mapping.e
• e2b_translator.e
• e2b_translator_input.e
• e2b_type_translator.e
• e2b_visitor.e
• pool/