Skip to content

KaniAttributes Path Resolution Refactor#4249

Merged
carolynzech merged 6 commits into
model-checking:mainfrom
carolynzech:attrs-rewrite
Jul 30, 2025
Merged

KaniAttributes Path Resolution Refactor#4249
carolynzech merged 6 commits into
model-checking:mainfrom
carolynzech:attrs-rewrite

Merge branch 'main' into attrs-rewrite

0e48179
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.