Merge Requests · mbe-tools / TTool

Model-checker updates

!346 · opened Jul 08, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 10, 2020
Fix timeline diagram bugs

!344 · opened Jul 02, 2020 by Le Van Truong
- MERGED
- 0
updated Jul 03, 2020
Stable verification traces

!343 · opened Jul 02, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 02, 2020
Fixes and removed constant removal momentarily

!342 · opened Jul 02, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 02, 2020
TimeLine diagram

!341 · opened Jul 01, 2020 by Le Van Truong
- MERGED
- 0
updated Jul 02, 2020
Counterexamples Patch

!340 · opened Jul 01, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 01, 2020
Model-checker improvements

!339 · opened Jun 25, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 01, 2020
Fixed issues, traces generation

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

!336 · opened Jun 11, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jun 15, 2020
New random behavior

!335 · opened Jun 08, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jun 08, 2020
Issue on random

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

!333 · opened Jun 05, 2020 by Le Van Truong
- MERGED
- 0
updated Jun 05, 2020
add run until read/write channel access

!332 · opened Jun 03, 2020 by Le Van Truong
- MERGED
- 0
updated Jun 04, 2020
Solved fallthrough

!331 · opened Jun 02, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jun 02, 2020
Model-checker upgrades

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

!329 · opened May 14, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated May 14, 2020
Compare latency detailed analysis

!323 · opened Mar 23, 2020 by Maysam Zoor
- MERGED
- 0
updated May 14, 2020
Model-checker to merge

!328 · opened May 13, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated May 13, 2020
Avatar model-checker

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

!324 · opened Apr 06, 2020 by Le Van Truong
- MERGED
- 0
updated May 13, 2020