Merge requests · mbe-tools / TTool

Add more functions to Timeline diagram and fix issue #182 DIPLODOCUS simulator gives an energy info

!349 · created Jul 28, 2020 by Le Van Truong
- MERGED
- 0
updated Aug 13, 2020
Display timeline diagram using C++

!348 · created Jul 14, 2020 by Le Van Truong
- MERGED
- 0
updated Jul 15, 2020
Display timeline diagram using C++

!347 · created Jul 10, 2020 by Le Van Truong
- CLOSED
- 0
updated Jul 10, 2020
Model-checker updates

!346 · created Jul 08, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jul 10, 2020
Display timeline diagram using C++

!345 · created Jul 07, 2020 by Le Van Truong
- CLOSED
- 0
updated Jul 08, 2020
Fix timeline diagram bugs

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

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

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

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

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

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

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

!337 · created 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 · created Jun 11, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jun 15, 2020
New random behavior

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

!334 · created 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 · created Jun 05, 2020 by Le Van Truong
- MERGED
- 0
updated Jun 05, 2020
add run until read/write channel access

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

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

!330 · created May 28, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Jun 02, 2020