2025-07-03: Due to updates GitLab may be unavailable for some minutes between 13:00 and 17:00.

Tags

Tags give the ability to mark specific points in history as being important

1.11.3

28b8809e · fixed config file for elevators · Apr 28, 2020
1.10.12

48a3f9db · Added further PRISM models · Mar 26, 2020
1.7.4

48a3f9db · Added further PRISM models · Mar 26, 2020
1.8.0

48a3f9db · Added further PRISM models · Mar 26, 2020
1.9.3

48a3f9db · Added further PRISM models · Mar 26, 2020
1.1.0

8a2c0d13 · Squashed lot of unnecessary commits · Feb 28, 2020
```
start tag for automatic semantic versioning
```
1.3.2

c9dc5628 · Added leader benchmarks · Feb 19, 2020
1.4.0

c9dc5628 · Added leader benchmarks · Feb 19, 2020
1.5.0

c9dc5628 · Added leader benchmarks · Feb 19, 2020
1.6.0

c9dc5628 · Added leader benchmarks · Feb 19, 2020
1.6.2

c9dc5628 · Added leader benchmarks · Feb 19, 2020
1.7.0

c9dc5628 · Added leader benchmarks · Feb 19, 2020
v1.0.0rc5

d9a475ae · pip package structure · Oct 27, 2019

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum