License |
License |
---|---|
Categories |
CategoriesASM Application Layer Libs Bytecode Manipulation |
GroupId | GroupIdde.athalis.coreasm |
ArtifactId | ArtifactIdcoreasm-util |
Last Version | Last Version1.7.3-locke-5 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionCoreASM Utility Component
This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language,
in combination with a supporting tool environment for high-level design, experimental validation and formal
verification (where appropriate) of abstract system models.
|
Filename | Size |
---|---|
coreasm-util-1.7.3-locke-5.pom | |
coreasm-util-1.7.3-locke-5.jar | 29 KB |
coreasm-util-1.7.3-locke-5-sources.jar | 21 KB |
coreasm-util-1.7.3-locke-5-javadoc.jar | 486 KB |
Browse |
<!-- https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-util/ -->
<dependency>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-util</artifactId>
<version>1.7.3-locke-5</version>
</dependency>
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-util/
implementation 'de.athalis.coreasm:coreasm-util:1.7.3-locke-5'
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-util/
implementation ("de.athalis.coreasm:coreasm-util:1.7.3-locke-5")
'de.athalis.coreasm:coreasm-util:jar:1.7.3-locke-5'
<dependency org="de.athalis.coreasm" name="coreasm-util" rev="1.7.3-locke-5">
<artifact name="coreasm-util" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.athalis.coreasm', module='coreasm-util', version='1.7.3-locke-5')
)
libraryDependencies += "de.athalis.coreasm" % "coreasm-util" % "1.7.3-locke-5"
[de.athalis.coreasm/coreasm-util "1.7.3-locke-5"]
Group / Artifact | Type | Version |
---|---|---|
org.slf4j : slf4j-api | jar | 1.7.32 |