/[eiffelstudio]/branches/eth/eve/Src/library/base/base2/iterator/v_iterator.e
ViewVC logotype

Log of /branches/eth/eve/Src/library/base/base2/iterator/v_iterator.e

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 94771 - (view) (annotate) - [select for diffs]
Modified Thu Apr 3 12:37:44 2014 UTC (5 years, 6 months ago) by polikarn
File length: 6578 byte(s)
Diff to previous 94603
Bugfix: redefinitions now taken into account when calculating replaced model queries.

Revision 94603 - (view) (annotate) - [select for diffs]
Modified Fri Mar 14 18:21:48 2014 UTC (5 years, 7 months ago) by polikarn
File length: 6170 byte(s)
Diff to previous 94582
Removed global_public (super slow) and added annotations as a consequence; reseting type/var counters after every verification; changed EB2 specs to verify with the sound invariant frame axiom.

Revision 94582 - (view) (annotate) - [select for diffs]
Modified Sun Mar 9 15:37:33 2014 UTC (5 years, 7 months ago) by polikarn
File length: 6112 byte(s)
Diff to previous 94495
Bugfix: well-formedness checks inside old expressions. Fixed the unsound frame axiom for class invariants.

Revision 94495 - (view) (annotate) - [select for diffs]
Modified Mon Feb 24 08:56:09 2014 UTC (5 years, 7 months ago) by polikarn
File length: 6086 byte(s)
Diff to previous 94492
Real triggering on partial invariants. Framing for domains. Bugfix for redefining functions into attributes.

Revision 94492 - (view) (annotate) - [select for diffs]
Modified Sat Feb 22 17:22:35 2014 UTC (5 years, 7 months ago) by polikarn
File length: 6060 byte(s)
Diff to previous 94491
Verified CELL_CURSOR. Minor bugfix. Renamed ghost index.

Revision 94491 - (view) (annotate) - [select for diffs]
Modified Sat Feb 22 16:35:51 2014 UTC (5 years, 7 months ago) by polikarn
File length: 5929 byte(s)
Diff to previous 94461
Simple solution for trigerring partial invariants. Simplified some specs.

Revision 94461 - (view) (annotate) - [select for diffs]
Modified Fri Feb 21 15:39:42 2014 UTC (5 years, 7 months ago) by polikarn
File length: 5897 byte(s)
Diff to previous 94341
Fixes in model replacement mechanism. Verified LIST (except remove, remove_all). Cleaned up base2.

Revision 94341 - (view) (annotate) - [select for diffs]
Modified Mon Feb 17 13:06:39 2014 UTC (5 years, 7 months ago) by polikarn
File length: 8763 byte(s)
Diff to previous 94332
Checking frame redefinitions.

Revision 94332 - (view) (annotate) - [select for diffs]
Modified Sat Feb 15 16:08:53 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8768 byte(s)
Diff to previous 94288
Adding closed to all model frames.

Revision 94288 - (view) (annotate) - [select for diffs]
Modified Thu Feb 13 13:30:47 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8838 byte(s)
Diff to previous 94273
Verified OUTPUT_STREAM and IO_ITERATOR + minor bugfix.

Revision 94273 - (view) (annotate) - [select for diffs]
Modified Wed Feb 12 14:36:57 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8752 byte(s)
Diff to previous 94246
Fixed well-formedness checks in existentials; better approach to triggers; minor bugfixes.

Revision 94246 - (view) (annotate) - [select for diffs]
Modified Mon Feb 10 14:20:43 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8626 byte(s)
Diff to previous 94244
Generating triggers for across expressions; invariant admissibility is now checked first.

Revision 94244 - (view) (annotate) - [select for diffs]
Modified Sun Feb 9 18:58:57 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8574 byte(s)
Diff to previous 94212
New approach to abstract framing: model queries are inherited. Big typing refactoring: uniform conversion and type-safe conversion to class types all over the place.

Revision 94212 - (view) (annotate) - [select for diffs]
Modified Thu Feb 6 14:05:02 2014 UTC (5 years, 8 months ago) by polikarn
File length: 8301 byte(s)
Diff to previous 94156
Freshness. Changed conditions for modifying observers. First 3 classes of EB2 with models.

Revision 94156 - (view) (annotate) - [select for diffs]
Modified Sun Feb 2 16:57:38 2014 UTC (5 years, 8 months ago) by polikarn
File length: 9617 byte(s)
Diff to previous 94067
Verified routines of ITERATOR + minor improvements and bugfixes.

Revision 94067 - (view) (annotate) - [select for diffs]
Added Tue Jan 21 17:30:21 2014 UTC (5 years, 8 months ago) by polikarn
File length: 7691 byte(s)
Logical creation in contracts; connecting functional representation to procedure, impure functions; fixing some issues with generics; no built-in set defaults for deferred classes; added first EB2 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