Revision: 791
Author: thomas.beale
Log Message:
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [789] Initial basic checking now working. | 0 | 0 | 3 February 2009 | |
| [ref_impl_eiffel] [794] RM checking - basic form looks correct for reasonable selection of archetypes. | 0 | 0 | 8 February 2009 | |
| [ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. | 0 | 0 | 10 September 2007 | |
| [ref_impl_eiffel] [446] Current set of changes appear to be pretty good for specialisation semantics and checking. | 0 | 0 | 11 January 2008 | |
| [ref_impl_eiffel] [1340] First cut of working archetype Annotations: | 0 | 0 | 21 December 2010 | |
| [ref_impl_eiffel] [901] checkpoint commit | 0 | 0 | 12 May 2010 | |
| [ref_impl_eiffel] [737] Fix a couple of edge-case bugs found by full pass over openEHR archetypes in full assertion mode. | 0 | 0 | 24 October 2008 | |
| [ref_impl_eiffel] [991] Changes: | 0 | 0 | 7 July 2010 | |
| [ref_impl_eiffel] [1717] Changes: | 0 | 1 | 14 May 2012 | |
| [ref_impl_eiffel] [1716] Changes: | 0 | 1 | 13 May 2012 |