TTool merge requestshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests2020-10-09T15:19:33Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/359Revert "Merge branch 'revert-883077ef' into 'master'"2020-10-09T15:19:33ZLudovic ApvrilleRevert "Merge branch 'revert-883077ef' into 'master'"This reverts merge request !358This reverts merge request !358https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/358FPGA Rescheduling2020-10-09T15:19:18ZLe Van TruongFPGA ReschedulingIn this commit I have done:
* Fix FPGA scheduling: One can map several tasks on a FPGA. We can execute all these tasks together, or execute groups of tasks one after the other. For instance, if we map T1, T2, T3, T4, T5 on the FPGA, a u...In this commit I have done:
* Fix FPGA scheduling: One can map several tasks on a FPGA. We can execute all these tasks together, or execute groups of tasks one after the other. For instance, if we map T1, T2, T3, T4, T5 on the FPGA, a user can specify T1 T2 ; T3 ; T4 T5 which means than T1 and T2 are first executed until they terminate. Then T3. Then T4 and T5. User can put the scheduling in any order.
* Remove redundant white space between FPGA and displayed tasks at first.
* Add tests for rescheduling of FPGA.
* I have an idea about scaling the timeline diagram: I will divide the length of each transactions to a predefined factor so the scale between each transactions remain the same. I will try to submit it on the next merger request.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/356Added BFS/DFS choice, updated deadlock check on DFS2020-09-18T06:39:21ZAlessandro Tempia CalvinoAdded BFS/DFS choice, updated deadlock check on DFShttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/355Fix in multiple consecutive negations in expressions2020-09-04T15:03:58ZAlessandro Tempia CalvinoFix in multiple consecutive negations in expressionshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/354Enhance2020-09-03T08:10:45ZLe Van TruongEnhanceIn this merger request I have done:
* Rescale redundant blanks at the time axis.
* Rewrite transaction information because the previous one is too long.
* Move the task information (task name and status) from bottom to top of the window....In this merger request I have done:
* Rescale redundant blanks at the time axis.
* Rewrite transaction information because the previous one is too long.
* Move the task information (task name and status) from bottom to top of the window. This helped user easier to view task information, especially after a larger number of transaction occurred.
* Next to do: find the best scale for all tasks due to right now there are some tasks are too long ( > 20000 time units) but some tasks just need only 100 or 200 time units and these tasks are displayed together on the same window.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/353Solved bugs2020-09-02T15:29:02ZAlessandro Tempia CalvinoSolved bugsSolved bug on property tracesSolved bug on property traceshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/352fix bug and improve performance of timeline diagram2020-08-20T15:07:07ZLe Van Truongfix bug and improve performance of timeline diagramIn this merger request:
* Reduce displaying time for timeline diagram by removing redundant data and merge data into one line. Now on my side, each update takes less than 1 second, not several seconds like before.
* Fix the bug of hangin...In this merger request:
* Reduce displaying time for timeline diagram by removing redundant data and merge data into one line. Now on my side, each update takes less than 1 second, not several seconds like before.
* Fix the bug of hanging window when the command length is longer than 1000.
* Rename the terminated test to "DiplodocusTerminatedTest"
* Indicate task status: running, runnable, suspended, terminated.
* As you ask before "*I noticed that time scale is not the same on each line*" : it's because when the idle time or transactions have the size bigger than 200, I reduce it to 10 and write the annotate size instead.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/351Fix hanging bug and improve time line display.2020-08-18T15:21:19ZLe Van TruongFix hanging bug and improve time line display.In this merger request I have changed:
* The command parameter box can be edited and synchronized between the two windows.
* Remove the two redundant "0" corresponding to the tasks with no transaction on FPGA.
* Remove the "HW" tit...In this merger request I have changed:
* The command parameter box can be edited and synchronized between the two windows.
* Remove the two redundant "0" corresponding to the tasks with no transaction on FPGA.
* Remove the "HW" title.
* Make time indices are more closer with transactions.
* Fix hanging simulation by adding condition for the termination of simulation.
* Add a new test for checking the simulation is terminated or not.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/350Model-checker updates2020-08-13T15:27:38ZAlessandro Tempia CalvinoModel-checker updates## Updates:
* Documentation: state-space reduction, internal action loop, re-initialization, safety and liveness, and verification traces
* Implementation of internal action loops
* Improvements of *leadsTo* verification using bounds (it...## Updates:
* Documentation: state-space reduction, internal action loop, re-initialization, safety and liveness, and verification traces
* Implementation of internal action loops
* Improvements of *leadsTo* verification using bounds (it can solve false pragmas faster and on infinite graphs)
* Added expected result in safety/liveness queries: T or F in front of the pragma
* Verification traces for internal action loops
* Added word size representation selection box in the model-checking window (32, 16, 8 bits)
* Updated options for model-checking command in CLI
* Added \#states and \#transitions in the name of verification traces
* Minor fixeshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/349Add more functions to Timeline diagram and fix issue #182 DIPLODOCUS simulato...2020-08-13T15:54:37ZLe Van TruongAdd more functions to Timeline diagram and fix issue #182 DIPLODOCUS simulator gives an energy infoIn this merge request, I added:
* When data are updated, the timeline diagram scrolls to the top left position.
* Show the state of the simulator at the bottom of the window (toolbar status).
* Reduce huge blank part at the end of ...In this merge request, I added:
* When data are updated, the timeline diagram scrolls to the top left position.
* Show the state of the simulator at the bottom of the window (toolbar status).
* Reduce huge blank part at the end of the diagram: change the length of time axis from 1000 to 500.
* Zoom / unzoom implemented with various options: 50%, 75%, 125%, 150% ...
* It would be great if when clicking on a element of the timeline you
could open the corresponding operator in activity diagram. Also, when
passing the mouse pointer over a CPU, you could show a window showing
average load, state, etc. Same for tasks: you could show variables
values, etc.
=> Done
* Remove energy information.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/348Display timeline diagram using C++2020-07-15T15:42:20ZLe Van TruongDisplay timeline diagram using C++Generate Timeline diagram content by C++ code, send and read data through socket connection.Generate Timeline diagram content by C++ code, send and read data through socket connection.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/346Model-checker updates2020-07-10T13:57:22ZAlessandro Tempia CalvinoModel-checker updates- Fixed negative number representation
- A new more flexible pragma syntax checker
- Updates to the documentation
- Better attributes sharing and constant removal
- Memory fix for leadsTo pragmas
- New tests- Fixed negative number representation
- A new more flexible pragma syntax checker
- Updates to the documentation
- Better attributes sharing and constant removal
- Memory fix for leadsTo pragmas
- New testshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/344Fix timeline diagram bugs2020-07-03T06:39:03ZLe Van TruongFix timeline diagram bugsLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/343Stable verification traces2020-07-02T16:08:57ZAlessandro Tempia CalvinoStable verification traceshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/342Fixes and removed constant removal momentarily2020-07-02T09:43:35ZAlessandro Tempia CalvinoFixes and removed constant removal momentarilyhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/341TimeLine diagram2020-07-02T06:51:26ZLe Van TruongTimeLine diagramLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/340Counterexamples Patch2020-07-01T14:03:00ZAlessandro Tempia CalvinoCounterexamples Patchhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/339Model-checker improvements2020-07-01T08:03:19ZAlessandro Tempia CalvinoModel-checker improvementshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/337Fixed issues, traces generation2020-06-18T12:35:26ZAlessandro Tempia CalvinoFixed issues, traces generationhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/336Fixes, documentation, and a first implementation of counterexamples for safet...2020-06-15T12:05:43ZAlessandro Tempia CalvinoFixes, documentation, and a first implementation of counterexamples for safety pragmas (txt)