Merge requests · mbe-tools / TTool

Issue #196 CP (Communication Pattern) not updated when renaming HW nodes

!361 · created Nov 09, 2020 by Le Van Truong
- Closed
updated Nov 09, 2020
FPGA rescheduling

!360 · created Oct 12, 2020 by Le Van Truong
- Merged
updated Oct 12, 2020
Revert "Merge branch 'revert-883077ef' into 'master'"

!359 · created Oct 09, 2020 by Ludovic Apvrille
- Merged
updated Oct 09, 2020
FPGA Rescheduling

!358 · created Sep 25, 2020 by Le Van Truong
- Merged
updated Oct 09, 2020
FPGA reconfigure schedule

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

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

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

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

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

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

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

!350 · created Jul 29, 2020 by Alessandro Tempia Calvino
- Merged
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
updated Aug 13, 2020
Display timeline diagram using C++

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

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

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

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

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

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

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