Download all versions of tla2bAST JAR files with all dependencies
tla2bAST from group de.hhu.stups (version 1.4.0)
Translator from TLA+ to ProB's AST representation.
Artifact tla2bAST
Group de.hhu.stups
Version 1.4.0
Last update 12. November 2024
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!
Group de.hhu.stups
Version 1.4.0
Last update 12. November 2024
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!
tla2bAST from group de.hhu.stups (version 1.3.0)
Translator from TLA+ to ProB's AST representation.
Artifact tla2bAST
Group de.hhu.stups
Version 1.3.0
Last update 02. May 2024
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!
Group de.hhu.stups
Version 1.3.0
Last update 02. May 2024
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!
tla2bAST from group de.hhu.stups (version 1.2.1)
Translator from TLA+ to ProB's AST representation.
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!
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!
tla2bAST from group de.hhu.stups (version 1.2.0)
Translator from TLA+ to ProB's AST representation.
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!
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!
tla2bAST from group de.hhu.stups (version 1.1.5)
Translator from TLA+ to ProB's AST representation.
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!
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!
tla2bAST from group de.hhu.stups (version 1.1.4)
Translator from TLA+ to ProB's AST representation.
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!
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!
tla2bAST from group de.hhu.stups (version 1.1.3)
Translator from TLA+ to ProB's AST representation.
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
tla2bAST from group de.hhu.stups (version 1.1.0)
Translator from TLA+ to ProB's AST representation.
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
tla2bAST from group de.hhu.stups (version 1.0.9)
Translator from TLA+ to ProB's AST representation.
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
tla2bAST from group de.hhu.stups (version 1.0.8)
Translator from TLA+ to ProB's AST representation.
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
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 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!
Page 1 from 2 (items total 11)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy