/[eiffelstudio]
ViewVC logotype

Revision 88112


Jump to revision: Previous Next
Author: megg
Date: Mon Dec 12 16:14:51 2011 UTC (7 years, 10 months ago)
Changed paths: 11
Log Message:
- Added some contracts
- Added missing comments
- Refactoring

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/commands/epa_dynamic_analysis_cmd.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_collected_runtime_data_reader.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_collected_runtime_data_writer.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_dyn_analysis_cmd_line_parser.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_dynamic_analysis_config.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_expressions_to_evaluate_builder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_interesting_pre_state_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_interesting_variable_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_post_state_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/dynamic_analysis/state_analysis/kernel/epa_state_change.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/expression/epa_positioned_value.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23