feat: Add Smithril#206

Open

misonijnik wants to merge 9 commits intomainfrom

Commits on Mar 16, 2026

fix: Remove hardcoded smithril-tree solver backend
misonijnik
committed

Commits on Mar 28, 2026

fix: Fix CI failures in Smithril integration
misonijnik
committed

Commits on Apr 10, 2026

fix: update Smithril solver limit override
misonijnik
committed

Commits on Apr 18, 2026

fix: replace VLAs with std::vector in ktest-gen
misonijnik
committed