/[eiffelstudio]/branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_execution_monitor.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_execution_monitor.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 98118 - (view) (annotate) - [select for diffs]
Modified Thu Nov 19 13:59:02 2015 UTC (3 years, 10 months ago) by maxpei
File length: 16399 byte(s)
Diff to previous 94594
Fixed a fault in AutoFix. Due to the fault, violated contract expression may not be used as a fixing target.

Revision 94594 - (view) (annotate) - [select for diffs]
Modified Thu Mar 13 13:12:57 2014 UTC (5 years, 7 months ago) by maxpei
File length: 16358 byte(s)
Copied from: branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_trace_collector.e revision 94588
Diff to previous 93135
Refactored/Cleaned AutoFix and SpeciFix.

Revision 93135 - (view) (annotate) - [select for diffs]
Modified Thu Oct 17 10:01:19 2013 UTC (6 years ago) by maxpei
Original Path: branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_trace_collector.e
File length: 19384 byte(s)
Diff to previous 91288
SpecFix.

Revision 91288 - (view) (annotate) - [select for diffs]
Added Mon Feb 25 09:19:07 2013 UTC (6 years, 7 months ago) by maxpei
Original Path: branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_trace_collector.e
File length: 19061 byte(s)
Adjusted AutoInfer to support inference of preconditions.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23