sail-runtime v0.2.0-rc.1 — Exact bounded SMT execution for embedded and service clients

Sign in to join the discussion — your thebay.events account works here.