/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.e
ViewVC logotype

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

Revision 93780 - (view) (annotate) - [select for diffs]
Modified Fri Dec 20 15:08:05 2013 UTC (5 years, 9 months ago) by jasonw
File length: 6220 byte(s)
Diff to previous 93135
<<Merged from trunk#93779.>>

Revision 93135 - (view) (annotate) - [select for diffs]
Modified Thu Oct 17 10:01:19 2013 UTC (6 years ago) by maxpei
File length: 6220 byte(s)
Diff to previous 91288
SpecFix.

Revision 91288 - (view) (annotate) - [select for diffs]
Modified Mon Feb 25 09:19:07 2013 UTC (6 years, 7 months ago) by maxpei
File length: 6076 byte(s)
Diff to previous 87470
Adjusted AutoInfer to support inference of preconditions.

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

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: 5268 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: 4876 byte(s)
Diff to previous 83700
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 83700 - (view) (annotate) - [select for diffs]
Modified Fri Jun 25 11:15:55 2010 UTC (9 years, 3 months ago) by jasonw
File length: 2768 byte(s)
Diff to previous 83441
Removed old syntax from program analysis library and 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: 2778 byte(s)
Copied from: branches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.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/expression/expression/epa_quantified_expression.e
File length: 2778 byte(s)
Copied from: branches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.e revision 83373
Diff to previous 82526
Added program analysis library from eve64.

Revision 82526 - (view) (annotate) - [select for diffs]
Modified Sun Mar 7 21:26:29 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2778 byte(s)
Diff to previous 82496
Added support for translating a feature state transition to semantic document format.

Revision 82496 - (view) (annotate) - [select for diffs]
Added Tue Mar 2 22:02:43 2010 UTC (9 years, 7 months ago) by jasonw
File length: 2723 byte(s)
Added classes for quantified predicates.

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