hhu-stups / tlc4b Public

(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.

tla.msr-inria.inria.fr/tlaps/content/home.html

0 stars 1 fork Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 318 Commits
gradle/wrapper		gradle/wrapper
src		src
.editorconfig		.editorconfig
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
README.md		README.md
build.gradle		build.gradle
gradle.properties.enc		gradle.properties.enc
gradlew		gradlew
gradlew.bat		gradlew.bat
pubring.gpg.enc		pubring.gpg.enc
secring.gpg.enc		secring.gpg.enc

Repository files navigation

TLC4B

About

(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.

tla.msr-inria.inria.fr/tlaps/content/Home.html

Readme

Activity

Custom properties

0 stars

8 watching

1 fork

Report repository