Correcting bug: exception when stopping the diplodocus compilation process
Showing
- .idea/misc.xml 1 addition, 1 deletion.idea/misc.xml
- modeling/AVATAR/testReq.xml 3 additions, 3 deletionsmodeling/AVATAR/testReq.xml
- modeling/DIPLODOCUS/SmartCardProtocol_sec.xml 12840 additions, 12830 deletionsmodeling/DIPLODOCUS/SmartCardProtocol_sec.xml
- src/main/java/ui/MainGUI.java 8 additions, 1 deletionsrc/main/java/ui/MainGUI.java
- src/main/java/ui/window/JDialogSystemCGeneration.java 5 additions, 1 deletionsrc/main/java/ui/window/JDialogSystemCGeneration.java
Loading
Please register or sign in to comment