License |
License |
---|---|
GroupId | GroupIdmt.edu.um.cs.rv.valour |
ArtifactId | ArtifactIdvalour.sdk |
Last Version | Last Version1.0.2 |
Release Date | Release Date |
Type | Typeeclipse-feature |
Description |
DescriptionValour Language Feature
Valour: A Runtime Verification Language
|
Filename | Size |
---|---|
valour.sdk-1.0.2.pom | |
valour.sdk-1.0.2.jar | 712 bytes |
valour.sdk-1.0.2-p2metadata.xml | 2 KB |
valour.sdk-1.0.2-p2artifacts.xml | 611 bytes |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.eclipse.xtend : org.eclipse.xtend.lib | jar | 2.9.2 |
mt.edu.um.cs.rv : monitors | jar | 1.0.2 |