Overture VDM animator

A programmatic wrapper enabling in-process animation of VDM specifications

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 May 20, 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

There are no modules declared in this project.

Versions

Version
0.3.7 May 20, 2022
0.3.5 May 9, 2022
0.3.4 May 3, 2022
0.3.3 Apr 25, 2022
0.3.2 Mar 30, 2022
0.3.1 Mar 29, 2022
0.3.0 Mar 29, 2022
0.2.2 Mar 17, 2022
0.2.1 Mar 15, 2022
0.2.0 Mar 11, 2022