Resolving bug on block clone when the block contains a lib func call. Still...
Resolving bug on block clone when the block contains a lib func call. Still cannot clone a library function
Showing
- src/main/java/cli/Action.java 201 additions, 2 deletionssrc/main/java/cli/Action.java
- src/main/java/cli/Interpreter.java 2 additions, 0 deletionssrc/main/java/cli/Interpreter.java
- src/main/java/ui/AvatarDesignPanel.java 2 additions, 0 deletionssrc/main/java/ui/AvatarDesignPanel.java
- src/main/java/ui/GTURTLEModeling.java 67 additions, 20 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/MainGUI.java 2 additions, 0 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/TDiagramPanel.java 2 additions, 0 deletionssrc/main/java/ui/TDiagramPanel.java
- src/main/java/ui/TGComponent.java 8 additions, 4 deletionssrc/main/java/ui/TGComponent.java
- src/main/java/ui/avatarbd/AvatarBDBlock.java 2 additions, 0 deletionssrc/main/java/ui/avatarbd/AvatarBDBlock.java
- src/main/java/ui/avatarbd/AvatarBDInterface.java 18 additions, 1 deletionsrc/main/java/ui/avatarbd/AvatarBDInterface.java
- src/main/java/ui/avatarbd/AvatarBDLibraryFunction.java 12 additions, 3 deletionssrc/main/java/ui/avatarbd/AvatarBDLibraryFunction.java
- src/main/java/ui/avatarbd/AvatarBDPanel.java 1 addition, 1 deletionsrc/main/java/ui/avatarbd/AvatarBDPanel.java
- src/main/java/ui/avatarbd/AvatarBDStateMachineOwner.java 4 additions, 0 deletionssrc/main/java/ui/avatarbd/AvatarBDStateMachineOwner.java
- src/main/java/ui/avatarsmd/AvatarSMDLibraryFunctionCall.java 167 additions, 17 deletionssrc/main/java/ui/avatarsmd/AvatarSMDLibraryFunctionCall.java
- src/main/java/ui/window/JDialogProverifVerification.java 1 addition, 3 deletionssrc/main/java/ui/window/JDialogProverifVerification.java
Loading
Please register or sign in to comment