/[eiffelstudio]
ViewVC logotype

Revision 89744


Jump to revision: Previous Next
Author: julian
Date: Tue Oct 30 08:46:37 2012 UTC (6 years, 10 months ago)
Changed paths: 25
Log Message:
Added AutoProof command to context menu.
Added simple tool for AutoProof to select options.
Updated Boogie output parser to new Boogie version.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/ added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_bench_helper.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_command.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e added
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/context_menu/eb_context_menu_factory.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/windows/development_window/initialization/eb_development_window_menu_builder.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/e2b_autoproof.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/eiffel2boogie.ecf modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/e2b_output_parser.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_check_violation.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_feature_result.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_invariant_violation.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_postcondition_violation.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_precondition_violation.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_successful_verification.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_verification_error.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/result/e2b_violation.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_merge_results_task.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_notify_task.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tasks/e2b_verify_task.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_options.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_shared_context.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23