Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 9, 2026

• docs: fix typos in comments and docstrings (#2046)

  Show description for d6f4c7b
  

  Avicennasis

  authored and

  meta-codesync[bot]

  committed
  d6f4c7b

  Copy full SHA for d6f4c7b

• [infer][swift] demangle function-local class names in retain-cycle labels

  Show description for 10fe6e7
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  10fe6e7

  Copy full SHA for 10fe6e7

Commits on Jun 6, 2026

• [infer][pulse][swift] honor [weak self] capture in register_closure_holder

  Show description for 38c3e65
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  38c3e65

  Copy full SHA for 38c3e65

• [test][infer][pulse][swift] pin KVO-observer [weak self] retain-cycle FP

  Show description for cd7fd1f
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  cd7fd1f

  Copy full SHA for cd7fd1f

Commits on Jun 5, 2026

• [infer][swift][test] repro: retain-cycle label shows mangled name for local class

  Show description for 3b7dbf3
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  3b7dbf3

  Copy full SHA for 3b7dbf3

• [infer][pulse] render retain-cycle self/locals without the `&` address-of

  Show description for 846830b
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  846830b

  Copy full SHA for 846830b

• [infer][pulse][swift] fix SWIFT_NPE false positives on safe Optional access

  Show description for 72366f3
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  72366f3

  Copy full SHA for 72366f3

• [test][infer][swift][pulse] pin safe Optional-access SWIFT_NPE FPs

  Show description for 2e25186
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  2e25186

  Copy full SHA for 2e25186

• [infer][pulse] model android-base LogMessage FATAL constructor as no-return

  Show description for 4071f3b
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  4071f3b

  Copy full SHA for 4071f3b

• [infer][pulse] repro: COMPARED_TO_NULL_AND_DEREFERENCED FP after android-base CHECK

  Show description for 0e8862a
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  0e8862a

  Copy full SHA for 0e8862a

Commits on Jun 4, 2026

• [test] SWIFT_NPE: pin out-of-scope shapes stay silent

  Show description for ce94c42
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  ce94c42

  Copy full SHA for ce94c42

• [infer][llvm][swift] log DISubprogram-vs-instruction source-file mismatches (observability)

  Show description for 85fb0bd
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  85fb0bd

  Copy full SHA for 85fb0bd

Commits on Jun 3, 2026

• [easy][infer][pulse][swift] don't abort analysis on 1-arg swift_getDynamicType

  Show description for 8b1c1ac
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  8b1c1ac

  Copy full SHA for 8b1c1ac

• [easy][infer][textual] wildcard undeclared fields by qualified name, not bare name

  Show description for 51e2cb9
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  51e2cb9

  Copy full SHA for 51e2cb9

• [infer][llvm][swift] extend force-unwrap recogniser to raw-pointer null-check shape (as!)

  Show description for 6658f9d
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  6658f9d

  Copy full SHA for 6658f9d

• [infer][llvm][swift] extend force-unwrap recogniser to symbolic-discriminator path-split sites

  Show description for 25b9cf3
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  25b9cf3

  Copy full SHA for 25b9cf3

• [infer][llvm][swift] recognise force-unwrap (postfix !) lowering shapes and report SWIFT_NPE

  Show description for 31e8615
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  31e8615

  Copy full SHA for 31e8615

• [test][infer][swift][pulse] force-unwrap test corpus + frontend SIL fixtures

  Show description for 547ddd3
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  547ddd3

  Copy full SHA for 547ddd3

• [infer][swift] don't warn-on-realpath compiler-generated source sentinels

  Show description for 06dfea9
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  06dfea9

  Copy full SHA for 06dfea9

• [semdiff][B006][5/5] wire --semdiff-b006-migration CLI and integration test

  Show description for 3bac866
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  3bac866

  Copy full SHA for 3bac866

• [semdiff][B006][4/5] add check_b006_migration with end-to-end tests

  Show description for afceabe
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  afceabe

  Copy full SHA for afceabe

• [semdiff][B006][3/5] add B006 rewrite rules with per-rule tests

  Show description for a980c4a
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  a980c4a

  Copy full SHA for a980c4a

• [semdiff][B006][2/5] model parameters with defaults in the PEG

  Show description for 3c66c8a
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  3c66c8a

  Copy full SHA for 3c66c8a

• [semdiff][B006][1/5] extract default arguments from the module body

  Show description for 799c5a1
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  799c5a1

  Copy full SHA for 799c5a1

• [infer][pulse] align ObjC block-holder model with its Swift mirror

  Show description for 06ea9d7
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  06ea9d7

  Copy full SHA for 06ea9d7

• [infer][swift][test] pin DispatchWorkItem [weak self] retain-cycle FP

  Show description for 997b271
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  997b271

  Copy full SHA for 997b271

Commits on Jun 2, 2026

• [infer][pulse] decode Swift stdlib mnemonic types (TSiSg etc.) in retain-cycle messages

  Show description for 1cb3eaa
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  1cb3eaa

  Copy full SHA for 1cb3eaa

• [infer][pulse] coalesce adjacent indistinguishable retain-cycle nodes

  Show description for 187eb14
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  187eb14

  Copy full SHA for 187eb14

• [textual][tutorial] how to add a new frontend via Textual

  Show description for b79068e
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  b79068e

  Copy full SHA for b79068e

• [easy][infer][pulse][swift] filter Swift enum classes from retain-cycle holders

  Show description for fbf093f
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  fbf093f

  Copy full SHA for fbf093f

• [test][infer][swift][pulse] pin no-FP for `[weak self]`-captured block held strongly by handler

  Show description for 0c5980b
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  0c5980b

  Copy full SHA for 0c5980b

• [infer][llvm][swift] dereference formal-parameter `Reg` on metadata-extract Loads

  Show description for 384b0f9
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  384b0f9

  Copy full SHA for 384b0f9

• [infer][pulse] label closure captured-env cycle nodes as "captured environment of <closure>"

  Show description for 982b026
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  982b026

  Copy full SHA for 982b026

Commits on Jun 1, 2026

• [infer][pulse] render __infer_tuple_field_N as Swift tuple syntax .N in user messages

  Show description for ffb8219
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  ffb8219

  Copy full SHA for ffb8219

• [infer][pulse] strip Llair-frontend wildcard field hash from user messages

  Show description for ba13be2
  

  dulmarod

  authored and

  meta-codesync[bot]

  committed
  ba13be2

  Copy full SHA for ba13be2