Tags

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

PatEC-SPIN2021

5924f65e · updated script that it can be called from different directories · May 29, 2021
```
version used for PatEC evaluation in SPIN2021 paper
```
PEQcheck-Formalise2021

38cc6b51 · added scripts, deleted renamed file · Mar 10, 2021
```
PEQcheck version used in final submission of PEQcheck paper
```
ETAPS2020-general

271dd968 · Improved general checker, continued with doAll pattern check · Aug 31, 2020
```
PEQcheck used to evaluate GeneralChecker for ETAPS 2020 submission
```