Tags

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

SEFM20-proceedings
protected

07c47d8c · Make examples work with CPAchecker · Jul 22, 2020
```
Revision used for SEFM'20 proceedings artifact
```
SEFM20-submission
protected

0f997e96 · Fix minor bugs regarding copyright, directory renames and readme · Jun 02, 2020
```
Revision used for SEFM'20 submission artifact
```