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.

Лицензия

Лицензия

Категории

Категории

ASM Библиотеки уровня приложения Bytecode Manipulation config Configuration
Группа

Группа

de.athalis.coreasm
Идентификатор

Идентификатор

coreasm-config
Последняя версия

Последняя версия

1.7.3-locke-5
Дата

Дата

Тип

Тип

jar
Описание

Описание

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.

Скачать coreasm-config

Как подключить последнюю версию

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

Зависимости

compile (4)

Идентификатор библиотеки Тип Версия
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

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.7.3-locke-5
1.7.3-locke-4