Tags · i7 / heron · GitLab

5.10.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.

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

tacas20v2

60cf85df · fixed rendering of assignments · Oct 14, 2020
```
Version submitted to TACAS'20
```
Download source code

zip tar.gz tar.bz2 tar
tacas20

df80e604 · fixed tacas artifact; moved szymanski.her into current format · Oct 13, 2020
```
Version submitted to TACAS'20
```
Download source code

zip tar.gz tar.bz2 tar

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum