From 08422e73db9c7aee37da0278bbad15775332f84a Mon Sep 17 00:00:00 2001 From: danielratiu Date: Thu, 13 Jun 2024 22:46:21 +0200 Subject: [PATCH] ft: fixed layout --- .../models/com.fasten.safety.ft.editor.mps | 6 +- ...fasten.safety.ft.sandbox._010_ft_smoke.mps | 309 +++++++++--------- 2 files changed, 151 insertions(+), 164 deletions(-) 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 d062a262..b7749ee7 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 @@ -7243,7 +7243,7 @@ - + @@ -7273,14 +7273,14 @@ - + - + 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 b31f7349..1f86ca46 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 @@ -2106,7 +2106,7 @@ - + @@ -2124,7 +2124,7 @@ - + @@ -2142,7 +2142,7 @@ - + @@ -2153,15 +2153,15 @@ - + - + - + @@ -2208,7 +2208,7 @@ - + @@ -2244,7 +2244,7 @@ - + @@ -2337,21 +2337,21 @@ - - - - - - - + + + - - + + + + + + @@ -2998,7 +2998,7 @@ - + @@ -3034,42 +3034,42 @@ - + - + - + - + - + - + - + - + - + @@ -3090,8 +3090,8 @@ - - + + @@ -3108,8 +3108,8 @@ - - + + @@ -3130,13 +3130,13 @@ - - - + + + - - - + + + @@ -3171,8 +3171,8 @@ - - + + @@ -3189,8 +3189,8 @@ - - + + @@ -3207,16 +3207,16 @@ - - + + - + - + @@ -3224,12 +3224,12 @@ - - + + - - + + @@ -3237,12 +3237,12 @@ - - + + - - + + @@ -3252,26 +3252,17 @@ - - - - - - - - - - + - + - + @@ -3289,25 +3280,25 @@ - - + + - + - + - + @@ -3321,7 +3312,7 @@ - + @@ -3339,58 +3330,58 @@ - - - + + + - + - + - + - + - + - + - + - + - + - + - - + + @@ -3419,8 +3410,8 @@ - - + + @@ -3437,8 +3428,8 @@ - - + + @@ -3455,8 +3446,8 @@ - - + + @@ -3473,8 +3464,8 @@ - - + + @@ -3491,8 +3482,8 @@ - - + + @@ -3509,8 +3500,8 @@ - - + + @@ -3527,8 +3518,8 @@ - - + + @@ -3545,8 +3536,8 @@ - - + + @@ -3563,16 +3554,16 @@ - - + + - + - + @@ -3580,12 +3571,12 @@ - - + + - - + + @@ -3593,11 +3584,11 @@ - + - + @@ -3606,11 +3597,11 @@ - + - + @@ -3619,12 +3610,12 @@ - - + + - - + + @@ -3632,12 +3623,8 @@ - - - - - - + + @@ -3645,38 +3632,29 @@ - - + + - - + + - - - - - - - - - - + - - + + - - + + @@ -3684,12 +3662,12 @@ - - + + - - + + @@ -3697,12 +3675,12 @@ - - + + - - - + + + @@ -3710,29 +3688,38 @@ - - + + - - - + + + - + + + + + + + + + + - - + + - - + +