2025 slides#217

Merged

bobot merged 18 commits intoSMT-COMP:2025_final_executionfrom

bobot:2025_slides

Aug 11, 2025

Commits on Aug 11, 2025

initial slide deck for 2025

wintered
authored and
bobot
committed
make slides compile

wintered
authored and
bobot
committed
updated: 2026 organizers and acknowledgments

wintered
authored and
bobot
committed
plan && benchmark contributors

wintered
authored and
bobot
committed
plans for smtcomp 2026

wintered
authored and
bobot
committed
rm cloud track

wintered
authored and
bobot
committed
interim

wintered
authored and
bobot
committed
new participants 2025

wintered
authored and
bobot
committed
adding TODOs to mark unfinished things

wintered
authored and
bobot
committed
fixing #214

wintered
authored and
bobot
committed
interim

wintered
authored and
bobot
committed
updating the certificates

wintered
authored and
bobot
committed
Update slides.

Martin Jonáš
authored and
bobot
committed
Sort solvers.

Martin Jonáš
authored and
bobot
committed
One extra pass through slides.

Martin Jonáš
authored and
bobot
committed
Fix typo.

Martin Jonáš
authored and
bobot
committed
Derived solver
bobot
committed
Fix generate graphics and smtcomp stats-of-benchexec-results data
bobot
committed