/[eiffelstudio]
ViewVC logotype

Revision 93627


Jump to revision: Previous Next
Author: julian
Date: Thu Dec 5 16:42:21 2013 UTC (5 years, 9 months ago)
Changed paths: 26
Log Message:
AutoProof: continued refactoring of output parser.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/eiffel2boogie/e2b_messages.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/e2b_boogie_output_parser.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/e2b_result_generator.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/e2b_verifier.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_boogie_procedure_error.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_boogie_procedure_result.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_procedure_result.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_result.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_boogie_printer.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_info_node.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_node_info.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_postcondition.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_precondition.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_statement.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_evaluate_boogie_output_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_merge_results_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_verify_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_verify_with_inlining_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/basic/messages/b_messages.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_body_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_contract_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_instruction_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_routine_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_routine_translator_base.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_shared_context.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23