JarCasting
JarCasting JarCasting

Rodin EventB AST

The AST library extracted from the Rodin Platform.

Лицензия

Лицензия
Группа

Группа

de.hhu.stups
Идентификатор

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

rodin-eventb-ast
Последняя версия

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

3.2.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

Rodin EventB AST
The AST library extracted from the Rodin Platform.
Ссылка на сайт

Ссылка на сайт

https://github.com/hhu-stups/rodin-ast
Система контроля версий

Система контроля версий

https://github.com/hhu-stups/rodin-ast

Скачать rodin-eventb-ast

Имя Файла Размер
rodin-eventb-ast-3.2.0.pom
rodin-eventb-ast-3.2.0.jar 647 KB
rodin-eventb-ast-3.2.0-sources.jar 406 KB
rodin-eventb-ast-3.2.0-javadoc.jar 1 MB
Обзор

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

<!-- https://jarcasting.com/artifacts/de.hhu.stups/rodin-eventb-ast/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>rodin-eventb-ast</artifactId>
    <version>3.2.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/rodin-eventb-ast/
implementation 'de.hhu.stups:rodin-eventb-ast:3.2.0'
// https://jarcasting.com/artifacts/de.hhu.stups/rodin-eventb-ast/
implementation ("de.hhu.stups:rodin-eventb-ast:3.2.0")
'de.hhu.stups:rodin-eventb-ast:jar:3.2.0'
<dependency org="de.hhu.stups" name="rodin-eventb-ast" rev="3.2.0">
  <artifact name="rodin-eventb-ast" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='rodin-eventb-ast', version='3.2.0')
)
libraryDependencies += "de.hhu.stups" % "rodin-eventb-ast" % "3.2.0"
[de.hhu.stups/rodin-eventb-ast "3.2.0"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

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

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

Rodin B AST

Build Status

This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.

No original file is changed, but we added:

  • README.md
  • build.gradle
  • .travis.yml
  • gradle.properties.enc
  • secring.gpg.enc
  • pubring.gpg.enc

Note to future Jens: After updating the sources the gradle patch task must be run. This modifies the sources. Do not run the task multiple times!

de.hhu.stups

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

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

Версия
3.2.0