Commits

Branch selector

 main

User selector

Gabisampaio

Datepicker

All time

Commit History

Commits on Mar 26, 2021

• [pulse] IsInstanceOf simplification for null obj

  Show description for 68b4b5c
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  68b4b5c

  Copy full SHA for 68b4b5c

• [pulse] Adding model for Java Map

  Show description for 6357a97
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  6357a97

  Copy full SHA for 6357a97

Commits on Mar 24, 2021

• [pulse] Refactor Java Integer model

  Show description for 74f7df3
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  74f7df3

  Copy full SHA for 74f7df3

• [pulse] Refining model for Java Collection interface

  Show description for fd1731c
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  fd1731c

  Copy full SHA for fd1731c

Commits on Mar 10, 2021

• [pulse] Suppress reports containing skipped calls

  Show description for 2d56b1b
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  2d56b1b

  Copy full SHA for 2d56b1b

• [pulse] Updating Pulse website

  Show description for c736015
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  c736015

  Copy full SHA for c736015

• [pulse] Adapting error messages

  Show description for cba144b
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  cba144b

  Copy full SHA for cba144b

Commits on Mar 5, 2021

• [pulse] Model for TextUtils.isEmpty()

  Show description for f719294
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  f719294

  Copy full SHA for f719294

• [pulse] Model for Java instanceof

  Show description for e739099
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  e739099

  Copy full SHA for e739099

Commits on Mar 4, 2021

• [pulse] Adding temporary model for Collection.isEmpty()

  Show description for 752c494
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  752c494

  Copy full SHA for 752c494

Commits on Mar 3, 2021

• [pulse] Computing dynamic type information

  Show description for 5007edd
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  5007edd

  Copy full SHA for 5007edd

Commits on Feb 25, 2021

• [pulse] Adding IsInstanceOf predicate

  Show description for 97bce99
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  97bce99

  Copy full SHA for 97bce99

Commits on Feb 24, 2021

• [pulse] Implementing temporary model for Java instanceof operator

  Show description for 671727b
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  671727b

  Copy full SHA for 671727b

Commits on Feb 18, 2021

• [website] Updating website

  Show description for 1e36735
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  1e36735

  Copy full SHA for 1e36735

Commits on Feb 12, 2021

• [pulse] Adapting --pulse-model-return-nonnull for Java

  Show description for bc49f1d
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  bc49f1d

  Copy full SHA for bc49f1d

• [pulse] Modeling Java instanceof operator as returning true

  Show description for 54c3daf
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  54c3daf

  Copy full SHA for 54c3daf

Commits on Jan 28, 2021

• [pulse] Modeling checkState and checkArgument

  Show description for be39e74
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  be39e74

  Copy full SHA for be39e74

• [pulse] Modeling checkNotNull function

  Show description for e04f0a0
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  e04f0a0

  Copy full SHA for e04f0a0

Commits on Jan 25, 2021

• [pulse] Suppress Pulse NPE reports on @nullsafe

  Show description for 549954c
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  549954c

  Copy full SHA for 549954c

• [pulse] Modeling Java Integer class

  Show description for 27acb0f
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  27acb0f

  Copy full SHA for 27acb0f

• Renaming Java tests in Pulse

  Show description for e6d5083
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  e6d5083

  Copy full SHA for e6d5083

• Copying Java biabduction tests into Pulse

  Show description for 9362b22
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  9362b22

  Copy full SHA for 9362b22

Commits on Jan 22, 2021

• Renaming biabduction Java tests

  Show description for caa8bd0
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  caa8bd0

  Copy full SHA for caa8bd0

Commits on Jan 7, 2021

• Change Pulse Checker from experimental for C++ and Java to experimental for Java only

  Show description for e065b0b
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  e065b0b

  Copy full SHA for e065b0b