-
- Downloads
Draw vertical line for timeline diagram
parent
71ce3ce2
No related branches found
No related tags found
Showing
- Makefile 1 addition, 0 deletionsMakefile
- build.txt 1 addition, 1 deletionbuild.txt
- modeling/AVATAR/AirbusDoor_V2.xml 3953 additions, 39 deletionsmodeling/AVATAR/AirbusDoor_V2.xml
- modeling/AVATAR/FutureAirNavigationSystem.xml 44 additions, 44 deletionsmodeling/AVATAR/FutureAirNavigationSystem.xml
- modeling/DIPLODOCUS/SmartCardProtocol_sec.xml 676 additions, 676 deletionsmodeling/DIPLODOCUS/SmartCardProtocol_sec.xml
- src/main/java/avatartranslator/AvatarExpressionSolver.java 67 additions, 0 deletionssrc/main/java/avatartranslator/AvatarExpressionSolver.java
- src/main/java/avatartranslator/AvatarStateMachine.java 25 additions, 29 deletionssrc/main/java/avatartranslator/AvatarStateMachine.java
- src/main/java/avatartranslator/AvatarTransition.java 22 additions, 1 deletionsrc/main/java/avatartranslator/AvatarTransition.java
- src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java 2 additions, 1 deletion...ava/avatartranslator/modelchecker/AvatarModelChecker.java
- src/main/java/graph/AUTGraph.java 40 additions, 1 deletionsrc/main/java/graph/AUTGraph.java
- src/main/java/graph/AUTGraphDisplay.java 2 additions, 1 deletionsrc/main/java/graph/AUTGraphDisplay.java
- src/main/java/ui/AvatarDesignPanelTranslator.java 59 additions, 37 deletionssrc/main/java/ui/AvatarDesignPanelTranslator.java
- src/main/java/ui/AvatarSignal.java 3 additions, 0 deletionssrc/main/java/ui/AvatarSignal.java
- src/main/java/ui/MainGUI.java 1 addition, 1 deletionsrc/main/java/ui/MainGUI.java
- src/main/java/ui/avatarbd/AvatarBDPragma.java 19 additions, 38 deletionssrc/main/java/ui/avatarbd/AvatarBDPragma.java
- src/main/java/ui/avatarsmd/AvatarSMDLibraryFunctionCall.java 3 additions, 1 deletionsrc/main/java/ui/avatarsmd/AvatarSMDLibraryFunctionCall.java
- src/main/java/ui/avatarsmd/AvatarSMDSendSignal.java 3 additions, 0 deletionssrc/main/java/ui/avatarsmd/AvatarSMDSendSignal.java
- src/main/java/ui/interactivesimulation/JFrameTMLSimulationPanelTimeline.java 127 additions, 17 deletions...teractivesimulation/JFrameTMLSimulationPanelTimeline.java
- src/main/java/ui/util/DefaultText.java 2 additions, 2 deletionssrc/main/java/ui/util/DefaultText.java
- src/main/java/ui/window/JDialogAvatarModelChecker.java 2 additions, 0 deletionssrc/main/java/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment