License |
License |
---|---|
Categories |
CategoriesASM Application Layer Libs Bytecode Manipulation config Configuration |
GroupId | GroupIdde.athalis.coreasm |
ArtifactId | ArtifactIdcoreasm-config |
Version | Version1.7.3-locke-5 |
Type | Typejar |
Description |
DescriptionCoreASM Configuration 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.
|
<!-- https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/ -->
<dependency>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-config</artifactId>
<version>1.7.3-locke-5</version>
</dependency>
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/
implementation 'de.athalis.coreasm:coreasm-config:1.7.3-locke-5'
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/
implementation ("de.athalis.coreasm:coreasm-config:1.7.3-locke-5")
'de.athalis.coreasm:coreasm-config:jar:1.7.3-locke-5'
<dependency org="de.athalis.coreasm" name="coreasm-config" rev="1.7.3-locke-5">
<artifact name="coreasm-config" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.athalis.coreasm', module='coreasm-config', version='1.7.3-locke-5')
)
libraryDependencies += "de.athalis.coreasm" % "coreasm-config" % "1.7.3-locke-5"
[de.athalis.coreasm/coreasm-config "1.7.3-locke-5"]
Group / Artifact | Type | Version |
---|---|---|
ch.qos.logback : logback-classic | jar | 1.2.10 |
ch.qos.logback : logback-core | jar | 1.2.10 |
org.slf4j : slf4j-api | jar | 1.7.32 |
de.athalis.coreasm : coreasm-util | jar | 1.7.3-locke-5 |