Revision: 957
Author: thomas.beale
Log Message:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [826] Correct a bug that caused a Void reference violation for a C_ATTRIBUTE that should have been declared with a cardinality but wasn't | 0 | 2 | 28 February 2009 | |
| [ref_impl_eiffel] [877] Minor corrections to error processing of cardinality etc; currently the compiler is strict on everything. | 0 | 1 | 16 July 2009 | |
| [ref_impl_eiffel] [808] Improve semantics of multiplicity_interval and cardinality classes. | 0 | 0 | 22 February 2009 | |
| [ref_impl_eiffel] [955] Remove useless statements in C_ATTRIBUTE (due to PG code review) | 0 | 0 | 21 June 2010 | |
| [ref_impl_eiffel] [986] Strengthen some postconditions in C_ATTRIBUTE. | 0 | 3 | 5 July 2010 | |
| [ref_impl_eiffel] [1530] Fixes: | 0 | 2 | 12 August 2011 | |
| [ref_impl_eiffel] [1010] Fixes | 0 | 2 | 16 July 2010 | |
| [ref_impl_eiffel] [798] Implemented existence and cardinality reference model checking. | 0 | 1 | 9 February 2009 | |
| [ref_impl_eiffel] [1610] Fixes: | 0 | 3 | 9 September 2011 | |
| [ref_impl_eiffel] [1075] Changes | 0 | 1 | 3 August 2010 |