chore(main): release 1.0.0

[github-actions]

🤖 I have created a release beep boop

1.0.0 (2026-06-01)

Features

• devirt: re-implement devirtualization on SVF's Andersen call graph (091a009)
• emit structured source context (9f11cb8)
• fuzz+audit: third fuzzer + Phase 2.2 Boogie canonicalizer (cc563a6)
• fuzz: libFuzzer harness for bitcode parse + OSS-Fuzz scaffold (2bd914f)
• packaging: expose public API + version on smack package (0aef5b9)
• packaging: mark smack as PEP 561 inline-typed (9b70110)
• packaging: smack.cli init re-exports VResult/VProperty (caf25cf)
• packaging: smack.diffprod init re-exports orchestrators (0b74caf)
• packaging: smack.pipeline init re-exports stage entry points (c0fc531)
• packaging: smack.svcomp init re-exports verify_bpl_svcomp (fed0ffb)
• packaging: smack.verifier init re-exports Command + builders (822a18f)
• packaging: support python -m smack invocation (4e7f1e8)
• partition: replace sea-dsa with SVF union-find memory partitioner (7aa1b12)
• smack: emit provenance annotations (7357982)
• svf: unresolved-pointer audit + keep static SVF cache (677b7a3)
• tools: devirt + memory partition comparison harnesses (8ff1dd3)
• translator: LLVM 22 NewPM siblings, sea-dsa bridge, gtest suite (82acaaa)
• typing: annotate top.py + utils.py + frontend.py; widen mypy (0b5d491)

Bug Fixes

• devirt: early-devirt mode + SVF over-approx type-filtering (333bfa1)
• svcomp: break circular import via PEP 562 lazy attribute (34aa22e)
• svf-regions: sound region partition (vtable/GHASH severance) + always-on catch-all (0d81f0e)
• svf: build SVF on the final module (drop early CodifyStaticInits dep) (325db2b)
• svf: collapse field-objects to their base in the region union-find (482a30e)
• versions: pin Python version fallback to LLVM-21 to match bin/versions (da58918)

---

This PR was generated with Release Please. See documentation.