Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2020

• [cost] Add FP test for NSDictionary initialization

  Show description for 06489dc
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  06489dc

  Copy full SHA for 06489dc

• [litho] Fix FN caused by special treatment of ResType suffixes

  Show description for 7cb8145
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  7cb8145

  Copy full SHA for 7cb8145

• [closures preanalysis] [3/n] Adding models to dispatch functions and remove code for previous specialization and dispatch models

  Show description for fdb1640
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  fdb1640

  Copy full SHA for fdb1640

• [closures preanalysis][2/n] Add second preanalysis that fills the body of the specialized methods with blocks

  Show description for 2e66bf6
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  2e66bf6

  Copy full SHA for 2e66bf6

• [closures preanalysis] [1/n] Adding first step of preanalysis to specialize methods with concrete closures they are called with

  Show description for 892b16b
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  892b16b

  Copy full SHA for 892b16b

• [pulse] Fix std::function::operator()

  Show description for 0a4af77
  

  da319

  authored and

  facebook-github-bot

  committed
  0a4af77

  Copy full SHA for 0a4af77

• [cost] refactor cost model and add NSArray.sort cost model.

  Show description for bb828a9
  

  roro47

  authored and

  facebook-github-bot

  committed
  bb828a9

  Copy full SHA for bb828a9

• [cost] add iterator support for nsdictionary

  Show description for b71521a
  

  roro47

  authored and

  facebook-github-bot

  committed
  b71521a

  Copy full SHA for b71521a

Commits on Aug 27, 2020

• [inferbo] Generalize init's model to NSObject

  Show description for 8447aa3
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  8447aa3

  Copy full SHA for 8447aa3

• [biabduction] Comment out resource leak test that is currently being flaky in the CI

  Show description for 6e67a6a
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  6e67a6a

  Copy full SHA for 6e67a6a

• [pulse] Understand captured variables in cpp lambdas

  Show description for 29fd9e1
  

  da319

  authored and

  facebook-github-bot

  committed
  29fd9e1

  Copy full SHA for 29fd9e1

• [topl] Cheap port to Pulse.

  Show description for 9591276
  

  rgrig

  authored and

  facebook-github-bot

  committed
  9591276

  Copy full SHA for 9591276

• [cost] make the size of collection more accurate when modifying in loop

  Show description for debeba5
  

  roro47

  authored and

  facebook-github-bot

  committed
  debeba5

  Copy full SHA for debeba5

Commits on Aug 26, 2020

• [cost] Add FN test for functions that take blocks as arguments

  Show description for f02f7b3
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  f02f7b3

  Copy full SHA for f02f7b3

• [reanalyze] Fix reanalyze option

  Show description for 4c2d5a4
  

  skcho

  authored and

  facebook-github-bot

  committed
  4c2d5a4

  Copy full SHA for 4c2d5a4

• [topl] Atomic prunes.

  Show description for 5f2849b
  

  rgrig

  authored and

  facebook-github-bot

  committed
  5f2849b

  Copy full SHA for 5f2849b

• [cost] fix enumerator when not used in for-each loop in ObjC

  Show description for 41f2533
  

  roro47

  authored and

  facebook-github-bot

  committed
  41f2533

  Copy full SHA for 41f2533

Commits on Aug 25, 2020

• [pulse] Add a new test for npe in objc blocks

  Show description for 87ff05c
  

  da319

  authored and

  facebook-github-bot

  committed
  87ff05c

  Copy full SHA for 87ff05c

• [pulse] normalize again when we discover new linear eqs

  Show description for 5cceead
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5cceead

  Copy full SHA for 5cceead

• [pulse] cleanup arithmetic

  Show description for 50b94db
  

  jvillard

  authored and

  facebook-github-bot

  committed
  50b94db

  Copy full SHA for 50b94db

• [pulse] refactor Atom.eval_atom

  Show description for 8b23fee
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8b23fee

  Copy full SHA for 8b23fee

• [pulse] streamline atom normalization

  Show description for ecdb153
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ecdb153

  Copy full SHA for ecdb153

• [pulse] preserve physical equality on var subst in LinArith

  Show description for 7df30b0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7df30b0

  Copy full SHA for 7df30b0

• [pulse] substitute entire linear expressions

  Show description for eb37d2c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  eb37d2c

  Copy full SHA for eb37d2c

• [pulse] normalize any linear atom

  Show description for 36af901
  

  jvillard

  authored and

  facebook-github-bot

  committed
  36af901

  Copy full SHA for 36af901

• [pulse] add a Linear variant to terms

  Show description for 69995ce
  

  jvillard

  authored and

  facebook-github-bot

  committed
  69995ce

  Copy full SHA for 69995ce

• [pulse] move LinArith before Term

  Show description for 45894a7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  45894a7

  Copy full SHA for 45894a7

• [pulse] evaluate all constant expressions

  Show description for 1d56705
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1d56705

  Copy full SHA for 1d56705

• [pulse][minor] moving some arithmetic stuff around

  Show description for bcba7c8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bcba7c8

  Copy full SHA for bcba7c8

• [pulse] `delete nullptr` is a no-op

  Show description for 5278cb7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5278cb7

  Copy full SHA for 5278cb7

• [pulse] detect when atoms become linear arithmetic

  Show description for af64d5d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  af64d5d

  Copy full SHA for af64d5d

• [cost] fix iterator for constant array

  Show description for 9a3bfa6
  

  roro47

  authored and

  facebook-github-bot

  committed
  9a3bfa6

  Copy full SHA for 9a3bfa6

Commits on Aug 24, 2020

• [cost] add NSArray iterator

  Show description for b4f23ab
  

  roro47

  authored and

  facebook-github-bot

  committed
  b4f23ab

  Copy full SHA for b4f23ab

Commits on Aug 21, 2020

• [merge] measure tenv size only in debug mode

  Show description for 06f5eee
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  06f5eee

  Copy full SHA for 06f5eee

• [dbwriter] mild refactor

  Show description for 3133c18
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  3133c18

  Copy full SHA for 3133c18

Pagination

Previous

Next