- Mar 06, 2020
-
-
maysam zoor authored
-
maysam zoor authored
-
maysam zoor authored
-
- Mar 05, 2020
-
-
maysam zoor authored
latency detailed analysis
-
- Mar 04, 2020
-
-
Ludovic Apvrille authored
-
- Mar 03, 2020
-
-
apvrille authored
-
apvrille authored
-
Ludovic Apvrille authored
-
- Mar 02, 2020
-
-
Ludovic Apvrille authored
fix NullPointerException when task selected at the begining See merge request !305
-
Le Van Truong authored
-
Ludovic Apvrille authored
#251 Adding a getAllTransactionsOfTask <String taskName> See merge request !304
-
Ludovic Apvrille authored
-
- Mar 01, 2020
-
-
Ludovic Apvrille authored
-
- Feb 29, 2020
-
-
Ludovic Apvrille authored
-
- Feb 28, 2020
-
-
Le Van Truong authored
-
Le Van Truong authored
-
Ludovic Apvrille authored
Resolving bug on requirement and enlarging automatically diagrams if necessary when adding components
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
- Feb 27, 2020
-
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
Le Van Truong authored
-
Le Van Truong authored
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
Update text color and text overlapping on Enhancing HTML trace See merge request !301
-
Le Van Truong authored
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
Resolving bug on nullpointerexception when stopping uppaal verification from avatar models - issue 243
-
apvrille authored
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
- Feb 26, 2020
-
-
Ludovic Apvrille authored
Update on enhancing HTML traces See merge request !300
-
Le Van Truong authored
-
- Feb 25, 2020
-
-
Le Van Truong authored
This reverts commit 2183e1ad.
-
Le Van Truong authored
-
- Feb 24, 2020
-
-
apvrille authored
-
Ludovic Apvrille authored
resolve issue #249 Enhancing HTML traces output by the DIPLODOCUS simulator Closes #249 See merge request !299
-
- Feb 20, 2020
-
-
Le Van Truong authored
-