CoreASM Parent Project

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
GroupId

GroupId

de.athalis.coreasm
ArtifactId

ArtifactId

coreasm-parent
Last Version

Last Version

1.7.3-locke-5
Release Date

Release Date

Type

Type

pom
Description

Description

CoreASM Parent Project
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.
Project URL

Project URL

https://github.com/Locke/coreasm.core
Source Code Management

Source Code Management

https://github.com/Locke/coreasm.core

Download coreasm-parent

How to add to project

<!-- https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-parent/ -->
<dependency>
    <groupId>de.athalis.coreasm</groupId>
    <artifactId>coreasm-parent</artifactId>
    <version>1.7.3-locke-5</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-parent/
implementation 'de.athalis.coreasm:coreasm-parent:1.7.3-locke-5'
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-parent/
implementation ("de.athalis.coreasm:coreasm-parent:1.7.3-locke-5")
'de.athalis.coreasm:coreasm-parent:pom:1.7.3-locke-5'
<dependency org="de.athalis.coreasm" name="coreasm-parent" rev="1.7.3-locke-5">
  <artifact name="coreasm-parent" type="pom" />
</dependency>
@Grapes(
@Grab(group='de.athalis.coreasm', module='coreasm-parent', version='1.7.3-locke-5')
)
libraryDependencies += "de.athalis.coreasm" % "coreasm-parent" % "1.7.3-locke-5"
[de.athalis.coreasm/coreasm-parent "1.7.3-locke-5"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

  • org.coreasm.util
  • org.coreasm.config
  • org.coreasm.engine
  • org.coreasm.ui.carma

Versions

Version
1.7.3-locke-5
1.7.3-locke-4