first step in adding library function call and fix for TGCNote box being too...
first step in adding library function call and fix for TGCNote box being too wide and various other fixes related to zooming or library functions
Showing
- src/avatartranslator/AvatarArithmeticOp.java 1 addition, 1 deletionsrc/avatartranslator/AvatarArithmeticOp.java
- src/avatartranslator/AvatarAttribute.java 3 additions, 3 deletionssrc/avatartranslator/AvatarAttribute.java
- src/avatartranslator/AvatarBlock.java 9 additions, 15 deletionssrc/avatartranslator/AvatarBlock.java
- src/avatartranslator/AvatarGuard.java 1 addition, 1 deletionsrc/avatartranslator/AvatarGuard.java
- src/avatartranslator/AvatarLibraryFunction.java 147 additions, 8 deletionssrc/avatartranslator/AvatarLibraryFunction.java
- src/avatartranslator/AvatarSpecification.java 10 additions, 3 deletionssrc/avatartranslator/AvatarSpecification.java
- src/avatartranslator/AvatarStateMachine.java 1 addition, 1 deletionsrc/avatartranslator/AvatarStateMachine.java
- src/avatartranslator/AvatarStateMachineOwner.java 66 additions, 0 deletionssrc/avatartranslator/AvatarStateMachineOwner.java
- src/avatartranslator/AvatarSyntaxChecker.java 4 additions, 4 deletionssrc/avatartranslator/AvatarSyntaxChecker.java
- src/avatartranslator/AvatarTerm.java 5 additions, 5 deletionssrc/avatartranslator/AvatarTerm.java
- src/avatartranslator/AvatarTermFunction.java 1 addition, 1 deletionsrc/avatartranslator/AvatarTermFunction.java
- src/avatartranslator/AvatarTransition.java 3 additions, 3 deletionssrc/avatartranslator/AvatarTransition.java
- src/avatartranslator/AvatarTuple.java 1 addition, 1 deletionsrc/avatartranslator/AvatarTuple.java
- src/avatartranslator/directsimulation/AvatarSpecificationSimulation.java 3 additions, 0 deletions...lator/directsimulation/AvatarSpecificationSimulation.java
- src/avatartranslator/tocppsim/AVATAR2CPPSIM.java 1 addition, 0 deletionssrc/avatartranslator/tocppsim/AVATAR2CPPSIM.java
- src/avatartranslator/toexecutable/AVATAR2CPOSIX.java 1 addition, 0 deletionssrc/avatartranslator/toexecutable/AVATAR2CPOSIX.java
- src/avatartranslator/toproverif/AVATAR2ProVerif.java 3 additions, 0 deletionssrc/avatartranslator/toproverif/AVATAR2ProVerif.java
- src/avatartranslator/totpn/AVATAR2TPN.java 1 addition, 0 deletionssrc/avatartranslator/totpn/AVATAR2TPN.java
- src/avatartranslator/toturtle/AVATAR2TURTLE.java 1 addition, 0 deletionssrc/avatartranslator/toturtle/AVATAR2TURTLE.java
- src/avatartranslator/touppaal/AVATAR2UPPAAL.java 1 addition, 0 deletionssrc/avatartranslator/touppaal/AVATAR2UPPAAL.java
Loading
Please register or sign in to comment