Branches · general / stups / tla2bAST · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Active branches

master default protected

c80fac8c · add (disabled) test for operations with the same name being called · 1 month ago
Download source code

zip
tar.gz
tar.bz2
tar

Stale branches

release/1.1.1

e2529dbd · bump version to 1.1.1 · 6 years ago

313

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare
release/1.1.3

51d8d46c · set version to 1.1.3 · 5 years ago

278

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare
release/1.1.4

ab98bb1b · detect a few more ProB DEFINITIONS · 4 years ago

254

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare