Commits

Branch selector

 3947396

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 1, 2017

• [make] only compile infer by default

  Show description for 3947396
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3947396

  Copy full SHA for 3947396

• [linters] Improve to_string method for boxed values

  Show description for 00c1b35
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  00c1b35

  Copy full SHA for 00c1b35

• [linters] Improve the to_string method for string constants

  Show description for d0858c7
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  d0858c7

  Copy full SHA for d0858c7

Commits on Jul 31, 2017

• [infer][backend] No longer swallow the process failures unless --keep-going is passed from the command line

  Show description for a292620
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  a292620

  Copy full SHA for a292620

• [inferbo] Remove temporary logical variables

  Show description for 5ea80fd
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  5ea80fd

  Copy full SHA for 5ea80fd

• [infer][biabduction] simplify the symbolic execution of the execute load instruction

  Show description for 53278f7
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  53278f7

  Copy full SHA for 53278f7

• [infer][build] enable the OCaml compiler unused value declaration warning

  Show description for 7680c83
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  7680c83

  Copy full SHA for 7680c83

• [thread-safety] relax treatment of array aliasing

  Show description for c6ee53d
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  c6ee53d

  Copy full SHA for c6ee53d

• [CLI] always pass --issues-txt to the report hook script

  Show description for 854b8f3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  854b8f3

  Copy full SHA for 854b8f3

• [clang] correct sizeof info

  Show description for fe01f47
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fe01f47

  Copy full SHA for fe01f47

• [make] move inferTraceBugs tests to build systems, hide more output

  Show description for 0793e0f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0793e0f

  Copy full SHA for 0793e0f

• [thread-safety] track container reads and report read/write races

  Show description for 6b792e0
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6b792e0

  Copy full SHA for 6b792e0

• [report-hook] take location of bugs.txt from the command line

  Show description for 0bd5ef8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0bd5ef8

  Copy full SHA for 0bd5ef8

• [reportdiff] allow "current" and "previous" to be specified in any order and among other fields in file_renamings.json

  Show description for cfecff0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  cfecff0

  Copy full SHA for cfecff0

• [wibble] driver_mode -> mode in Driver module

  Show description for 0c7f08d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0c7f08d

  Copy full SHA for 0c7f08d

• [diff] make use of --changed-file-index

  Show description for 833b093
  

  jvillard

  authored and

  facebook-github-bot

  committed
  833b093

  Copy full SHA for 833b093

• [diff] set reactive when infer-diff is invoked

  Show description for a5393e9
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a5393e9

  Copy full SHA for a5393e9

• [diff] run driver prologue and epilogue before diff analysis

  Show description for 3c215b8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3c215b8

  Copy full SHA for 3c215b8

Commits on Jul 29, 2017

• [infer][differential] remove the option to prevent the conflicts between Eradicate and Biabduction

  Show description for e0ad3a9
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  e0ad3a9

  Copy full SHA for e0ad3a9

• [infer][backend] remove unused code

  Show description for f2cb85e
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  f2cb85e

  Copy full SHA for f2cb85e

Commits on Jul 28, 2017

• [absint] add widening threshold to crash hard in the face of likely divergence

  Show description for 8fde270
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  8fde270

  Copy full SHA for 8fde270

• [clang] Disable -fembed-bitcode

  Show description for b36eaa2
  

  jberdine

  authored and

  facebook-github-bot

  committed
  b36eaa2

  Copy full SHA for b36eaa2

• [build] fix clang and java-only tests

  Show description for fa1c89a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fa1c89a

  Copy full SHA for fa1c89a

• [make] kill PATH hack

  Show description for 4792e37
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4792e37

  Copy full SHA for 4792e37

Commits on Jul 27, 2017

• [cleanup] remove unused param from supertype_find_map_opt

  Show description for c2acc67
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  c2acc67

  Copy full SHA for c2acc67

• Whitelist more iterator-related functions and classes

  Show description for f658690
  

  grievejia

  authored and

  facebook-github-bot

  committed
  f658690

  Copy full SHA for f658690

• [thread-safety] fix understanding of non-atomic writes to doubles/longs

  Show description for 1b35411
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  1b35411

  Copy full SHA for 1b35411

• [obj-c] don't warn that self might be null

  Show description for 8ab998a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  8ab998a

  Copy full SHA for 8ab998a

• [java] translate final keyword as annotation

  Show description for e43090b
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  e43090b

  Copy full SHA for e43090b

• Oversized shift no longer produce an assertion failure

  Show description for 7642d86
  

  grievejia

  authored and

  facebook-github-bot

  committed
  7642d86

  Copy full SHA for 7642d86

• [infer][PR] Flush output after printing bugs in txt format.

  Show description for e52b3f2
  

  rgrig

  authored and

  facebook-github-bot

  committed
  e52b3f2

  Copy full SHA for e52b3f2

• [python] kill unused --android-harness option

  Show description for ed0da85
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ed0da85

  Copy full SHA for ed0da85

• [buck] check in buckversion files

  Show description for 7c62be8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7c62be8

  Copy full SHA for 7c62be8

• bump version: 0.12.0 -> 0.13.0

  Show description for 46199bb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  46199bb

  Copy full SHA for 46199bb

Commits on Jul 26, 2017

• [thread-safety] refactoring to make it easier to add container reads

  Show description for df3590c
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  df3590c

  Copy full SHA for df3590c

Pagination

Previous

Next