diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index f33048475..20b7cc0e7 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -2609,68 +2609,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2735,11 +2673,6 @@ - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index 60d013c91..a288dc553 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -2861,68 +2861,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2987,11 +2925,6 @@ - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps index 9ed8be0cb..2eb91d750 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps @@ -166,10 +166,14 @@ + + + + @@ -246,6 +250,14 @@ + + + + + + + + @@ -301,6 +313,10 @@ + + + + @@ -350,6 +366,10 @@ + + + + @@ -399,6 +419,10 @@ + + + + @@ -448,6 +472,10 @@ + + + + @@ -497,6 +525,10 @@ + + + + @@ -634,6 +666,10 @@ + + + + @@ -683,6 +719,10 @@ + + + + @@ -1209,6 +1249,9 @@ + + + @@ -1225,6 +1268,12 @@ + + + + + + @@ -1514,10 +1563,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx index 68f888bae..3eb4cd9fe 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx index 1fa148fbc..e6a9f9209 100644 Binary files a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx and b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx differ diff --git a/code/languages/com.mpsbasics/.mps/modules.xml b/code/languages/com.mpsbasics/.mps/modules.xml index 114a6c14c..87dacf675 100644 --- a/code/languages/com.mpsbasics/.mps/modules.xml +++ b/code/languages/com.mpsbasics/.mps/modules.xml @@ -6,7 +6,6 @@ - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd deleted file mode 100644 index ecdcc49e3..000000000 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) - - - - - - - - - - - - - - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd index eb751678e..90878d834 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd @@ -1,7 +1,7 @@ - + @@ -13,16 +13,17 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) - 1cb48442-05da-4cad-b5c5-e31ddd69e322(com.mpsbasics.docx4j.diffx.lib) + + + - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps index c3a6123d4..848d0bd40 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps @@ -5,37 +5,41 @@ + + - - - - - - + + + + + + + + + + + - - - @@ -47,11 +51,10 @@ - + - - - + + @@ -63,6 +66,7 @@ + @@ -82,7 +86,12 @@ - + + + + + + @@ -91,9 +100,7 @@ - - - + @@ -101,7 +108,6 @@ - @@ -112,33 +118,55 @@ + + + + + + + + + + + + + + + + - - - + + + + + + + - - - + + + + - - + + + @@ -147,13 +175,7 @@ - - - - - - - + @@ -198,7 +220,7 @@ - + @@ -211,284 +233,441 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - + + - - - - - - + + + + + + + - - - - - - + + + + + - - - + + + + + + + + + - - - - - + + + + + - - - - - + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + - - + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + - - - - + + + + - - - - - - @@ -503,6 +682,12 @@ + + + + + +