`KaniAttributes` Path Resolution Refactor#4249

Merged

carolynzech merged 6 commits intomodel-checking:mainfrom

carolynzech:attrs-rewrite

Jul 30, 2025

Commits on Jun 26, 2025

clarify difference btwn reachability and parsing checks
Carolyn Zech
committed
nit: make stable the suffix in DefIdStable to be consistent w/ rest of module
Carolyn Zech
committed
nit: change lifetimes in expect_single to match rest of module
Carolyn Zech
committed

Commits on Jul 26, 2025

rewrite `interpret_stub_verified_attribute` and `interpret_for_contract_attribute` to call `resolve_fn_path`
Carolyn Zech
committed
Merge remote-tracking branch 'origin/main' into attrs-rewrite
Carolyn Zech
committed

Commits on Jul 30, 2025

Merge branch 'main' into attrs-rewrite
Carolyn Zech
committed