Merge requests · mbe-tools

FPGA Rescheduling

TTool!358 · created Sep 25, 2020 by Le Van Truong
- Merged
updated Oct 09, 2020
Added BFS/DFS choice, updated deadlock check on DFS

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

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

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

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

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

TTool!351 · created Aug 18, 2020 by Le Van Truong
- Merged
updated Aug 18, 2020
Add more functions to Timeline diagram and fix issue #182 DIPLODOCUS simulator gives an energy info

TTool!349 · created Jul 28, 2020 by Le Van Truong
- Merged
updated Aug 13, 2020
Model-checker updates

TTool!350 · created Jul 29, 2020 by Alessandro Tempia Calvino
- Merged
updated Aug 13, 2020
Display timeline diagram using C++

TTool!348 · created Jul 14, 2020 by Le Van Truong
- Merged
updated Jul 15, 2020
Model-checker updates

TTool!346 · created Jul 08, 2020 by Alessandro Tempia Calvino
- Merged
updated Jul 10, 2020
Fix timeline diagram bugs

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

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

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

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

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

TTool!339 · created Jun 25, 2020 by Alessandro Tempia Calvino
- Merged
updated Jul 01, 2020
Fixed issues, traces generation

TTool!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)

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

TTool!335 · created Jun 08, 2020 by Alessandro Tempia Calvino
- Merged
updated Jun 08, 2020