Repository navigation

Unified: Port old MaD models from swift - #22662

Merged

asgerf merged 19 commits into

github:mainfrom

asgerf:unified/mad-approx

Sep 24, 2026

Merged

Unified: Port old MaD models from swift#22662
asgerf merged 19 commits into
github:mainfrom
asgerf:unified/mad-approx

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