/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/program_analysis.ecf
ViewVC logotype

Log of /branches/eth/eve/Src/framework/program_analysis/program_analysis.ecf

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 85850 - (view) (annotate) - [select for diffs]
Modified Fri Mar 11 16:09:48 2011 UTC (8 years, 7 months ago) by msteindorfer
File length: 3103 byte(s)
Diff to previous 85488
Refactoring: Added `text_from_ast_with_printer' to support AST text printing from arbitrary ETR_AST_STRUCTURE_PRINTER that are configured with an ETR_AST_STRING_OUTPUT.



Revision 85488 - (view) (annotate) - [select for diffs]
Modified Thu Jan 27 21:17:05 2011 UTC (8 years, 8 months ago) by jasonw
File length: 3103 byte(s)
Diff to previous 84975
1. Added logging library. Thanks to Marco Piccioni.
2. Adapted existing code to use the new logging library.


Revision 84975 - (view) (annotate) - [select for diffs]
Modified Thu Nov 25 16:19:48 2010 UTC (8 years, 10 months ago) by jasonw
File length: 3007 byte(s)
Diff to previous 84085
1. Added a timeout for test case execution during contract inference.
2. Refactoring: Reload object before the execution of the testee feature in test cases (To avoid side effects during pre-state expression evaluation).


Revision 84085 - (view) (annotate) - [select for diffs]
Modified Sat Jul 31 14:54:14 2010 UTC (9 years, 2 months ago) by jasonw
File length: 2930 byte(s)
Diff to previous 83669
1. Fixed various bugs in contract inference library.
2. Refactoring.

Revision 83669 - (view) (annotate) - [select for diffs]
Modified Tue Jun 22 15:47:25 2010 UTC (9 years, 3 months ago) by jasonw
File length: 2910 byte(s)
Diff to previous 83441
Refactoring in contract inference library.

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: 2889 byte(s)
Copied from: branches/eth/eve/Src/framework/program_analysis/program_analysis.ecf revision 83373
Diff to previous 83374
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

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/program_analysis.ecf
File length: 2889 byte(s)
Copied from: branches/eth/eve/Src/framework/program_analysis/program_analysis.ecf revision 83373
Diff to previous 83135
Added program analysis library from eve64.

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: 2889 byte(s)
Diff to previous 83132
Moved compilation related features from AutoFix library to program analysis library.

Revision 83132 - (view) (annotate) - [select for diffs]
Modified Mon May 10 08:59:06 2010 UTC (9 years, 5 months ago) by jasonw
File length: 2781 byte(s)
Diff to previous 83037
1. Abstracted function related classes and moved them from contract inference library to program analysis library.
2. Excluded .svn directories in program analysis library.


Revision 83037 - (view) (annotate) - [select for diffs]
Modified Sun May 2 09:26:53 2010 UTC (9 years, 5 months ago) by jasonw
File length: 2708 byte(s)
Diff to previous 82967
Refactoring: 
1. Moved Mathematica related constraint solver classes from AutoFix library to program analysis library.
2. Moved process related utility features from AutoFix library into program analysis library.



Revision 82967 - (view) (annotate) - [select for diffs]
Modified Tue Apr 27 21:13:54 2010 UTC (9 years, 5 months ago) by mpei
File length: 2629 byte(s)
Diff to previous 82523
1. Test case class generator (from the serialized data files)
2. SEM_FEATURE_CALL_TRANSITION constructor (from test case class)

Revision 82523 - (view) (annotate) - [select for diffs]
Modified Fri Mar 5 14:47:35 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2692 byte(s)
Diff to previous 82466
1. Added classes to represent a state transition.
2. Added classes for execution monitoring.

Revision 82466 - (view) (annotate) - [select for diffs]
Modified Fri Feb 26 22:03:15 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2696 byte(s)
Diff to previous 82395
Refactoring: Move expression related classes from AutoFix library to Program Analysis library.

Revision 82395 - (view) (annotate) - [select for diffs]
Added Tue Feb 23 13:04:18 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2626 byte(s)
Updated control flow graph related classes.

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