Download all versions of tla2bAST JAR files with all dependencies

tla2bAST from group de.hhu.stups (version 1.2.1)

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.2.1
Last update 11. August 2023
Tags: prob translator from representation
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.2.0
Last update 11. August 2023
Tags: prob translator from representation
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.1.5
Last update 28. April 2023
Tags: prob translator from representation
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.1.4
Last update 11. March 2021
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.1.3
Last update 28. February 2020
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies commons-cli, tlatools, prologlib, parserbase, bparser, ltlparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.1.0
Last update 31. August 2018
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies commons-cli, tlatools, prologlib, parserbase, bparser, ltlparser,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.0.9
Last update 20. July 2017
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies ltlparser, bparser, commons-cli, tlatools, prologlib, parserbase,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.0.8
Last update 24. February 2016
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies bparser, parserbase, commons-cli, tlatools, ltlparser, prologlib,
There are maybe transitive dependencies!

Translator from TLA+ to ProB's AST representation.

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.0.7
Last update 19. August 2015
Tags: translator representation from prob
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 5
Dependencies parserbase, ltlparser, bparser, tlatools, prologlib,
There are maybe transitive dependencies!

Page 1 from 1 (items total 9)