/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/utility/epa_utility.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/program_analysis/utility/epa_utility.e

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: 30147 byte(s)
Diff to previous 85826
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 85826 - (view) (annotate) - [select for diffs]
Modified Wed Mar 9 16:29:03 2011 UTC (8 years, 7 months ago) by jasonw
File length: 29451 byte(s)
Diff to previous 85757
1. Added code to perform expression evaluation in AutoTest, and connected the code with precondition reduction strategy.
2. Some refactoring in the interpreter by replacing constant values with the proper constant features.

Revision 85757 - (view) (annotate) - [select for diffs]
Modified Tue Mar 1 13:28:01 2011 UTC (8 years, 7 months ago) by jasonw
File length: 28155 byte(s)
Diff to previous 85756
1. Added a class in program analysis library to select features according to given criteria.
2. Added a class in program analysis library to collect features with the same body text.

Revision 85756 - (view) (annotate) - [select for diffs]
Modified Tue Mar 1 12:22:56 2011 UTC (8 years, 7 months ago) by msteindorfer
File length: 26884 byte(s)
Diff to previous 85741
* Updating snippet extraction library.
* Adding method that creates an AST from representation of a compound statement to EPA_UTILITY.

Revision 85741 - (view) (annotate) - [select for diffs]
Modified Mon Feb 28 10:55:05 2011 UTC (8 years, 7 months ago) by jasonw
File length: 26356 byte(s)
Diff to previous 85661
Refactoring: cleaned classes realted to precondition reduction in AutoTest.

Revision 85661 - (view) (annotate) - [select for diffs]
Modified Mon Feb 21 14:19:27 2011 UTC (8 years, 7 months ago) by jasonw
File length: 25585 byte(s)
Diff to previous 85474
1. Refatoring due to changes in mysql library.
2. Added a command line option to semantic search ARFF file generation to force regeneration of existing ARFF files.
3. Added some facility to collect constant queries in a class.
4. Changed the output format of Daikon invariant: use original "==" instead of "=".

Revision 85474 - (view) (annotate) - [select for diffs]
Modified Wed Jan 26 16:43:23 2011 UTC (8 years, 8 months ago) by jasonw
File length: 25233 byte(s)
Diff to previous 84969
Refactoring.

Revision 84969 - (view) (annotate) - [select for diffs]
Modified Sun Nov 21 14:34:23 2010 UTC (8 years, 10 months ago) by jasonw
File length: 24889 byte(s)
Diff to previous 84965
1. Refactoring: Improved API of control flow graph building.
2. Refactoring: Speeded up contract inference and enabled loading from ssql file as input to contract inference.
3. Fixed a bug in ssql file loading where values of variables were ignored in pre- and postconditions.



Revision 84965 - (view) (annotate) - [select for diffs]
Modified Fri Nov 19 15:17:38 2010 UTC (8 years, 10 months ago) by jasonw
File length: 24508 byte(s)
Diff to previous 84926
Updated the syntax for quantification to include the type of the quantified variables.

Revision 84926 - (view) (annotate) - [select for diffs]
Modified Tue Nov 16 12:41:28 2010 UTC (8 years, 11 months ago) by jasonw
File length: 24225 byte(s)
Diff to previous 84889
1. Added two ast nodes, one for universal quantification and one for existential quantification.2
2. Speeded up the loading of ssql files into semantic queryables.
3. Fixed a few crashing bugs in contract inference and semantic search.

Revision 84889 - (view) (annotate) - [select for diffs]
Modified Tue Nov 9 20:47:39 2010 UTC (8 years, 11 months ago) by jasonw
File length: 22466 byte(s)
Diff to previous 84758
1. Refactored SQL-based semantic search system APIs.
2. Provied a command line entry for updating semantic property rankings.


Revision 84758 - (view) (annotate) - [select for diffs]
Modified Fri Oct 29 20:36:53 2010 UTC (8 years, 11 months ago) by jasonw
File length: 20346 byte(s)
Diff to previous 84749
1. Fixed some bugs related to type checking in Eiffel transform and semantic search library.
2. Fixed a bug in semantic search where temp files are stored in absolute paths.
3. Added a class to query for unvisited breakpoints in semantic database.

Revision 84749 - (view) (annotate) - [select for diffs]
Modified Thu Oct 28 12:15:37 2010 UTC (8 years, 11 months ago) by jasonw
File length: 20320 byte(s)
Diff to previous 84338
Fixed some bugs during contract inference.

Revision 84338 - (view) (annotate) - [select for diffs]
Modified Tue Aug 31 15:26:11 2010 UTC (9 years, 1 month ago) by mpei
File length: 20203 byte(s)
Diff to previous 84085
1. Exception trace explainer.
2. Expression collector.

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: 18165 byte(s)
Diff to previous 84016
1. Fixed various bugs in contract inference library.
2. Refactoring.

Revision 84016 - (view) (annotate) - [select for diffs]
Modified Mon Jul 26 09:16:52 2010 UTC (9 years, 2 months ago) by wests
File length: 17940 byte(s)
Diff to previous 83700
<<Merged from trunk#84001.>>

Revision 83700 - (view) (annotate) - [select for diffs]
Modified Fri Jun 25 11:15:55 2010 UTC (9 years, 3 months ago) by jasonw
File length: 17930 byte(s)
Diff to previous 83543
Removed old syntax from program analysis library and contract inference library.

Revision 83543 - (view) (annotate) - [select for diffs]
Modified Sat Jun 12 18:08:36 2010 UTC (9 years, 4 months ago) by jasonw
File length: 17009 byte(s)
Diff to previous 83525
Updated classes to support composite frame property inference.

Revision 83525 - (view) (annotate) - [select for diffs]
Modified Fri Jun 11 08:39:49 2010 UTC (9 years, 4 months ago) by jasonw
File length: 17010 byte(s)
Diff to previous 83441
Refactoring in frame property inferrer related classes.

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

Revision 83263 - (view) (annotate) - [select for diffs]
Modified Sat May 22 21:12:07 2010 UTC (9 years, 4 months ago) by jasonw
File length: 16339 byte(s)
Diff to previous 83201
Enabled simple frame condition proposals from test case expression evaluation data.

Revision 83201 - (view) (annotate) - [select for diffs]
Modified Sat May 15 14:00:19 2010 UTC (9 years, 5 months ago) by jasonw
File length: 16242 byte(s)
Diff to previous 83194
1. Removed queries with preconditions from object state model, because there are too many precondition violations when those queries are evaluated before and after each test case execution.
2. Refactored the type resolvement in some classes, requiring a context type to resolve types.

Revision 83194 - (view) (annotate) - [select for diffs]
Modified Fri May 14 20:53:34 2010 UTC (9 years, 5 months ago) by jasonw
File length: 16145 byte(s)
Diff to previous 83182
Fixed a bug which caused segmentation violation during object state retrieval.

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

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


Revision 83114 - (view) (annotate) - [select for diffs]
Modified Fri May 7 15:02:48 2010 UTC (9 years, 5 months ago) by jasonw
File length: 13862 byte(s)
Diff to previous 83056
Added a shared contract extractor.

Revision 83056 - (view) (annotate) - [select for diffs]
Modified Mon May 3 20:32:53 2010 UTC (9 years, 5 months ago) by jasonw
File length: 13731 byte(s)
Diff to previous 83032
Finished classes to provide expressions which serve as building blocks of inferred contracts.

Revision 83032 - (view) (annotate) - [select for diffs]
Modified Sat May 1 18:44:17 2010 UTC (9 years, 5 months ago) by jasonw
File length: 13611 byte(s)
Diff to previous 82957
Refactoring: Replaced the hack to retrieve feature contracts and class invariants with new facilities from the Eiffel transform library.

Revision 82957 - (view) (annotate) - [select for diffs]
Modified Tue Apr 27 12:13:46 2010 UTC (9 years, 5 months ago) by jasonw
File length: 12627 byte(s)
Diff to previous 82911
1. Refactoring: Moved SEM_TRANSITION_CONTEXT into program analysis library and renamed it to EPA_TRANSITION.
2. Refactored the contract inference library.

Revision 82911 - (view) (annotate) - [select for diffs]
Modified Thu Apr 22 21:50:49 2010 UTC (9 years, 5 months ago) by jasonw
File length: 11442 byte(s)
Diff to previous 82910
Refactoring: removed some unnecessary code.

Revision 82910 - (view) (annotate) - [select for diffs]
Modified Thu Apr 22 14:11:58 2010 UTC (9 years, 5 months ago) by jasonw
File length: 11129 byte(s)
Diff to previous 82890
1. Added transition context.
2. Updated feature transition which can be typed checked. 


Revision 82890 - (view) (annotate) - [select for diffs]
Modified Tue Apr 20 22:25:21 2010 UTC (9 years, 5 months ago) by jasonw
File length: 9539 byte(s)
Diff to previous 82535
Changed feature call transition to better support serialization from/to AutoTest data.

Revision 82535 - (view) (annotate) - [select for diffs]
Modified Tue Mar 9 21:39:00 2010 UTC (9 years, 7 months ago) by jasonw
File length: 8228 byte(s)
Diff to previous 82480
Added classes to output feature transitions into semantic document format.

Revision 82480 - (view) (annotate) - [select for diffs]
Modified Sat Feb 27 13:31:34 2010 UTC (9 years, 7 months ago) by jasonw
File length: 6648 byte(s)
Diff to previous 82479
Fixed a bug which caused a compilation error.

Revision 82479 - (view) (annotate) - [select for diffs]
Modified Sat Feb 27 13:29:45 2010 UTC (9 years, 7 months ago) by jasonw
File length: 9694 byte(s)
Diff to previous 82475
Refactoring: Moved some features from AutoFix library to Program Analysis library.

Revision 82475 - (view) (annotate) - [select for diffs]
Modified Sat Feb 27 12:38:47 2010 UTC (9 years, 7 months ago) by jasonw
File length: 5211 byte(s)
Diff to previous 82467
Refactoring: Moved some classes from AutoFix library to Program Analysis library.

Revision 82467 - (view) (annotate) - [select for diffs]
Modified Fri Feb 26 22:43:16 2010 UTC (9 years, 7 months ago) by jasonw
File length: 4410 byte(s)
Diff to previous 82465
Refactoring: Removed state related classes from AutoFix library to Program Analysis library.

Revision 82465 - (view) (annotate) - [select for diffs]
Modified Fri Feb 26 21:47:40 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2881 byte(s)
Diff to previous 82464
Refactoring.

Revision 82464 - (view) (annotate) - [select for diffs]
Added Fri Feb 26 21:25:17 2010 UTC (9 years, 7 months ago) by jasonw
File length: 1681 byte(s)
Refactoring: decouple should relationship in the AutoFix library. Plan to move some classes into the Program Analysis library.

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