/[eiffelstudio]
ViewVC logotype

Revision 96035


Jump to revision: Previous Next
Author: schmisam
Date: Wed Nov 5 02:22:58 2014 UTC (4 years, 10 months ago)
Changed paths: 16
Log Message:
First steps in the integration of code analysis into the Verification Assistant.
Changed the folder structur in the blackboard wrappers to separate the different tools.


Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ebb_aut_error_handler.e
(Copied from branches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_aut_error_handler.e, r96034)
added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ebb_autotest_instance.e
(Copied from branches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_instance.e, r96034)
added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ebb_autotest_tool.e
(Copied from branches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_tool.e, r96034)
added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ebb_autotest_verification_result.e
(Copied from branches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_verification_result.e, r96034)
added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/autotest/ebb_test_generator.e
(Copied from branches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_test_generator.e, r96034)
added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/code_analysis/ added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/code_analysis/ebb_ca_instance.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/code_analysis/ebb_ca_tool.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/code_analysis/ebb_ca_verification_result.e added
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_aut_error_handler.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_instance.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_tool.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_autotest_verification_result.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/blackboard/wrapper/ebb_test_generator.e deleted
Directorybranches/eth/eve/Src/Eiffel/interface/new_graphical/main/es_service_initializer.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23