Commits

Branch selector

 0.17.0

User selector

All users

All time

Commit History

Commits on Jul 12, 2019

• [maven-release-plugin] prepare for next development iteration

  artempyanykh

  committed
  1ec4fc9

  Copy full SHA for 1ec4fc9

• [maven-release-plugin] prepare release infer-annotation-0.17.0

  artempyanykh

  committed
  302ca6f

  Copy full SHA for 302ca6f

• Make infer-annotations a SNAPSHOT version for maven release plugin to work

  artempyanykh

  committed
  6319a92

  Copy full SHA for 6319a92

• [sledge] Generate and apply summaries

  Show description for c0c6d65
  

  kren1

  authored and

  facebook-github-bot

  committed
  c0c6d65

  Copy full SHA for c0c6d65

• Bump infer-annotations jar version

  Show description for e3fd05b
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  e3fd05b

  Copy full SHA for e3fd05b

• [annotreach] clean up tests

  Show description for 5b191c5
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  5b191c5

  Copy full SHA for 5b191c5

• [annot-reach] complete the set of android thread annotations

  Show description for ffdc919
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  ffdc919

  Copy full SHA for ffdc919

Commits on Jul 11, 2019

• [biabd] remove a quadratic list operation

  Show description for b4f3bce
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b4f3bce

  Copy full SHA for b4f3bce

• [sledge] Fix solver crash

  Show description for 8173eed
  

  kren1

  authored and

  facebook-github-bot

  committed
  8173eed

  Copy full SHA for 8173eed

• New faster version of Diff/Test-Determinator

  Show description for 124036e
  

  martintrojer

  authored and

  facebook-github-bot

  committed
  124036e

  Copy full SHA for 124036e

• Remove optional caller_summary from Ondemand.analyze_proc_name

  Show description for 542dc90
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  542dc90

  Copy full SHA for 542dc90

• Refactor ondemand.ml

  Show description for dc37aee
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  dc37aee

  Copy full SHA for dc37aee

• Register callees in Summary.callee_pnames

  Show description for 8ce5925
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  8ce5925

  Copy full SHA for 8ce5925

Commits on Jul 10, 2019

• Store a set of callee names in Summary.t

  Show description for b835f28
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  b835f28

  Copy full SHA for b835f28

• [clang] NamespaceAliasDecl is just a no-op

  Show description for ef26e8b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ef26e8b

  Copy full SHA for ef26e8b

• Remove redundant fields from proc_callback_args

  Show description for 2f65103
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  2f65103

  Copy full SHA for 2f65103

Commits on Jul 9, 2019

• Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name

  Show description for a3eed43
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  a3eed43

  Copy full SHA for a3eed43

• Introduce method SummaryPayload.read_toplevel_procedure

  Show description for d9535f4
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  d9535f4

  Copy full SHA for d9535f4

• [sledge] Add printing of some variables in bold

  Show description for b5b8259
  

  kren1

  authored and

  facebook-github-bot

  committed
  b5b8259

  Copy full SHA for b5b8259

• [inefficientKeysetIterator] Chase predecessors 4 more nodes to check the pattern

  Show description for 4114f7f
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  4114f7f

  Copy full SHA for 4114f7f

Commits on Jul 8, 2019

• [inefficientKeysetIterator] Add missing type checks

  Show description for 1020187
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  1020187

  Copy full SHA for 1020187

• [infra] Update dune to 1.10.0

  Show description for 89ea8bc
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  89ea8bc

  Copy full SHA for 89ea8bc

• [infra] Update yojson and fix deprecations

  Show description for 39dce88
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  39dce88

  Copy full SHA for 39dce88

Commits on Jul 5, 2019

• [sledge] [summaries] Fix variable naming bugs

  Show description for c5f261e
  

  kren1

  authored and

  facebook-github-bot

  committed
  c5f261e

  Copy full SHA for c5f261e

• Change ProcData to have a summary instead of a proc_desc

  Show description for fa1bcbe
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  fa1bcbe

  Copy full SHA for fa1bcbe

Commits on Jul 4, 2019

• Remove proc_desc from iterate_procedure_callbacks

  Show description for bd1c3de
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  bd1c3de

  Copy full SHA for bd1c3de

• Remove proc_desc from proc_callback_args

  Show description for 13c2c84
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  13c2c84

  Copy full SHA for 13c2c84

• [hil] class constant types

  Show description for ae4f756
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  ae4f756

  Copy full SHA for ae4f756

Commits on Jul 3, 2019

• delete ownership checker

  Show description for c89a8d3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c89a8d3

  Copy full SHA for c89a8d3

• Remove analyze_proc callback in ondemand.ml

  Show description for bc208ee
  

  Phoebe Nichols

  authored and

  facebook-github-bot

  committed
  bc208ee

  Copy full SHA for bc208ee

• [clang] remove 3 year obsolete TODO

  Show description for a3086cb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a3086cb

  Copy full SHA for a3086cb

• Compatibility with javalib 3.0

  Show description for 95e90f7
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  95e90f7

  Copy full SHA for 95e90f7

Commits on Jul 2, 2019

• [clang] fix translation of `initListExpr` again

  Show description for e803a30
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e803a30

  Copy full SHA for e803a30

• [pulse] run tests against C++17

  Show description for 14ce445
  

  jvillard

  authored and

  facebook-github-bot

  committed
  14ce445

  Copy full SHA for 14ce445

• Use xcrun to find SDK paths on OSX host during configure

  Show description for 7792c02
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  7792c02

  Copy full SHA for 7792c02

Pagination

Previous

Next