copper2go-api

API for copper2go workflows

License	License The Apache License, Version 2.0
Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId io.github.keymaster65
ArtifactId	ArtifactId copper2go-api
Last Version	Last Version 3.1.0
Release Date	Release Date Jan 9, 2022
Type	Type pom.sha512
Description	Description copper2go-api API for copper2go workflows
Project URL	Project URL https://github.com/Keymaster65/copper2go
Source Code Management	Source Code Management https://github.com/Keymaster65/copper2go/

Download copper2go-api

Filename	Size
copper2go-api-3.1.0.pom
copper2go-api-3.1.0-sources.jar	5 KB
copper2go-api-3.1.0-javadoc.jar	411 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
org.copper-engine : copper-coreengine	jar	5.4.1
org.slf4j : slf4j-api	jar	2.0.0-alpha5
com.fasterxml.jackson.core : jackson-databind	jar	2.13.1

runtime (1)

Group / Artifact	Type	Version
ch.qos.logback : logback-classic	jar	1.3.0-alpha12

Project Modules

There are no modules declared in this project.

Versions

Version
3.1.0 Jan 9, 2022
3.0 Dec 31, 2021
2.0.1 Apr 17, 2021
2.0 Apr 17, 2021