Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool into new-lip6
No related branches found
No related tags found
This commit is part of merge request !286. Comments created here will be created in the context of that merge request.
Showing
- build.txt 1 addition, 1 deletionbuild.txt
- doc/AVATAR/avatar_documentation.tex 4 additions, 4 deletionsdoc/AVATAR/avatar_documentation.tex
- doc/codegeneration/codegeneration_documentation.tex 2 additions, 2 deletionsdoc/codegeneration/codegeneration_documentation.tex
- modeling/AVATAR/CoffeeMachine_Avatar.xml 137 additions, 137 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- modeling/AVATAR/PressureController.xml 929 additions, 929 deletionsmodeling/AVATAR/PressureController.xml
- modeling/AVATAR/testMatteo.xml 10356 additions, 0 deletionsmodeling/AVATAR/testMatteo.xml
- modeling/DIPLODOCUS/simpleSDF.xml 488 additions, 428 deletionsmodeling/DIPLODOCUS/simpleSDF.xml
- src/main/java/avatartranslator/AvatarBlockTemplate.java 389 additions, 160 deletionssrc/main/java/avatartranslator/AvatarBlockTemplate.java
- src/main/java/cli/Robot.java 1 addition, 1 deletionsrc/main/java/cli/Robot.java
- src/main/java/help/HelpEntry.java 14 additions, 8 deletionssrc/main/java/help/HelpEntry.java
- src/main/java/help/ScoredHelpEntry.java 80 additions, 0 deletionssrc/main/java/help/ScoredHelpEntry.java
- src/main/java/help/SearchResultHelpEntry.java 36 additions, 58 deletionssrc/main/java/help/SearchResultHelpEntry.java
- src/main/java/ui/GTURTLEModeling.java 3 additions, 1 deletionsrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/MainGUI.java 11 additions, 0 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/TDiagramPanel.java 13 additions, 3 deletionssrc/main/java/ui/TDiagramPanel.java
- src/main/java/ui/util/DefaultText.java 2 additions, 2 deletionssrc/main/java/ui/util/DefaultText.java
- src/main/java/ui/window/JDialogUPPAALValidation.java 19 additions, 2 deletionssrc/main/java/ui/window/JDialogUPPAALValidation.java
- src/main/java/ui/window/JFrameHelp.java 17 additions, 1 deletionsrc/main/java/ui/window/JFrameHelp.java
- src/main/resources/help/README 7 additions, 0 deletionssrc/main/resources/help/README
- src/main/resources/help/activitydiagram.html 23 additions, 0 deletionssrc/main/resources/help/activitydiagram.html
Loading
Please register or sign in to comment