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.

Лицензия	Лицензия GNU General Public License (GPL) version 3
Категории	Категории IDE Инструменты разработки
Группа	Группа org.overturetool.ide.plugins
Идентификатор	Идентификатор org.overture.ide.plugins.rttraceviewer
Последняя версия	Последняя версия 3.0.2
Дата	Дата 10 нояб. 2020 г.
Тип	Тип eclipse-plugin
Описание	Описание 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.
Организация-разработчик	Организация-разработчик Overture

Скачать org.overture.ide.plugins.rttraceviewer

Имя Файла	Размер
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
Обзор

Зависимости

test (1)

Идентификатор библиотеки	Тип	Версия
junit : junit	jar	3.8.1

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
3.0.2 10 нояб. 2020 г.
3.0.0 28 авг. 2020 г.
2.7.4 16 мар. 2020 г.
2.7.2 30 сент. 2019 г.
2.7.0 3 июн. 2019 г.
2.6.4 29 окт. 2018 г.
2.6.2 18 мая 2018 г.
2.6.0 16 февр. 2018 г.
2.5.6 11 дек. 2017 г.
2.5.4 10 нояб. 2017 г.
2.5.2 11 сент. 2017 г.
2.5.0 10 авг. 2017 г.
2.4.8 5 июн. 2017 г.
2.4.6 3 мар. 2017 г.
2.4.4 2 дек. 2016 г.
2.4.2 6 окт. 2016 г.
2.4.0 29 авг. 2016 г.
2.3.8 4 июл. 2016 г.