GitHub - edaena/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

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 lemmy TLCGet("config").install equals the absolute path to tla2tools.jar. Aug 4, 2021 f56cf14 · Aug 4, 2021 History 7,883 Commits
.github	.github	Make test failures or errors fail the Github Actions.	Aug 3, 2021
general	general	Remove tab characters in Randomization.tla because tabs are not	Aug 4, 2021
tlatools	tlatools	TLCGet("config").install equals the absolute path to tla2tools.jar.	Aug 4, 2021
toolbox	toolbox	Remove tab characters in Randomization.tla because tabs are not	Aug 4, 2021
.gitignore	.gitignore	Simplify running *_TTraceTests.	Jul 28, 2021
.jenkins.groovy	.jenkins.groovy	Bump version numbers to 1.7.1 following yesterday's release of 1.7.0.	Apr 27, 2020
.travis.yml	.travis.yml	Switch to OpenJDK14 to fix InliningTests.	Sep 14, 2020
CONTRIBUTING.md	CONTRIBUTING.md	Add missing hyphen in brew install command (tlaplus#515 )	Oct 17, 2020
DEVELOPING.md	DEVELOPING.md	Trace explorer fixes and enhancements.	Mar 29, 2021
LICENSE	LICENSE	Add a proper license file for Github to correctly detect the MIT lice…	Aug 16, 2017
README.md	README.md	Update status badges to include Github build.	Apr 17, 2020
keystore	keystore	Cryptographically sign the Toolbox jars. Signed jars result in one less	Apr 7, 2017
pom.xml	pom.xml	Bump version numbers of master to 1.8.0 in anticipation of a 1.7.1	Dec 30, 2020