Revision: 971
Author: peter.gummer
Log Message:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [698] Add a postcondition. | 0 | 1 | 5 September 2008 | |
| ref_impl_eiffel [255] AWB-32: Simplify the implementation, and add a postcondition. | 0 | 1 | 27 May 2007 | |
| [ref_impl_eiffel] [994] Add a missing postcondition to ARCH_REP_ARCHETYPE.flatten. | 0 | 0 | 8 July 2010 | |
| [ref_impl_eiffel] [986] Strengthen some postconditions in C_ATTRIBUTE. | 0 | 3 | 5 July 2010 | |
| [ref_impl_eiffel] [716] Missed validity message. | 0 | 1 | 25 September 2008 | |
| [ref_impl_eiffel] [995] Remove an invariant that was failing. | 0 | 1 | 8 July 2010 | |
| [ref_impl_eiffel] [382] 1. | 0 | 2 | 10 October 2007 | |
| [ref_impl_eiffel] [1010] Fixes | 0 | 2 | 16 July 2010 | |
| [ref_impl_eiffel] [991] Changes: | 0 | 1 | 7 July 2010 | |
| [ref_impl_eiffel] [942] Correct errors: | 0 | 2 | 5 June 2010 |