From f42f89deed2daacb3295ef50d524b3215f3fe0b2 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Tue, 19 Nov 2024 23:20:14 +0100 Subject: [PATCH] build: added symo.plantuml to the build --- .../models/com.mbeddr.formal.safety.build.mps | 239 ++++++++++++++++++ 1 file changed, 239 insertions(+) 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 6ecdbc21..9c1ce5b8 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 @@ -643,6 +643,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3123,6 +3144,224 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +