Tags

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

STTT2025

84b6a8ac · STTT2025 · Oct 07, 2025
VMCAI-2024

6d491d3e · Don't try to build the old benchmarks · Oct 26, 2023
```
The source used in the VMCAI 2024 publication
```
v2.4

40fc8f35 · Documentation update for 2.4 release · Jun 15, 2023

Release: Full mu-Calculus
CADE-29

0529c40d · explicit benchmark series need to be referenced in folder · May 24, 2023
```
COOL as used for the CADE-29 paper
```
v2.3

fa804fc7 · Cleaned up new benchmark series · Mar 09, 2023

Release: TATL Compatability
v2.2

7ba60823 · Merge branch 'benchmarks' into 'master' · Oct 20, 2022

Release: Incremental Parsing & Benchmarking Series
v2.1

eaf6ecb3 · Merge branch 'refactoring' into 'master' · Aug 23, 2022

Release: One-step Function Satisfiability COOL
v2.0

d49e7b8a · Documentation update to include aconjunctive · Jul 06, 2021

Release: Aconjunctive COOL
v1.1

5aaf9de0 · Only specify verion in one place · Jun 23, 2021

Release: Alternation-free COOL with corrected versions
v1.0

da0d559c · Merge branch 'master' of git8.cs.fau.de:software/cool into examples · Jun 23, 2021

Release: Alternation-free COOL