Resolving bug on fork chan handling in tml->avatar
Showing
- modeling/DIPLODOCUS/ZigBeeTutorial.xml 1 addition, 1 deletionmodeling/DIPLODOCUS/ZigBeeTutorial.xml
- modeling/testModelCheckerAvatar/testClocks.xml 2465 additions, 1464 deletionsmodeling/testModelCheckerAvatar/testClocks.xml
- src/main/java/avatartranslator/AvatarGuard.java 6 additions, 6 deletionssrc/main/java/avatartranslator/AvatarGuard.java
- src/main/java/avatartranslator/AvatarState.java 9 additions, 0 deletionssrc/main/java/avatartranslator/AvatarState.java
- src/main/java/avatartranslator/AvatarStateMachine.java 4 additions, 0 deletionssrc/main/java/avatartranslator/AvatarStateMachine.java
- src/main/java/tmltranslator/TMLMapping.java 1 addition, 1 deletionsrc/main/java/tmltranslator/TMLMapping.java
- src/main/java/tmltranslator/TMLModeling.java 3 additions, 2 deletionssrc/main/java/tmltranslator/TMLModeling.java
- src/main/java/tmltranslator/toavatar/FullTML2Avatar.java 6 additions, 3 deletionssrc/main/java/tmltranslator/toavatar/FullTML2Avatar.java
- src/main/java/ui/GTURTLEModeling.java 3 additions, 3 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/avatarbd/AvatarBDPortConnector.java 8 additions, 7 deletionssrc/main/java/ui/avatarbd/AvatarBDPortConnector.java
- src/main/java/ui/window/JDialogAvatarModelChecker.java 1 addition, 1 deletionsrc/main/java/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment