Last Version

TLA+ to B-AST 1.1.4

License	License Eclipse Public License, Version 1.0
GroupId	GroupId de.hhu.stups
ArtifactId	ArtifactId tla2bAST
Version	Version 1.1.4
Type	Type pom.sha512
Description	Description TLA+ to B-AST Translator from TLA+ to ProB's AST representation.
Project URL	Project URL https://github.com/hhu-stups/tla2bAST
Source Code Management	Source Code Management https://github.com/hhu-stups/tla2bAST

Download tla2bAST 1.1.4

Filename	Size
tla2bAST-1.1.4.pom
tla2bAST-1.1.4-sources.jar	97 KB
tla2bAST-1.1.4-javadoc.jar	719 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
de.hhu.stups : tlatools	jar	1.0.2
de.hhu.stups : prologlib	jar	2.9.27
de.hhu.stups : bparser	jar	2.9.27

runtime (1)

Group / Artifact	Type	Version
commons-cli : commons-cli	jar	1.4

Project Modules