Repository navigation

feat: Add Smithril - #206

Open

misonijnik wants to merge 9 commits into

mainfrom

Commits on Mar 15, 2026
- feat: Add `smithril`
  misonijnik
  committed
  b0e7677
- chore: Update version
  misonijnik
  committed
  c78c477
- ci: Remove Cirrus CI configuration and FreeBSD-specific test guards
  misonijnik
  committed
  325bed0
- ci: Bump SMITHRIL_VERSION to v0.1.1 to fix build
  misonijnik
  committed
  65d91dc
- ci: Disable STP master
  misonijnik
  committed
  17b7172
Commits on Mar 16, 2026
- fix: Remove hardcoded smithril-tree solver backend
  misonijnik
  committed
  61d2dc1
Commits on Mar 28, 2026
- fix: Fix CI failures in Smithril integration
  misonijnik
  committed
  55123fd
Commits on Apr 10, 2026
- fix: update Smithril solver limit override
  misonijnik
  committed
  7bf6f7f
Commits on Apr 18, 2026
- fix: replace VLAs with std::vector in ktest-gen
  misonijnik
  committed
  7315d7e