Resolving bug on channel artifact edition, and adding static values to fiels...
Resolving bug on channel artifact edition, and adding static values to fiels of proverif dialog window
Showing
- src/main/java/ui/GTMLModeling.java 14 additions, 2 deletionssrc/main/java/ui/GTMLModeling.java
- src/main/java/ui/tmldd/TMLArchiCommunicationArtifact.java 4 additions, 0 deletionssrc/main/java/ui/tmldd/TMLArchiCommunicationArtifact.java
- src/main/java/ui/tmldd/TMLArchiDiagramToolBar.java 1 addition, 1 deletionsrc/main/java/ui/tmldd/TMLArchiDiagramToolBar.java
- src/main/java/ui/tmldd/TMLArchiEventArtifact.java 0 additions, 8 deletionssrc/main/java/ui/tmldd/TMLArchiEventArtifact.java
- src/main/java/ui/window/JDialogCommunicationArtifact.java 5 additions, 6 deletionssrc/main/java/ui/window/JDialogCommunicationArtifact.java
- src/main/java/ui/window/JDialogProverifVerification.java 36 additions, 13 deletionssrc/main/java/ui/window/JDialogProverifVerification.java
Loading
Please register or sign in to comment