Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.
| License | GPL 3.0 |
|---|---|
| Categories | Eclipse Plugins |
| Tags | plugineclipseide |
| Ranking | #852538 in MvnRepository (See Top Artifacts) #2524 in Eclipse Plugins |
| Version | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
3.0.x | 3.0.2 | Central |
0
| Nov 10, 2020 | |
| 3.0.0 | Central |
0
| Aug 28, 2020 | ||
2.7.x | 2.7.4 | Central |
0
| Mar 16, 2020 | |
| 2.7.2 | Central |
0
| Sep 30, 2019 | ||
| 2.7.0 | Central |
0
| Jun 03, 2019 | ||
2.6.x | 2.6.4 | Central |
0
| Oct 29, 2018 | |
| 2.6.2 | Central |
0
| May 18, 2018 | ||
| 2.6.0 | Central |
0
| Feb 16, 2018 | ||
2.5.x | 2.5.6 | Central |
0
| Dec 11, 2017 | |
| 2.5.4 | Central |
0
| Nov 10, 2017 | ||
| 2.5.2 | Central |
0
| Sep 11, 2017 | ||
| 2.5.0 | Central |
0
| Aug 10, 2017 | ||
2.4.x | 2.4.8 | Central |
0
| Jun 05, 2017 | |
| 2.4.6 | Central |
0
| Mar 03, 2017 | ||
| 2.4.4 | Central |
0
| Dec 02, 2016 | ||
| 2.4.2 | Central |
0
| Oct 06, 2016 | ||
| 2.4.0 | Central |
0
| Aug 29, 2016 | ||
2.3.x | 2.3.8 | Central |
0
| Jul 04, 2016 |