-
- Downloads
tml2avatar changes
Showing
- modeling/Zigbee_Andrea.xml 19591 additions, 19139 deletionsmodeling/Zigbee_Andrea.xml
- src/avatartranslator/toproverif/AVATAR2ProVerif.java 135 additions, 15 deletionssrc/avatartranslator/toproverif/AVATAR2ProVerif.java
- src/tmltranslator/TMLMapping.java 8 additions, 2 deletionssrc/tmltranslator/TMLMapping.java
- src/tmltranslator/toavatar/TML2Avatar.java 90 additions, 30 deletionssrc/tmltranslator/toavatar/TML2Avatar.java
- src/ui/GTMLModeling.java 4 additions, 3 deletionssrc/ui/GTMLModeling.java
- src/ui/TMLComponentDesignPanel.java 1 addition, 1 deletionsrc/ui/TMLComponentDesignPanel.java
- src/ui/TMLDesignPanel.java 0 additions, 1 deletionsrc/ui/TMLDesignPanel.java
Loading
Please register or sign in to comment