safety: ran automated migrations

mbeddr · Jun 12, 2024 · 6500dd9 · 6500dd9
1 parent c02c03d
commit 6500dd9
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 17 deletions.
diff --git a/...l.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps b/...l.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps
@@ -990,30 +990,30 @@
       <node concept="37mRIm" id="1qrXfdH0LFD" role="37mRID">
         <property role="37mO49" value="1629165016567716576" />
         <node concept="gqqVs" id="1qrXfdH0LFB" role="37mO4d">
-          <property role="gqqTZ" value="24.0" />
-          <property role="gqqTW" value="12.0" />
-          <property role="gqqTX" value="128.0" />
-          <property role="gqqTy" value="45.0" />
+          <property role="gqqTZ" value="33.0" />
+          <property role="gqqTW" value="12.000100000000003" />
+          <property role="gqqTX" value="100.0" />
+          <property role="gqqTy" value="42.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>
       <node concept="37mRIm" id="1qrXfdH0LFY" role="37mRID">
         <property role="37mO49" value="1629165016567716597" />
         <node concept="gqqVs" id="1qrXfdH0LFX" role="37mO4d">
           <property role="gqqTZ" value="12.0" />
-          <property role="gqqTW" value="125.0" />
-          <property role="gqqTX" value="146.0" />
-          <property role="gqqTy" value="50.0" />
+          <property role="gqqTW" value="74.00029836425782" />
+          <property role="gqqTX" value="142.0" />
+          <property role="gqqTy" value="42.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>
       <node concept="37mRIm" id="1qrXfdH0LGo" role="37mRID">
         <property role="37mO49" value="1629165016567716622" />
         <node concept="gqqVs" id="1qrXfdH0LGn" role="37mO4d">
-          <property role="gqqTZ" value="24.0" />
-          <property role="gqqTW" value="242.0" />
-          <property role="gqqTX" value="128.0" />
-          <property role="gqqTy" value="47.0" />
+          <property role="gqqTZ" value="30.0" />
+          <property role="gqqTW" value="136.00049672851563" />
+          <property role="gqqTX" value="106.0" />
+          <property role="gqqTy" value="42.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>

diff --git a/...-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd b/...-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
@@ -80,7 +80,7 @@
     <language slang="l:7e777b53-0a6b-4719-b36d-10475788d49f:com.mbeddr.formal.safety.stamp" version="2" />
     <language slang="l:eccaed1c-88f4-4a5c-9ad8-d1b8c9f330e9:com.mbeddr.formal.safety.stamp.ext" version="0" />
     <language slang="l:ad8d48af-022b-40dc-8979-2b76074fb438:com.mbeddr.formal.spin" version="0" />
-    <language slang="l:63e0e566-5131-447e-90e3-12ea330e1a00:com.mbeddr.mpsutil.blutil" version="1" />
+    <language slang="l:63e0e566-5131-447e-90e3-12ea330e1a00:com.mbeddr.mpsutil.blutil" version="3" />
     <language slang="l:d3a0fd26-445a-466c-900e-10444ddfed52:com.mbeddr.mpsutil.filepicker" version="0" />
     <language slang="l:d09a16fb-1d68-4a92-a5a4-20b4b2f86a62:com.mbeddr.mpsutil.jung" version="0" />
     <language slang="l:92f195b6-a209-4804-ad65-f5248ecd5873:com.mbeddr.mpsutil.margincell" version="0" />
@@ -97,6 +97,7 @@
     <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
     <language slang="l:1839bec5-cea6-41df-b9e0-c405ff35c41e:jetbrains.mps.lang.editor.imageGen" version="0" />
     <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
     <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
   </languageVersions>
   <dependencyVersions>

diff --git a/...rmal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr b/...rmal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr
@@ -4,7 +4,7 @@
   <imports />
   <registry>
     <language id="2dec0852-3a21-4c4e-a68c-b05236cc37f2" name="com.mbeddr.doc.gen_xhtml">
-      <concept id="3498379661306969557" name="com.mbeddr.doc.gen_xhtml.structure.HTMLDummyRenderer" flags="ng" index="1TaS0h" />
+      <concept id="3498379661306969557" name="com.mbeddr.doc.gen_xhtml.structure.HTMLNoOutputRenderer" flags="ng" index="1TaS0h" />
     </language>
     <language id="2374bc90-7e37-41f1-a9c4-c2e35194c36a" name="com.mbeddr.doc">
       <concept id="6386504476136554612" name="com.mbeddr.doc.structure.PathMapping" flags="ng" index="2SbEIf">
@@ -17,7 +17,7 @@
         <child id="6068976060904007488" name="inactiveRenderer" index="30Gjbi" />
         <child id="6068976060904007489" name="root" index="30Gjbj" />
       </concept>
-      <concept id="3350625596580269173" name="com.mbeddr.doc.structure.NullRenderer" flags="ng" index="1_05Lf" />
+      <concept id="3350625596580269173" name="com.mbeddr.doc.structure.NoOutputRenderer" flags="ng" index="1_05Lf" />
       <concept id="3350625596580256366" name="com.mbeddr.doc.structure.DocumentExport" flags="ng" index="1_08Dk">
         <property id="126932837435324910" name="title" index="WqcPg" />
       </concept>

diff --git a/...y/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd b/...y/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd
@@ -20,7 +20,7 @@
     <language slang="l:2374bc90-7e37-41f1-a9c4-c2e35194c36a:com.mbeddr.doc" version="4" />
     <language slang="l:f44f6b9a-bf30-4f73-866e-fac17c177409:com.mbeddr.doc.gen_latex" version="0" />
     <language slang="l:2dec0852-3a21-4c4e-a68c-b05236cc37f2:com.mbeddr.doc.gen_xhtml" version="1" />
-    <language slang="l:63e0e566-5131-447e-90e3-12ea330e1a00:com.mbeddr.mpsutil.blutil" version="1" />
+    <language slang="l:63e0e566-5131-447e-90e3-12ea330e1a00:com.mbeddr.mpsutil.blutil" version="3" />
     <language slang="l:d3a0fd26-445a-466c-900e-10444ddfed52:com.mbeddr.mpsutil.filepicker" version="0" />
     <language slang="l:d09a16fb-1d68-4a92-a5a4-20b4b2f86a62:com.mbeddr.mpsutil.jung" version="0" />
     <language slang="l:92f195b6-a209-4804-ad65-f5248ecd5873:com.mbeddr.mpsutil.margincell" version="0" />
@@ -34,6 +34,7 @@
     <language slang="l:479c7a8c-02f9-43b5-9139-d910cb22f298:jetbrains.mps.core.xml" version="0" />
     <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
     <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
     <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
   </languageVersions>
   <dependencyVersions>

diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr
@@ -4,7 +4,7 @@
   <imports />
   <registry>
     <language id="2dec0852-3a21-4c4e-a68c-b05236cc37f2" name="com.mbeddr.doc.gen_xhtml">
-      <concept id="3498379661306969557" name="com.mbeddr.doc.gen_xhtml.structure.HTMLDummyRenderer" flags="ng" index="1TaS0h" />
+      <concept id="3498379661306969557" name="com.mbeddr.doc.gen_xhtml.structure.HTMLNoOutputRenderer" flags="ng" index="1TaS0h" />
     </language>
     <language id="2374bc90-7e37-41f1-a9c4-c2e35194c36a" name="com.mbeddr.doc">
       <concept id="6386504476136554612" name="com.mbeddr.doc.structure.PathMapping" flags="ng" index="2SbEIf">
@@ -17,7 +17,7 @@
         <child id="6068976060904007488" name="inactiveRenderer" index="30Gjbi" />
         <child id="6068976060904007489" name="root" index="30Gjbj" />
       </concept>
-      <concept id="3350625596580269173" name="com.mbeddr.doc.structure.NullRenderer" flags="ng" index="1_05Lf" />
+      <concept id="3350625596580269173" name="com.mbeddr.doc.structure.NoOutputRenderer" flags="ng" index="1_05Lf" />
       <concept id="3350625596580256366" name="com.mbeddr.doc.structure.DocumentExport" flags="ng" index="1_08Dk">
         <property id="126932837435324910" name="title" index="WqcPg" />
       </concept>