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

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

View Directory Listing Directory Listing


Sticky Revision:

Revision 94771 - Directory Listing
Modified Thu Apr 3 12:37:44 2014 UTC (5 years, 8 months ago) by polikarn
Bugfix: redefinitions now taken into account when calculating replaced model queries.

Revision 94604 - Directory Listing
Modified Sat Mar 15 14:57:57 2014 UTC (5 years, 8 months ago) by polikarn
Removed an unsoundness caused by merging attributes with multiple inheritance. Fixed bug with frozen types vs. frozen classes.

Revision 94603 - Directory Listing
Modified Fri Mar 14 18:21:48 2014 UTC (5 years, 8 months ago) by polikarn
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 - Directory Listing
Modified Sat Feb 22 17:22:35 2014 UTC (5 years, 9 months ago) by polikarn
Verified CELL_CURSOR. Minor bugfix. Renamed ghost index.

Revision 94461 - Directory Listing
Modified Fri Feb 21 15:39:42 2014 UTC (5 years, 9 months ago) by polikarn
Fixes in model replacement mechanism. Verified LIST (except remove, remove_all). Cleaned up base2.

Revision 94307 - Directory Listing
Added Fri Feb 14 13:39:28 2014 UTC (5 years, 9 months ago) by polikarn
Triggering on arithmetic operations as a command-line option; processing {TYPE}.default_value; verified MUTABLE_SEQUENCE and its iterator.

  ViewVC Help
Powered by ViewVC 1.1.23