DIPLODOCUS interactive simulation: met elements are highlighted witha check...
DIPLODOCUS interactive simulation: met elements are highlighted witha check plus the number of times they have been met
Showing
- Makefile 1 addition, 1 deletionMakefile
- modeling/proverif.xml 79 additions, 79 deletionsmodeling/proverif.xml
- src/avatartranslator/directsimulation/AvatarSpecificationSimulation.java 11 additions, 5 deletions...lator/directsimulation/AvatarSpecificationSimulation.java
- src/remotesimulation/CommandParser.java 6 additions, 1 deletionsrc/remotesimulation/CommandParser.java
- src/tmltranslator/TMLActivity.java 20 additions, 0 deletionssrc/tmltranslator/TMLActivity.java
- src/tmltranslator/TMLModeling.java 63 additions, 0 deletionssrc/tmltranslator/TMLModeling.java
- src/tmltranslator/TMLTask.java 16 additions, 0 deletionssrc/tmltranslator/TMLTask.java
- src/ui/TGComponent.java 35 additions, 0 deletionssrc/ui/TGComponent.java
- src/ui/interactivesimulation/JFrameInteractiveSimulation.java 63 additions, 2 deletions...ui/interactivesimulation/JFrameInteractiveSimulation.java
Loading
Please register or sign in to comment