update
Showing
- MPSoC/mutekh/cpu/x86-emu/libelf 1 addition, 1 deletionMPSoC/mutekh/cpu/x86-emu/libelf
- Makefile 14 additions, 9 deletionsMakefile
- bin/config.xml 0 additions, 74 deletionsbin/config.xml
- build.txt 1 addition, 1 deletionbuild.txt
- doc/ttool_windows.bat 2 additions, 2 deletionsdoc/ttool_windows.bat
- modeling/SysMLSec/AliceAndBob.xml 554 additions, 510 deletionsmodeling/SysMLSec/AliceAndBob.xml
- modeling/SysMLSec/SimpleTLS.xml 2409 additions, 2409 deletionsmodeling/SysMLSec/SimpleTLS.xml
- modeling/modelsForTestingTTool/modelszoom.xml 1133 additions, 0 deletionsmodeling/modelsForTestingTTool/modelszoom.xml
- modeling/modelsForTestingTTool/testavatar.xml 4674 additions, 4534 deletionsmodeling/modelsForTestingTTool/testavatar.xml
- src/TMLTranslator.java 3 additions, 4 deletionssrc/TMLTranslator.java
- src/avatartranslator/AvatarPragma.java 13 additions, 9 deletionssrc/avatartranslator/AvatarPragma.java
- src/avatartranslator/AvatarPragmaAuthenticity.java 8 additions, 9 deletionssrc/avatartranslator/AvatarPragmaAuthenticity.java
- src/avatartranslator/AvatarPragmaInitialKnowledge.java 13 additions, 10 deletionssrc/avatartranslator/AvatarPragmaInitialKnowledge.java
- src/avatartranslator/AvatarRelation.java 32 additions, 37 deletionssrc/avatartranslator/AvatarRelation.java
- src/avatartranslator/AvatarSpecification.java 92 additions, 91 deletionssrc/avatartranslator/AvatarSpecification.java
- src/avatartranslator/toproverif/AVATAR2ProVerif.java 35 additions, 24 deletionssrc/avatartranslator/toproverif/AVATAR2ProVerif.java
- src/avatartranslator/totpn/AVATAR2TPN.java 13 additions, 13 deletionssrc/avatartranslator/totpn/AVATAR2TPN.java
- src/avatartranslator/touppaal/AVATAR2UPPAAL.java 39 additions, 39 deletionssrc/avatartranslator/touppaal/AVATAR2UPPAAL.java
- src/ddtranslator/DDStructSynchro.java 18 additions, 21 deletionssrc/ddtranslator/DDStructSynchro.java
- src/ddtranslator/DDTranslator.java 6 additions, 6 deletionssrc/ddtranslator/DDTranslator.java
Loading
Please register or sign in to comment