Merge requests · mbe-tools / TTool

FPGA reconfigure schedule

!357 · created Sep 23, 2020 by Le Van Truong
- CLOSED
- 0
updated Sep 23, 2020
Added BFS/DFS choice, updated deadlock check on DFS

!356 · created Sep 17, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Sep 18, 2020
Fix in multiple consecutive negations in expressions

!355 · created Sep 03, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Sep 04, 2020
Enhance

!354 · created Sep 01, 2020 by Le Van Truong
- MERGED
- 0
updated Sep 03, 2020
Solved bugs

!353 · created Aug 24, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Sep 02, 2020
fix bug and improve performance of timeline diagram

!352 · created Aug 20, 2020 by Le Van Truong
- MERGED
- 0
updated Aug 20, 2020
Fix hanging bug and improve time line display.

!351 · created Aug 18, 2020 by Le Van Truong
- MERGED
- 0
updated Aug 18, 2020
Model-checker updates

!350 · created Jul 29, 2020 by Alessandro Tempia Calvino
- MERGED
- 0
updated Aug 13, 2020
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