Update on simulators and models
Showing
- .idea/misc.xml 1 addition, 1 deletion.idea/misc.xml
- modeling/testforkandjoin.xml 1261 additions, 1069 deletionsmodeling/testforkandjoin.xml
- src/main/java/ui/GTURTLEModeling.java 7 additions, 4 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/window/JDialogProverifVerification.java 308 additions, 351 deletionssrc/main/java/ui/window/JDialogProverifVerification.java
Loading
Please register or sign in to comment