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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 96423 - (view) (annotate) - [select for diffs]
Modified Tue Dec 23 00:55:09 2014 UTC (4 years, 11 months ago) by polikarn
File length: 1283 byte(s)
Diff to previous 96103
Added independent is_equal implementatiion for hash table and set iterators.

Revision 96103 - (view) (annotate) - [select for diffs]
Modified Mon Nov 17 16:30:08 2014 UTC (5 years ago) by polikarn
File length: 1254 byte(s)
Diff to previous 96029
New translation for recursive functions. Fixed model replacement processing and removed the unsound frame redefinition. Bugfix: avoid crush when listing unknown attribute at model. Renamed dynamic status into nonvariant.

Revision 96029 - (view) (annotate) - [select for diffs]
Modified Sat Nov 1 15:22:18 2014 UTC (5 years, 1 month ago) by polikarn
File length: 1306 byte(s)
Diff to previous 95990
Removed built-in attributes apart from subject and observers from the model. Static heurictic now works for all ghost fields.

Revision 95990 - (view) (annotate) - [select for diffs]
Modified Fri Oct 24 15:56:03 2014 UTC (5 years, 1 month ago) by polikarn
File length: 1169 byte(s)
Diff to previous 95975
Rearranged the inheritance hierarchy (MAP is now the ancestor of TABLE but not of SEQUENCE).

Revision 95975 - (view) (annotate) - [select for diffs]
Modified Tue Oct 21 17:20:13 2014 UTC (5 years, 1 month ago) by polikarn
File length: 1171 byte(s)
Diff to previous 95711
Added TABLE and iterator.

Revision 95711 - (view) (annotate) - [select for diffs]
Modified Thu Aug 28 18:10:18 2014 UTC (5 years, 3 months ago) by polikarn
File length: 1169 byte(s)
Diff to previous 95528
Verified all features in LINKED_LIST. Improved invariant violation reporting. Bugfixes.

Revision 95528 - (view) (annotate) - [select for diffs]
Modified Mon Jul 28 13:20:57 2014 UTC (5 years, 4 months ago) by polikarn
File length: 1144 byte(s)
Diff to previous 94885
Fixed in_domain frame axiom trigger; generating triggers only in class invariants; changed model of V_SEQUENCE to sequence.

Revision 94885 - (view) (annotate) - [select for diffs]
Modified Thu Apr 17 17:06:14 2014 UTC (5 years, 7 months ago) by polikarn
File length: 1144 byte(s)
Diff to previous 94771
Bringing in invariants of closed objects automatically unless manual_inv: true is specified.

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: 1126 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, 8 months ago) by polikarn
File length: 1136 byte(s)
Diff to previous 94492
Removed an unsoundness caused by merging attributes with multiple inheritance. Fixed bug with frozen types vs. frozen classes.

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: 1094 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: 1089 byte(s)
Diff to previous 94307
Fixes in model replacement mechanism. Verified LIST (except remove, remove_all). Cleaned up base2.

Revision 94307 - (view) (annotate) - [select for diffs]
Added Fri Feb 14 13:39:28 2014 UTC (5 years, 9 months ago) by polikarn
File length: 1004 byte(s)
Triggering on arithmetic operations as a command-line option; processing {TYPE}.default_value; verified MUTABLE_SEQUENCE and its 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