Python: Modernize the Signature Mismatch query#20217

Merged

joefarebrother merged 15 commits into

github:mainfrom

joefarebrother:python-qual-signature-mismatch

Sep 17, 2025

Commits on Sep 1, 2025

Commits on Sep 2, 2025

Increase precision in detecting call matches signature
joefarebrother
committed

Commits on Sep 3, 2025

Add comments documenting helper predicates, and add call resolve condition to callMatchesSignature to avoid cartesian product
joefarebrother
committed
Fix typos
joefarebrother
committed

Commits on Sep 8, 2025

Performance experiment - add getFunctionFIle for better join order
joefarebrother
committed

Commits on Sep 9, 2025

Simplify choosaASignatureMismatchWitness for improved performance
joefarebrother
committed