Skip to content

Commit

Permalink
nusmv: new build number; fixing the simulator icons
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Jun 2, 2018
1 parent 3699783 commit 997386e
Show file tree
Hide file tree
Showing 2 changed files with 59 additions and 10 deletions.
16 changes: 14 additions & 2 deletions ...al.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -337,7 +337,7 @@
<node concept="2kB4xC" id="42jqVeFkUte" role="1l3spd">
<property role="TrG5h" value="date" />
<node concept="hHN3E" id="42jqVeFkUtf" role="aVJcv">
<property role="hHN3Y" value="20180406" />
<property role="hHN3Y" value="20180602" />
</node>
</node>
<node concept="2kB4xC" id="42jqVeFkUtg" role="1l3spd">
Expand Down Expand Up @@ -408,7 +408,7 @@
<node concept="aVJcg" id="4aeOpjlAysR" role="aVJcv">
<node concept="NbPM2" id="4aeOpjlAysQ" role="aVJcq">
<node concept="3Mxwew" id="4aeOpjlAysP" role="3MwsjC">
<property role="3MwjfP" value="2018-04-06" />
<property role="3MwjfP" value="2018-06-02" />
</node>
</node>
</node>
Expand Down Expand Up @@ -620,6 +620,18 @@
<node concept="3LWZYq" id="407WgdX61le" role="1juEy9">
<property role="3LWZYl" value="**/de.itemis.mps.editor.diagram/lib/libavoid/linux64/**" />
</node>
<node concept="3LWZYq" id="2QnUwHmUCTT" role="1juEy9">
<property role="3LWZYl" value="**/lib/emma/**" />
</node>
<node concept="3LWZYq" id="2QnUwHmUF9P" role="1juEy9">
<property role="3LWZYl" value="**/lib/jung/**" />
</node>
<node concept="3LWZYq" id="2QnUwHmUFF9" role="1juEy9">
<property role="3LWZYl" value="**/lib/jfreechart/**" />
</node>
<node concept="3LWZYq" id="2QnUwHmUGHE" role="1juEy9">
<property role="3LWZYl" value="**/lib/plantuml/**" />
</node>
</node>
<node concept="3_I8Xc" id="4aeOpjlAaq3" role="39821P">
<ref role="3_I8Xa" to="ffeo:2d0qgmCdg0g" resolve="make" />
Expand Down
53 changes: 45 additions & 8 deletions ...v/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.icons_script.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -970,15 +970,52 @@
</node>
<node concept="3clFbJ" id="17WoWxlCGfg" role="3cqZAp">
<node concept="3clFbS" id="17WoWxlCGfi" role="3clFbx">
<node concept="3clFbF" id="2ShgyhegGyg" role="3cqZAp">
<node concept="2OqwBi" id="2ShgyhegGyh" role="3clFbG">
<node concept="37vLTw" id="2ShgyhegGyi" role="2Oq$k0">
<ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
<node concept="3clFbJ" id="2QnUwHmVg7S" role="3cqZAp">
<node concept="3clFbS" id="2QnUwHmVg7U" role="3clFbx">
<node concept="3SKdUt" id="2QnUwHmVpkO" role="3cqZAp">
<node concept="3SKdUq" id="2QnUwHmVpkQ" role="3SKWNk">
<property role="3SKdUp" value="the icons for the simulation bar should go in the editor folder for class files ..." />
</node>
</node>
<node concept="liA8E" id="2ShgyhegGyj" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
<node concept="Xl_RD" id="2ShgyhegGyk" role="37wK5m">
<property role="Xl_RC" value="structure" />
<node concept="3clFbF" id="2QnUwHmVlIt" role="3cqZAp">
<node concept="2OqwBi" id="2QnUwHmVlNo" role="3clFbG">
<node concept="37vLTw" id="2QnUwHmVlIr" role="2Oq$k0">
<ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
</node>
<node concept="liA8E" id="2QnUwHmVmcE" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
<node concept="Xl_RD" id="2QnUwHmVmww" role="37wK5m">
<property role="Xl_RC" value="editor" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="2QnUwHmVgVT" role="3clFbw">
<node concept="37vLTw" id="2QnUwHmVgvY" role="2Oq$k0">
<ref role="3cqZAo" node="2ShgyhegGwQ" resolve="path_language" />
</node>
<node concept="liA8E" id="2QnUwHmVhih" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.contains(java.lang.CharSequence):boolean" resolve="contains" />
<node concept="Xl_RD" id="2QnUwHmViN8" role="37wK5m">
<property role="Xl_RC" value="com.mbeddr.formal.base" />
</node>
</node>
</node>
<node concept="9aQIb" id="2QnUwHmVo7I" role="9aQIa">
<node concept="3clFbS" id="2QnUwHmVo7J" role="9aQI4">
<node concept="3clFbF" id="2ShgyhegGyg" role="3cqZAp">
<node concept="2OqwBi" id="2ShgyhegGyh" role="3clFbG">
<node concept="37vLTw" id="2ShgyhegGyi" role="2Oq$k0">
<ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
</node>
<node concept="liA8E" id="2ShgyhegGyj" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
<node concept="Xl_RD" id="2ShgyhegGyk" role="37wK5m">
<property role="Xl_RC" value="structure" />
</node>
</node>
</node>
</node>
</node>
</node>
Expand Down

0 comments on commit 997386e

Please sign in to comment.