Commits
Click on a commit to change the comparison rangerefactor: feed PCR hints as seed edges into block analysis fixpoint Merge remote-tracking branch 'origin/main' into dani/local-jump-resolution fix: soundness improvements for PCR pass feat: provenance-based return detection for PCR Merge branch 'main' into dani/local-jump-resolution