/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/compilation/epa_compilation_utility.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/program_analysis/compilation/epa_compilation_utility.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: 6171 byte(s)
Diff to previous 87470
Fixed a fault in AutoFix. Due to the fault, violated contract expression may not be used as a fixing target.

Revision 87470 - (view) (annotate) - [select for diffs]
Modified Fri Oct 14 11:57:27 2011 UTC (8 years ago) by jasonw
File length: 6172 byte(s)
Diff to previous 85599
<<Merged from trunk#87469.>>

Revision 85599 - (view) (annotate) - [select for diffs]
Modified Tue Feb 15 10:05:29 2011 UTC (8 years, 8 months ago) by mpei
File length: 6175 byte(s)
Diff to previous 84688
Organized classes of AutoFix-E and AutoFix-E2.

Revision 84688 - (view) (annotate) - [select for diffs]
Modified Fri Oct 22 18:10:29 2010 UTC (8 years, 11 months ago) by jasonw
File length: 6017 byte(s)
Diff to previous 84643
Updated test case deserializer to prevent test cases that do not type check from being generated.

Revision 84643 - (view) (annotate) - [select for diffs]
Modified Tue Oct 19 19:27:58 2010 UTC (9 years ago) by jasonw
File length: 5859 byte(s)
Diff to previous 84557
Fixed a bug in AutoTest which caused object-state retrieval to fail.

Revision 84557 - (view) (annotate) - [select for diffs]
Modified Mon Oct 11 21:01:52 2010 UTC (9 years ago) by jasonw
File length: 5537 byte(s)
Diff to previous 83445
<<Merged from trunk#84547.>>


Revision 83445 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 15:29:40 2010 UTC (9 years, 4 months ago) by jasonw
File length: 5485 byte(s)
Diff to previous 83441
<<Merged from trunk@83442.>>

Revision 83441 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 4 months ago) by jasonw
File length: 5449 byte(s)
Diff to previous 83435
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

Revision 83435 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 09:45:31 2010 UTC (9 years, 4 months ago) by jasonw
Original Path: branches/eth/eve3/Src/framework/program_analysis/compilation/epa_compilation_utility.e
File length: 5449 byte(s)
Diff to previous 83392
Added classes to support sequence analysis during contract inference.

Revision 83392 - (view) (annotate) - [select for diffs]
Modified Mon May 31 21:22:35 2010 UTC (9 years, 4 months ago) by jasonw
Original Path: branches/eth/eve3/Src/framework/program_analysis/compilation/epa_compilation_utility.e
File length: 5451 byte(s)
Diff to previous 83379
Merged AutoTest from eve64.

Revision 83379 - (view) (annotate) - [select for diffs]
Modified Sun May 30 13:58:35 2010 UTC (9 years, 4 months ago) by jasonw
Original Path: branches/eth/eve3/Src/framework/program_analysis/compilation/epa_compilation_utility.e
File length: 5198 byte(s)
Diff to previous 83374
Merged contract_inference library from eve64.

Revision 83374 - (view) (annotate) - [select for diffs]
Modified Sun May 30 12:18:34 2010 UTC (9 years, 4 months ago) by jasonw
Original Path: branches/eth/eve3/Src/framework/program_analysis/compilation/epa_compilation_utility.e
File length: 4895 byte(s)
Copied from: branches/eth/eve/Src/framework/program_analysis/compilation/epa_compilation_utility.e revision 83373
Diff to previous 83182
Added program analysis library from eve64.

Revision 83182 - (view) (annotate) - [select for diffs]
Modified Fri May 14 13:06:48 2010 UTC (9 years, 5 months ago) by jasonw
File length: 4895 byte(s)
Diff to previous 83135
1. Made object state retrieval support queries with arguments.
2. Refactoring: Removed unnecessary precondition satisfaction code.
3. Simplified ITP_INTERPRETER_ROOT class generation.


Revision 83135 - (view) (annotate) - [select for diffs]
Modified Mon May 10 16:29:13 2010 UTC (9 years, 5 months ago) by jasonw
File length: 4737 byte(s)
Diff to previous 83131
Moved compilation related features from AutoFix library to program analysis library.

Revision 83131 - (view) (annotate) - [select for diffs]
Added Sun May 9 14:44:44 2010 UTC (9 years, 5 months ago) by jasonw
File length: 518 byte(s)
1. Added a logging facility in program analysis library.
2. Enabled contract related expression evaluation in debugger.


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