Tags

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

v0.99

d1626289 · fix: .gitlab-ci.yml · Mar 22, 2025
commit-2ca9b4cd

2ca9b4cd · Update .gitlab-ci.yml file · Mar 22, 2025
v3.9.2

703577d1 · fix:.gitlab-ci.yml · Mar 22, 2025
v3.8.1

1cbca526 · minor clean-up · Jul 13, 2023
```
a stable release after CASC/SMT-COMP 2023
```