Revision: 789
Author: thomas.beale
Log Message:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [791] The basic class and attribute checks appear to be working, based on current archetypes, including specialised ones. | 0 | 2 | 4 February 2009 | |
| [ref_impl_eiffel] [782] Initial cut of reference model checker. | 0 | 2 | 2 February 2009 | |
| [ref_impl_eiffel] [901] checkpoint commit | 0 | 1 | 12 May 2010 | |
| [ref_impl_eiffel] [958] Initial working form (not properly tested) of dependency-checking compiler changes. | 0 | 1 | 23 June 2010 | |
| [ref_impl_eiffel] [991] Changes: | 0 | 2 | 7 July 2010 | |
| [ref_impl_eiffel] [938] Changes: | 0 | 5 | 3 June 2010 | |
| [ref_impl_eiffel] [976] Changes: | 0 | 2 | 3 July 2010 | |
| [ref_impl_eiffel] [1015] Changes: | 0 | 2 | 16 July 2010 | |
| [ref_impl_eiffel] [1017] Changes: | 0 | 3 | 18 July 2010 | |
| [ref_impl_eiffel] [879] Various validation improvements: | 0 | 0 | 27 July 2009 |