Overture VDM animator

A programmatic wrapper enabling in-process animation of VDM specifications

Лицензия	Лицензия MIT License
Группа	Группа com.anaplan.engineering
Идентификатор	Идентификатор vdm-animation-overture
Последняя версия	Последняя версия 0.3.7
Дата	Дата 20 мая 2022 г.
Тип	Тип pom.sha512
Описание	Описание Overture VDM animator A programmatic wrapper enabling in-process animation of VDM specifications
Ссылка на сайт	Ссылка на сайт https://github.com/anaplan-engineering/azuki
Система контроля версий	Система контроля версий https://github.com/anaplan-engineering/azuki

Скачать vdm-animation-overture

Имя Файла	Размер
vdm-animation-overture-0.3.7.pom
vdm-animation-overture-0.3.7-sources.jar	3 KB
vdm-animation-overture-0.3.7-javadoc.jar	261 bytes
Обзор

Зависимости

compile (1)

Идентификатор библиотеки	Тип	Версия
com.anaplan.engineering : vdm-animation-api	jar	0.3.7

runtime (5)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.5.31
org.jetbrains.kotlin : kotlin-reflect	jar	1.5.31
org.overturetool.core : interpreter	jar	3.0.2
org.overturetool.core.annotations : provided	jar	3.0.2
org.slf4j : slf4j-api	jar	1.7.36

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

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

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

Версия
0.3.7 20 мая 2022 г.
0.3.5 9 мая 2022 г.
0.3.4 3 мая 2022 г.
0.3.3 25 апр. 2022 г.
0.3.2 30 мар. 2022 г.
0.3.1 29 мар. 2022 г.
0.3.0 29 мар. 2022 г.
0.2.2 17 мар. 2022 г.
0.2.1 15 мар. 2022 г.
0.2.0 11 мар. 2022 г.