-
- Downloads
Update on model name handling for windows in generated C++ code
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 1915 additions, 1915 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- src/main/java/avatartranslator/incrementalverification/IncrementalVerificationManager.java 92 additions, 0 deletions...crementalverification/IncrementalVerificationManager.java
- src/main/java/graph/AUTGraph.java 12 additions, 0 deletionssrc/main/java/graph/AUTGraph.java
- src/main/java/tmltranslator/tomappingsystemc2/DiploSimulatorCodeGenerator.java 4 additions, 2 deletions...slator/tomappingsystemc2/DiploSimulatorCodeGenerator.java
- src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java 8 additions, 2 deletions...ui/interactivesimulation/JFrameInteractiveSimulation.java
Loading
Please register or sign in to comment