diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps index cd2953845..d062a2626 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps @@ -408,6 +408,9 @@ + + + @@ -459,6 +462,15 @@ + + + + + + + + + @@ -471,6 +483,18 @@ + + + + + + + + + + + + @@ -502,6 +526,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7160,6 +7237,83 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps index 05edc2543..b31f73490 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps @@ -116,7 +116,7 @@ - + @@ -171,7 +171,7 @@ - + @@ -182,7 +182,7 @@ - + @@ -190,7 +190,7 @@ - + @@ -254,36 +254,36 @@ - + - + - + - + - + - + @@ -519,7 +519,7 @@ - + @@ -528,11 +528,11 @@ - + - + @@ -541,7 +541,7 @@ - + @@ -555,7 +555,7 @@ - + @@ -573,7 +573,7 @@ - + @@ -615,18 +615,27 @@ - + - + - + + + + + + + + + + @@ -645,11 +654,11 @@ - + - + @@ -662,11 +671,11 @@ - + - + @@ -1205,8 +1214,8 @@ - - + + @@ -1223,7 +1232,7 @@ - + @@ -1234,18 +1243,18 @@ - + - + - + @@ -1263,7 +1272,7 @@ - + @@ -1375,14 +1384,14 @@ - - - - + + + + - + @@ -1403,11 +1412,11 @@ - + - + @@ -2097,8 +2106,8 @@ - - + + @@ -2115,8 +2124,8 @@ - - + + @@ -2133,26 +2142,26 @@ - + - + - + - + - + @@ -2199,18 +2208,18 @@ - + - + - + @@ -2236,7 +2245,7 @@ - + @@ -2328,26 +2337,17 @@ - - - - - - - - - - + - + - +