RT Trace Viewer Plugin

Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.

License	License GNU General Public License (GPL) version 3
Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.plugins
ArtifactId	ArtifactId org.overture.ide.plugins.rttraceviewer
Last Version	Last Version 3.0.2
Release Date	Release Date Nov 10, 2020
Type	Type eclipse-plugin
Description	Description RT Trace Viewer Plugin Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.
Project Organization	Project Organization Overture

Download org.overture.ide.plugins.rttraceviewer

Filename	Size
org.overture.ide.plugins.rttraceviewer-3.0.2.pom
org.overture.ide.plugins.rttraceviewer-3.0.2.jar	108 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-sources.jar	71 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-p2metadata.xml	2 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-p2artifacts.xml	594 bytes
Browse

Dependencies

test (1)

Group / Artifact	Type	Version
junit : junit	jar	3.8.1

Project Modules

There are no modules declared in this project.

Versions

Version
3.0.2 Nov 10, 2020
3.0.0 Aug 28, 2020
2.7.4 Mar 16, 2020
2.7.2 Sep 30, 2019
2.7.0 Jun 3, 2019
2.6.4 Oct 29, 2018
2.6.2 May 18, 2018
2.6.0 Feb 16, 2018
2.5.6 Dec 11, 2017
2.5.4 Nov 10, 2017
2.5.2 Sep 11, 2017
2.5.0 Aug 10, 2017
2.4.8 Jun 5, 2017
2.4.6 Mar 3, 2017
2.4.4 Dec 2, 2016
2.4.2 Oct 6, 2016
2.4.0 Aug 29, 2016
2.3.8 Jul 4, 2016