-
- Downloads
Resolving bug on dependency graph
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 2065 additions, 703 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- modeling/AVATAR/testDependencyGraphs.xml 1665 additions, 2851 deletionsmodeling/AVATAR/testDependencyGraphs.xml
- src/main/java/avatartranslator/AvatarDependencyGraph.java 2 additions, 2 deletionssrc/main/java/avatartranslator/AvatarDependencyGraph.java
- src/main/java/avatartranslator/AvatarSpecification.java 12 additions, 0 deletionssrc/main/java/avatartranslator/AvatarSpecification.java
- src/main/java/ui/GTURTLEModeling.java 61 additions, 42 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/window/JDialogAvatarModelChecker.java 4 additions, 1 deletionsrc/main/java/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment