GitHub - hhu-stups/tlatools: (READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB

Contributing

Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2020 Microsoft Corporation

Licensed under the MIT License

Name		Name	Last commit message	Last commit date
Latest commit History 7,492 Commits
.github		.github
general		general
tlatools		tlatools
toolbox		toolbox
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.jenkins.groovy		.jenkins.groovy
.travis.yml		.travis.yml
CONTRIBUTING.md		CONTRIBUTING.md
DEVELOPING.md		DEVELOPING.md
LICENSE		LICENSE
README.md		README.md
keystore		keystore
pom.xml		pom.xml