Tags · Spot / Spot

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

spot-2-12-1 protected

b63f1606 · release Spot 2.12.1 · Sep 23, 2024
```
Spot 2.12.1
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-12 protected

532b57d0 · Release spot 2.12 · May 16, 2024
```
Spot 2.12
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-1-12 protected

a1413c4e · release spot 2.14 · May 14, 2024
```
Spot 2.12
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-6 protected

f4b397a2 · Release Spot 2.11.6 · Aug 01, 2023
```
Spot 2.11.6
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-5 protected

b6c076ce · release Spot 2.11.5 · Apr 20, 2023
```
Spot 2.11.5
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-4 protected

50a58254 · Release spot 2.11.4 · Feb 10, 2023
```
Spot 2.11.4
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-3 protected

d7feeca1 · Release Spot 2.11.3 · Dec 09, 2022
```
Spot 2.11.3
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-2 protected

66aaa115 · Release Spot 2.11.2 · Oct 26, 2022
```
Spot 2.11.2
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11-1 protected

c2bbb3fd · Release Spot 2.11.1 · Oct 10, 2022
```
Spot 2.11.1
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-11 protected

8131fae1 · Release Spot 2.11 · Oct 08, 2022
```
Spot 2.11
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
syntcomp2022-submission

6dd99e04 · to_parity: Rewrite the function and add new transformations · Jul 07, 2022
```
This is the version of Spot that was submitted to SyntComp'22
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-6 protected

e0de77d8 · Release Spot 2.10.6 · May 18, 2022
```
Spot 2.10.6
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-5 protected

c70a06ae · Release Spot 2.10.5 · May 03, 2022
```
Spot 2.10.5
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-4 protected

bf77d0f0 · Release Spot 2.10.4 · Feb 01, 2022
```
Spot 2.10.4
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-3 protected

dd339508 · Release Spot 2.10.3 · Jan 15, 2022
```
Spot 2.10.3
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-2 protected

6eabc517 · Release Spot 2.10.2 · Dec 03, 2021
```
Spot 2.10.2
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10-1 protected

1782af39 · Release Spot 2.10.1 · Nov 19, 2021
```
Spot 2.10.1
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-10 protected

37de3470 · Release Spot 2.10 · Nov 13, 2021
```
Spot 2.10
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-9-8 protected

db0440f1 · Release Spot 2.9.8 · Aug 10, 2021
```
Spot 2.9.8
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
spot-2-9-7 protected

bc768a71 · Release Spot 2.9.7 · May 12, 2021
```
Spot 2.9.7
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar