Merge branch 'master' of https://gitlab.telecom-paristech.fr/mbe-tools/TTool

build.txt

modeling/AVATAR/AirbusDoor.xml

modeling/AVATAR/CoffeeMachine_Avatar.xml

modeling/AVATAR/faulttreetest.xml

modeling/DIPLODOCUS/SmartCardProtocol.xml

modeling/DIPLODOCUS/ZigBeeTutorial.xml

modeling/SysMLSec/at_chuli.xml

modeling/SysMLSec/at_zeuszitmo.xml

simulators/c++2/Makefile

simulators/c++2/src_simulator/TMLTransaction.cpp

simulators/c++2/src_simulator/arch/MultiCoreCPU.cpp

simulators/c++2/src_simulator/arch/SingleCoreCPU.cpp

simulators/c++2/src_simulator/sim/Simulator.cpp

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/avatartranslator/AvatarTransition.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

src/main/java/faulttrees/Fault.java

src/main/java/faulttrees/FaultTree.java

src/main/java/tmltranslator/HwFPGA.java