- Mar 08, 2020
-
-
Ludovic Apvrille authored
-
- Mar 06, 2020
-
-
Ludovic Apvrille authored
-
- Mar 05, 2020
-
-
Ludovic Apvrille authored
#250 Emptying simulation transactions during simulation. See merge request !311
-
Le Van Truong authored
-
Le Van Truong authored
-
Le Van Truong authored
-
Le Van Truong authored
-
Le Van Truong authored
-
Le Van Truong authored
-
- Mar 04, 2020
-
-
Le Van Truong authored
-
Le Van Truong authored
-
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
-