Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 24, 2018

• [uninit] Initialize indirect function call arguments of pointer type

  Show description for c47071f
  

  da319

  authored and

  facebook-github-bot

  committed
  c47071f

  Copy full SHA for c47071f

Commits on May 23, 2018

• [Test determinator] Add tests

  Show description for c7c6834
  

  martinoluca

  authored and

  facebook-github-bot

  committed
  c7c6834

  Copy full SHA for c7c6834

Commits on May 21, 2018

• [make] do not install clang archive libraries

  Show description for fe7e016
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fe7e016

  Copy full SHA for fe7e016

• [make] do not delete /usr/bin/infer* on uninstall

  Show description for 789144c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  789144c

  Copy full SHA for 789144c

• [fcp] strip clang build as we go on Linux

  Show description for 3c2ad1d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3c2ad1d

  Copy full SHA for 3c2ad1d

Commits on May 16, 2018

• [racerd] make locals in Java owned, plus stop reporting on temps/logical vars

  Show description for 9cddbd7
  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committed
  9cddbd7

  Copy full SHA for 9cddbd7

Commits on May 9, 2018

• [make] fix toplevel

  Show description for 9a9d199
  

  jvillard

  authored and

  facebook-github-bot

  committed
  9a9d199

  Copy full SHA for 9a9d199

Commits on May 2, 2018

• Added array test where we get TOP

  Show description for dbc8f29
  

  ddino

  authored and

  facebook-github-bot

  committed
  dbc8f29

  Copy full SHA for dbc8f29

Commits on May 1, 2018

• Added predicate for C++ copy constructors

  Show description for d4337ab
  

  ddino

  authored and

  facebook-github-bot

  committed
  d4337ab

  Copy full SHA for d4337ab

Commits on Apr 19, 2018

• [travis] fix travis and install

  Show description for c8f2125
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c8f2125

  Copy full SHA for c8f2125

Commits on Apr 18, 2018

• [ocamlformat] Upgrade to ocamlformat 0.5

  Show description for 16988b0
  

  jberdine

  authored and

  facebook-github-bot

  committed
  16988b0

  Copy full SHA for 16988b0

Commits on Apr 16, 2018

• [makefile] New target for running clang plugin tests

  Show description for 8f74e64
  

  da319

  authored and

  facebook-github-bot

  committed
  8f74e64

  Copy full SHA for 8f74e64

Commits on Apr 13, 2018

• [make] fix install for xargs on osx

  Show description for 0820b5e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0820b5e

  Copy full SHA for 0820b5e

• [make] fix make devsetup

  Show description for 62da9a8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  62da9a8

  Copy full SHA for 62da9a8

Commits on Apr 12, 2018

• [make] restore output of errors

  Show description for 05152e3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  05152e3

  Copy full SHA for 05152e3

• [make] make sure no command fails

  Show description for f1bcb91
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f1bcb91

  Copy full SHA for f1bcb91

Commits on Apr 6, 2018

• [test] do not run the dead code analysis as part of the tests

  Show description for 6cf7417
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6cf7417

  Copy full SHA for 6cf7417

Commits on Apr 4, 2018

• [ownership] handle new kinds of access expressions

  Show description for 9180ff5
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  9180ff5

  Copy full SHA for 9180ff5

Commits on Mar 27, 2018

• [deadlock] rebrand to starvation

  Show description for b335fb9
  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committed
  b335fb9

  Copy full SHA for b335fb9

Commits on Mar 25, 2018

• Makefile: add target direct_c_performance_test

  Show description for 9211388
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  9211388

  Copy full SHA for 9211388

Commits on Mar 21, 2018

• upgrade ocaml version to 4.06.1

  Show description for 5014e7d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5014e7d

  Copy full SHA for 5014e7d

Commits on Mar 14, 2018

• [deadlock] regression tests

  Show description for 484480f
  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committed
  484480f

  Copy full SHA for 484480f

Commits on Feb 23, 2018

• [test] avoid race condition in racerd tests

  Show description for a58b3a4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a58b3a4

  Copy full SHA for a58b3a4

Commits on Feb 22, 2018

• [fix] rename racerd_path_stability -> stability

  Show description for dbc8a4a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  dbc8a4a

  Copy full SHA for dbc8a4a

• [racerd] skeleton for testing access path stability

  Show description for 4799fb6
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  4799fb6

  Copy full SHA for 4799fb6

Commits on Feb 1, 2018

• Revert occurence counting change

  Show description for 71a3843
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  71a3843

  Copy full SHA for 71a3843

Commits on Jan 30, 2018

• [make][dev] install gnu-sed on osx

  Show description for 5d1e889
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5d1e889

  Copy full SHA for 5d1e889

Commits on Jan 29, 2018

• [tests] kill some new dead code

  Show description for 4a71067
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4a71067

  Copy full SHA for 4a71067

Commits on Jan 26, 2018

• [infer][bug hash] take the number of occurences of a report into account

  Show description for 96ca6b6
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  96ca6b6

  Copy full SHA for 96ca6b6

Commits on Jan 22, 2018

• [make] fewer phony dependencies

  Show description for 0ff4a1a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0ff4a1a

  Copy full SHA for 0ff4a1a

Commits on Jan 3, 2018

• [infer][nullable checkers] move the tests for the nullable checker in a dedicated subdirectory

  Show description for f50c7b4
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  f50c7b4

  Copy full SHA for f50c7b4

Commits on Dec 28, 2017

• [ocamlformat] Upgrade base and ocamlformat

  Show description for 63439ec
  

  jberdine

  authored and

  facebook-github-bot

  committed
  63439ec

  Copy full SHA for 63439ec

Commits on Dec 21, 2017

• First extension to uninit inter-procedural analysis

  Show description for d83a944
  

  ddino

  authored and

  facebook-github-bot

  committed
  d83a944

  Copy full SHA for d83a944

Commits on Dec 15, 2017

• [infer][nullable checker] avoid reporting the nullable violations that are already reported by the biabduction analysis

  Show description for 32deab8
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  32deab8

  Copy full SHA for 32deab8

Commits on Dec 14, 2017

• [make] add toplevel target to build and start the toplevel

  Show description for 26f27fe
  

  jvillard

  authored and

  facebook-github-bot

  committed
  26f27fe

  Copy full SHA for 26f27fe

Pagination

Previous

Next