From 731b2064eef881e7db07cd6166ca5abea418d4ef Mon Sep 17 00:00:00 2001 From: danielratiu Date: Sun, 9 Jan 2022 13:08:39 +0100 Subject: [PATCH] build: prepare for the next snapshot release --- .../models/com.mbeddr.formal.safety.build.mps | 47 +++++++++++++------ 1 file changed, 33 insertions(+), 14 deletions(-) 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 5d8c602f4..110955f19 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 @@ -339,8 +339,8 @@ - - + + @@ -440,7 +440,7 @@ - + @@ -11524,6 +11524,25 @@ + + + + + + + + + + + + + + + + + + + @@ -12492,7 +12511,7 @@ - + @@ -12500,7 +12519,7 @@ - + @@ -12520,10 +12539,10 @@ - - - - + + + + @@ -12608,7 +12627,7 @@ - + @@ -12947,7 +12966,7 @@ - + @@ -13105,9 +13124,9 @@ - + - + @@ -13167,7 +13186,7 @@ - +