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

Log of /branches/eth/eve/Src/library/base/base2/iterator/v_io_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, 8 months ago) by polikarn
File length: 1906 byte(s)
Diff to previous 94604
Bugfix: redefinitions now taken into account when calculating replaced model queries.

Revision 94604 - (view) (annotate) - [select for diffs]
Modified Sat Mar 15 14:57:57 2014 UTC (5 years, 9 months ago) by polikarn
File length: 1790 byte(s)
Diff to previous 94603
Removed an unsoundness caused by merging attributes with multiple inheritance. Fixed bug with frozen types vs. frozen classes.

Revision 94603 - (view) (annotate) - [select for diffs]
Modified Fri Mar 14 18:21:48 2014 UTC (5 years, 9 months ago) by polikarn
File length: 1773 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, 9 months ago) by polikarn
File length: 1751 byte(s)
Diff to previous 94492
Bugfix: well-formedness checks inside old expressions. Fixed the unsound frame axiom for class invariants.

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

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

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

Revision 94307 - (view) (annotate) - [select for diffs]
Modified Fri Feb 14 13:39:28 2014 UTC (5 years, 9 months ago) by polikarn
File length: 1502 byte(s)
Diff to previous 94288
Triggering on arithmetic operations as a command-line option; processing {TYPE}.default_value; verified MUTABLE_SEQUENCE and its iterator.

Revision 94288 - (view) (annotate) - [select for diffs]
Added Thu Feb 13 13:30:47 2014 UTC (5 years, 10 months ago) by polikarn
File length: 1425 byte(s)
Verified OUTPUT_STREAM and IO_ITERATOR + minor bugfix.

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