CoreASM 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.

License

License

Categories

Categories

ASM Application Layer Libs Bytecode Manipulation config Configuration
GroupId

GroupId

de.athalis.coreasm
ArtifactId

ArtifactId

coreasm-config
Last Version

Last Version

1.7.3-locke-5
Release Date

Release Date

Type

Type

jar
Description

Description

CoreASM 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.

Download coreasm-config

How to add to project

<!-- 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"]

Dependencies

compile (4)

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

Project Modules

There are no modules declared in this project.

Versions

Version
1.7.3-locke-5
1.7.3-locke-4