-
- Downloads
Update on model loading
Showing
- modeling/AVATAR/Network_Avatar.xml 1255 additions, 1255 deletionsmodeling/AVATAR/Network_Avatar.xml
- modeling/DIPLODOCUS/SmartCardProtocol.xml 578 additions, 578 deletionsmodeling/DIPLODOCUS/SmartCardProtocol.xml
- modeling/DIPLODOCUS/simpleSDF.xml 184 additions, 184 deletionsmodeling/DIPLODOCUS/simpleSDF.xml
- src/main/java/ui/GTURTLEModeling.java 20 additions, 7 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/MainGUI.java 23 additions, 12 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/ModelParameters.java 1 addition, 1 deletionsrc/main/java/ui/ModelParameters.java
- ttool/src/test/java/ui/tmlcompd/TMLCPrimitivePortTest.java 4 additions, 2 deletionsttool/src/test/java/ui/tmlcompd/TMLCPrimitivePortTest.java
- ttool/src/test/resources/ui/tmlcompd/input/TestPortName.xml 201 additions, 201 deletionsttool/src/test/resources/ui/tmlcompd/input/TestPortName.xml
Loading
Please register or sign in to comment