-
- Downloads
Update on memory - bus path in DIPLODOCUS. Update on simulator to better handle WR-RD
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 267 additions, 268 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- modeling/testModelCheckerAvatar/testClocks.xml 1 addition, 1 deletionmodeling/testModelCheckerAvatar/testClocks.xml
- simulators/c++2/src_simulator/app/TMLbrbwChannel.cpp 46 additions, 11 deletionssimulators/c++2/src_simulator/app/TMLbrbwChannel.cpp
- simulators/c++2/src_simulator/app/TMLbrnbwChannel.cpp 22 additions, 4 deletionssimulators/c++2/src_simulator/app/TMLbrnbwChannel.cpp
- src/main/java/tmltranslator/TMLSyntaxChecking.java 5 additions, 1 deletionsrc/main/java/tmltranslator/TMLSyntaxChecking.java
- src/main/java/tmltranslator/tomappingsystemc2/NamesGenerationHelper.java 3 additions, 0 deletions...mltranslator/tomappingsystemc2/NamesGenerationHelper.java
Loading
Please register or sign in to comment