From 090c099c32d899a54edd94c0d535aaf28b60a070 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Tue, 13 May 2008 15:53:40 +0000 Subject: [PATCH] updated status git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7969 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/status.txt | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/su4sml/src/wfcpog/status.txt b/su4sml/src/wfcpog/status.txt index 69a7eac..395d434 100644 --- a/su4sml/src/wfcpog/status.txt +++ b/su4sml/src/wfcpog/status.txt @@ -1,12 +1,16 @@ -"visibilityconsistency.sml" ===> [DONE (class: support for associationends)] -"liskovconstraint.sml" ===> [DONE (invariants raises error)] +"visibilityconsistency.sml" ===> [DONE (class: support for +assocends)] ==> MANUEL +"liskovconstraint.sml" ===> [DONE (invariants)] "datamodelconsistency.sml" ===> [DONE] -"constructorconsistency.sml" ===> [DONE (force_initialize_attributes still left] +"constructorconsistency.sml" ===> [DONE +(force_initialize_attributes still left] +==> Manuel "operationalconsistency.sml" ===> [ready for isabelle] "refineconstraint.sml" ===> [ready for isabelle] -"commandqueryconsistency.sml" ===> [ready for isablle (is_modified_only still left)] +"commandqueryconsistency.sml" ===> [ready for isablle +(is_modified_only still left)] "taxonomyconsistency.sml" ===> [DONE] "interfaceconsistency.sml" ===> [DONE] "SecureUMLconstraint.sml" ===> [IMPLEMENTATION NOT FINISHED]