Merge requests · mbe-tools / TTool · GitLab

Fixes and removed constant removal momentarily

!342 · created Jul 02, 2020 by Alessandro Tempia Calvino
- Merged
updated Jul 02, 2020
TimeLine diagram

!341 · created Jul 01, 2020 by Le Van Truong
- Merged
updated Jul 02, 2020
Counterexamples Patch

!340 · created Jul 01, 2020 by Alessandro Tempia Calvino
- Merged
updated Jul 01, 2020
Model-checker improvements

!339 · created Jun 25, 2020 by Alessandro Tempia Calvino
- Merged
updated Jul 01, 2020
display simulation result with timeline diagram

!338 · created Jun 24, 2020 by Le Van Truong
- Closed
updated Jun 25, 2020
Fixed issues, traces generation

!337 · created Jun 18, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 18, 2020
Fixes, documentation, and a first implementation of counterexamples for safety pragmas (txt)

!336 · created Jun 11, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 15, 2020
New random behavior

!335 · created Jun 08, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 08, 2020
Issue on random

!334 · created Jun 08, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 08, 2020
#262 Server continues to execute in server mode even if socket binding cannot occur

!333 · created Jun 05, 2020 by Le Van Truong
- Merged
updated Jun 05, 2020
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
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
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
Modify and add general commands test for TTool

!324 · created Apr 06, 2020 by Le Van Truong
- Merged
updated May 13, 2020
Compare latency detailed analysis

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

Prev
1
…
5
6
7
8
9
10
11
12
13
…
25
Next