Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2025

• [semdiff] Set up json output

  Show description for bc6ecc0
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  bc6ecc0

  Copy full SHA for bc6ecc0

• [semdiff] Show ast diff in debug mode

  Show description for 9ef9cfe
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  9ef9cfe

  Copy full SHA for 9ef9cfe

• [semdiff] integrate cmd line with tool

  Show description for cef7792
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  cef7792

  Copy full SHA for cef7792

• [semdiff] avoid calling Py.initialize at top level

  Show description for d2b8671
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  d2b8671

  Copy full SHA for d2b8671

• [semdiff] Create semdiff cmd line in Infer

  Show description for dbece78
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  dbece78

  Copy full SHA for dbece78

• [semdiff] add mli file

  Show description for 1595089
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  1595089

  Copy full SHA for 1595089

• [semdiff] remove main

  Show description for 33e698f
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  33e698f

  Copy full SHA for 33e698f

Commits on Aug 26, 2025

• [semdiff] add test with lambda def

  Show description for 2944933
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  2944933

  Copy full SHA for 2944933

• [semdiff] fix verbosity of unit tests

  Show description for 8ef18c6
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  8ef18c6

  Copy full SHA for 8ef18c6

Commits on Aug 22, 2025

• [semdiff] ignore type annotations from async functions

  Show description for 221b238
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  221b238

  Copy full SHA for 221b238

• [semdiff] add debug mode

  Show description for 4fca9dd
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  4fca9dd

  Copy full SHA for 4fca9dd

• [semdiff] ignore import statements

  Show description for 4fb3e34
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  4fb3e34

  Copy full SHA for 4fb3e34

Commits on Aug 21, 2025

• [semdiff] Add tests that are fps

  Show description for 0098de4
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  0098de4

  Copy full SHA for 0098de4

Commits on Aug 19, 2025

• [swift] Translate alloc methods

  Show description for fc237fb
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  fc237fb

  Copy full SHA for fc237fb

Commits on Aug 18, 2025

• [swift] Adding a builtin for Swift alloc

  Show description for 7f3f36e
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  7f3f36e

  Copy full SHA for 7f3f36e

• [IR] Improve printing of the method's offset in the tenv

  Show description for 0f11215
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  0f11215

  Copy full SHA for 0f11215

• [swift] Improve printing of swift method names

  Show description for 70a17e9
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  70a17e9

  Copy full SHA for 70a17e9

• [swift] Add the enclosing class to method names

  Show description for 418b3c5
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  418b3c5

  Copy full SHA for 418b3c5

• [swift] Store the llvm_offset in the tenv for Swift methods

  Show description for 46a7555
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  46a7555

  Copy full SHA for 46a7555

• [IR] More refactoring to allow frontends to set llvm_offset fields in methods in the tenv

  Show description for 6c2681b
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  6c2681b

  Copy full SHA for 6c2681b

• [IR] Refactor method lists in classes in the tenv

  Show description for b615463
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  b615463

  Copy full SHA for b615463

• [devai_quality] Python comparison excluding type annotations (v0)

  Show description for 7caecfb
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  7caecfb

  Copy full SHA for 7caecfb

Commits on Aug 15, 2025

• [annot] Add test with Kotlin extension methods

  Show description for 072b297
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  072b297

  Copy full SHA for 072b297

Commits on Aug 14, 2025

• [swift] Build offset attributes for procdecls

  Show description for b62ef72
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  b62ef72

  Copy full SHA for b62ef72

Commits on Aug 13, 2025

• [swift] Compute the index for methods and offsets per class

  Show description for 829a475
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  829a475

  Copy full SHA for 829a475

Commits on Aug 12, 2025

• [InferHack] Add unit tests with DMKs false negatives involving map

  Show description for 7e5278c
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  7e5278c

  Copy full SHA for 7e5278c

Commits on Aug 11, 2025

• [llvm] Translate GetElementPtr as a builtin

  Show description for 8aed4c4
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  8aed4c4

  Copy full SHA for 8aed4c4

Commits on Aug 8, 2025

• [llvm] Refactoring to be able to do builtin calls as expressions

  Show description for 03bd1c0
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  03bd1c0

  Copy full SHA for 03bd1c0

• [llvm] Add translation of getelementptr in the case of a simple offset

  Show description for 869997b
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  869997b

  Copy full SHA for 869997b

Commits on Aug 7, 2025

• [InferHack] New unit test that reveals false negative in dmk

  Show description for 15a555f
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  15a555f

  Copy full SHA for 15a555f

• [InferHack] fix model `hack_get_class_from_type`

  Show description for 43448b7
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  43448b7

  Copy full SHA for 43448b7

Commits on Aug 6, 2025

• [swift] Make any type compatible with void*

  Show description for 48d92f6
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  48d92f6

  Copy full SHA for 48d92f6

• [swift] Removing a load in the translation of Move

  Show description for 92d83a8
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  92d83a8

  Copy full SHA for 92d83a8

• [swift] Fix int pointer compatibility typing errors

  Show description for b1a0a0d
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  b1a0a0d

  Copy full SHA for b1a0a0d

Commits on Aug 4, 2025

• [swift] Change the builtin for init records to llvm_init_tuple

  Show description for d96dadd
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  d96dadd

  Copy full SHA for d96dadd

Pagination

Previous

Next