Tags

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

2.1
protected

836e585f · Merge branch 'format-version-2.1' into 'main' · Nov 20, 2024
```
New Release 2.1, used first by SV-COMP 2025
```
Verified
2.0
protected

f235a18a · Merge branch 'task-definition-options-2.0' into 'master' · Sep 26, 2020
```
Version 2.0 of the task-definition format
```
Verified
1.0
protected

ddce8597 · Merge branch 'task-definition-initial-1.0' into 'master' · Sep 25, 2020
```
Initial version of the task-definition format
```
Verified