JarCasting
JarCasting JarCasting

CoreASM Carma

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
Группа

Группа

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

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

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

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

1.7.3-locke-5
Дата

Дата
Тип

Тип

jar
Описание

Описание

CoreASM Carma
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-ui-carma

Имя Файла Размер
coreasm-ui-carma-1.7.3-locke-5.pom
coreasm-ui-carma-1.7.3-locke-5.jar 7 MB
coreasm-ui-carma-1.7.3-locke-5-sources.jar 297 KB
coreasm-ui-carma-1.7.3-locke-5-javadoc.jar 394 KB
Обзор

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

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

Зависимости

compile (6)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.13.2
org.slf4j : slf4j-api jar 1.7.32
ch.qos.logback : logback-classic jar 1.2.10
com.martiansoftware : jsap jar 2.1
de.athalis.coreasm : coreasm-util jar 1.7.3-locke-5
de.athalis.coreasm : coreasm-engine jar 1.7.3-locke-5

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

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

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

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