Overture VDM animator

License	License MIT License
GroupId	GroupId com.anaplan.engineering
ArtifactId	ArtifactId vdm-animation-overture
Last Version	Last Version 0.3.7
Release Date	Release Date 20-May-2022
Type	Type pom.sha512
Description	Description Overture VDM animator A programmatic wrapper enabling in-process animation of VDM specifications
Project URL	Project URL https://github.com/anaplan-engineering/azuki
Source Code Management	Source Code Management https://github.com/anaplan-engineering/azuki

Download vdm-animation-overture

Filename	Size
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
Browse

Dependencies

compile (1)

Group / Artifact	Type	Version
com.anaplan.engineering : vdm-animation-api	jar	0.3.7

runtime (5)

Group / Artifact	Type	Version
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

Project Modules

Versions

Version
0.3.7 20-May-2022
0.3.5 09-May-2022
0.3.4 03-May-2022
0.3.3 25-Apr-2022
0.3.2 30-Mar-2022
0.3.1 29-Mar-2022
0.3.0 29-Mar-2022
0.2.2 17-Mar-2022
0.2.1 15-Mar-2022
0.2.0 11-Mar-2022