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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 94603 - (view) (annotate) - [select for diffs]
Modified Fri Mar 14 18:21:48 2014 UTC (5 years, 11 months ago) by polikarn
File length: 1823 byte(s)
Diff to previous 94492
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 94492 - (view) (annotate) - [select for diffs]
Modified Sat Feb 22 17:22:35 2014 UTC (6 years ago) by polikarn
File length: 1791 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 (6 years ago) by polikarn
File length: 1786 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 (6 years ago) by polikarn
File length: 1795 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 (6 years ago) by polikarn
File length: 1805 byte(s)
Diff to previous 94252
Verified OUTPUT_STREAM and IO_ITERATOR + minor bugfix.

Revision 94252 - (view) (annotate) - [select for diffs]
Modified Mon Feb 10 19:40:18 2014 UTC (6 years ago) by polikarn
File length: 1795 byte(s)
Diff to previous 94249
Fixed further typing problems. Verified SEQUENCE_ITERATOR.

Revision 94249 - (view) (annotate) - [select for diffs]
Modified Mon Feb 10 18:53:59 2014 UTC (6 years ago) by polikarn
File length: 1735 byte(s)
Diff to previous 94247
Fixed some typing issues.

Revision 94247 - (view) (annotate) - [select for diffs]
Added Mon Feb 10 14:26:56 2014 UTC (6 years ago) by polikarn
File length: 1753 byte(s)
Verified MAP and MAP_ITERATOR.

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