Merge requests · mbe-tools / TTool · GitLab

add run until read/write channel access

!332 · created Jun 03, 2020 by Le Van Truong
- Merged
updated Jun 04, 2020
Solved fallthrough

!331 · created Jun 02, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 02, 2020
Model-checker upgrades

!330 · created May 28, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 02, 2020
Solved bug for safety properties repainting, plus warnings

!329 · created May 14, 2020 by Alessandro Tempia Calvino
- Merged
updated May 14, 2020
Compare latency detailed analysis

!323 · created Mar 23, 2020 by Maysam Zoor
- Merged
updated May 14, 2020
Model-checker to merge

!328 · created May 13, 2020 by Alessandro Tempia Calvino
- Merged
updated May 13, 2020
Avatar model-checker

!327 · created May 13, 2020 by Alessandro Tempia Calvino
- Merged
updated May 13, 2020
Modify and add general commands test for TTool

!324 · created Apr 06, 2020 by Le Van Truong
- Merged
updated May 13, 2020
Revert "Merge branch 'alessandro_branch' into 'master'"

!326 · created May 13, 2020 by Ludovic Apvrille
- Merged
updated May 13, 2020
Avatar model-checker improvements

!325 · created May 12, 2020 by Alessandro Tempia Calvino
- Merged
updated May 13, 2020
Issue #255 Bug on daemon task: the simulation should last much longer

!322 · created Mar 19, 2020 by Le Van Truong
- Merged
updated Mar 19, 2020
New lip6

!318 · created Mar 12, 2020 by Daniela Genius
- Merged
updated Mar 17, 2020
Update table model based on number of transactions

!319 · created Mar 16, 2020 by Le Van Truong
- Merged
updated Mar 16, 2020
Create Remove transactions button.

!317 · created Mar 12, 2020 by Le Van Truong
- Merged
updated Mar 13, 2020
#250 Emptying simulation transactions during simulation.

!311 · created Mar 05, 2020 by Le Van Truong
- Merged
updated Mar 05, 2020
fix NullPointerException when task selected at the begining

!305 · created Mar 02, 2020 by Le Van Truong
- Merged
updated Mar 02, 2020
#251 Adding a getAllTransactionsOfTask <String taskName>

!304 · created Feb 28, 2020 by Le Van Truong
- Merged
updated Mar 02, 2020
Update text color and text overlapping on Enhancing HTML trace

!301 · created Feb 27, 2020 by Le Van Truong
- Merged
updated Feb 27, 2020
Update on enhancing HTML traces

!300 · created Feb 26, 2020 by Le Van Truong
- Merged
updated Feb 26, 2020
resolve issue #249 Enhancing HTML traces output by the DIPLODOCUS simulator

!299 · created Feb 20, 2020 by Le Van Truong
- Merged
updated Feb 24, 2020

Prev
1
…
4
5
6
7
8
9
10
11
12
…
19
Next