- Mar 09, 2020
-
-
maysam zoor authored
-
- Mar 07, 2020
-
-
maysam zoor authored
-
maysam zoor authored
-
maysam zoor authored
-
- 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.
-