Unified: Port old MaD models from swift - #22662

Merged

asgerf merged 19 commits into

github:mainfrom

asgerf:unified/mad-approx

Sep 24, 2026

Commits on Sep 22, 2026

unified: Import MaD models from old swift
asgerf
committed
592903e
unified: Use named labels
asgerf
committed
04ec328
unified: Sort argument labels
asgerf
committed
c37b51d

Commits on Sep 23, 2026

unified: Add approximate MaD interpreter
asgerf
committed
ceec6c2
unified: Add a test and "public" API
asgerf
committed
5f65e19
unified: Add test for unsupported parameter match
asgerf
committed
a77beac
unified: Detect override-parameter sources
asgerf
committed
91d22cf
unified: Add stats
asgerf
committed
0d74896
unified: Add meta queries
asgerf
committed
785508f

Commits on Sep 24, 2026

unified: Expose getPostUpdateNode() to avoid internal import
asgerf
committed
67a9562
unified: Document lack of support for properties
asgerf
committed
56d5444
unified: Document bug for qualified type access
asgerf
committed
af35b8f
unified: Handle qualified type names
asgerf
committed
d92e90f
unified: Fix mistranslated Argument tokens
asgerf
committed
df72e5e
unified: Add tests for explicit '.init' at constructor call
asgerf
committed
cd0f329
unified: Handle explicit .init at call site
asgerf
committed
d1b45ec
unified: Remove unused import
asgerf
committed
3d5a0d4
unified: Fix issue with bad magic
asgerf
committed
2b6c187
Update unified/ql/lib/codeql/unified/internal/FacadeAst.qll
asgerf
authored
935956c