Spot tags
https://gitlab.lre.epita.fr/spot/spot/-/tags
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-6
spot-2-11-6
Spot 2.11.6
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-5
spot-2-11-5
Spot 2.11.5
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-4
spot-2-11-4
Spot 2.11.4
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-3
spot-2-11-3
Spot 2.11.3
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-2
spot-2-11-2
Spot 2.11.2
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11-1
spot-2-11-1
Spot 2.11.1
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-11
spot-2-11
Spot 2.11
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/syntcomp2022-submission
syntcomp2022-submission
This is the version of Spot that was submitted to SyntComp'22
Florian Renkin
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-6
spot-2-10-6
Spot 2.10.6
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-5
spot-2-10-5
Spot 2.10.5
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-4
spot-2-10-4
Spot 2.10.4
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-3
spot-2-10-3
Spot 2.10.3
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-2
spot-2-10-2
Spot 2.10.2
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10-1
spot-2-10-1
Spot 2.10.1
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-10
spot-2-10
Spot 2.10
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-9-8
spot-2-9-8
Spot 2.9.8
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-9-7
spot-2-9-7
Spot 2.9.7
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-9-6
spot-2-9-6
Spot 2.9.6
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-9-5
spot-2-9-5
Spot 2.9.5
Alexandre Duret-Lutz
https://gitlab.lre.epita.fr/spot/spot/-/tags/spot-2-9-4
spot-2-9-4
Spot 2.9.4
Alexandre Duret-Lutz