Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 27, 2017

• [infer][objc] Run the biabduction test using the checkers analyzer

  Show description for 3c09ae9
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  3c09ae9

  Copy full SHA for 3c09ae9

• [cleanup] Do not create captured folders when only linting

  Show description for de162c8
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  de162c8

  Copy full SHA for de162c8

• [linters] Add transition to parameters by position in the parameters list

  Show description for 652af47
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  652af47

  Copy full SHA for 652af47

• New test for the tableaux method.

  Show description for d694038
  

  ddino

  authored and

  facebook-github-bot

  committed
  d694038

  Copy full SHA for d694038

• [stats] Emit the stats only in developer mode

  Show description for 0212aaf
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  0212aaf

  Copy full SHA for 0212aaf

• [infer][clang] run the C++ tests using the checkers analyzer

  Show description for ba6ef4f
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  ba6ef4f

  Copy full SHA for ba6ef4f

• [infer][test] the ThreadSafety cpp tests should not run in debug mode

  Show description for 5e18a19
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  5e18a19

  Copy full SHA for 5e18a19

Commits on Sep 26, 2017

• [infer][java] add support for @Nonnull on skipped functions

  Show description for a7e6ba7
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  a7e6ba7

  Copy full SHA for a7e6ba7

• [infer][java] no longer combine the type environment with the type environment of the models

  Show description for e17e157
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  e17e157

  Copy full SHA for e17e157

• [checkers] make get_proc_desc usable from cluster checkers

  Show description for dfc1537
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  dfc1537

  Copy full SHA for dfc1537

• [infer] Add an option to specify the name of the nullable annotation

  Show description for 243fd57
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  243fd57

  Copy full SHA for 243fd57

• [log] Even better exception reraising

  Show description for bb15aba
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  bb15aba

  Copy full SHA for bb15aba

• [infer][cleanup] remove old Eclipse project files

  Show description for f05cc63
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  f05cc63

  Copy full SHA for f05cc63

• [infer][objc] example of nullable annotation suggestion on Objective C

  Show description for 14d0162
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  14d0162

  Copy full SHA for 14d0162

• [Inferbo] Extend abstract domain for vector::empty

  Show description for 9f9dbdb
  

  skcho

  authored and

  facebook-github-bot

  committed
  9f9dbdb

  Copy full SHA for 9f9dbdb

Commits on Sep 25, 2017

• [clang] Support the new @available expression in ObjC in the unavailable API check

  Show description for 234d362
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  234d362

  Copy full SHA for 234d362

• [clang] update clang plugin to hash mangled names

  Show description for abee644
  

  jvillard

  authored and

  facebook-github-bot

  committed
  abee644

  Copy full SHA for abee644

• [clang] update clang plugin to hash mangled names

  Show description for d72577f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d72577f

  Copy full SHA for d72577f

• [clang] do without unstructured type strings

  Show description for cb8e75b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  cb8e75b

  Copy full SHA for cb8e75b

Commits on Sep 22, 2017

• [cleanup] remove some needless language checks in checkers callbacks

  Show description for ece8678
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  ece8678

  Copy full SHA for ece8678

• [cleanup] remove some needless language checks in checkers callbacks

  Show description for 39a71d6
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  39a71d6

  Copy full SHA for 39a71d6

• [cleanup] remove Idenv from checkers callbacks

  Show description for 18a9e52
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  18a9e52

  Copy full SHA for 18a9e52

• [checkers] move aggregation by class out of cluster checker callbacks

  Show description for 6a76bc6
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6a76bc6

  Copy full SHA for 6a76bc6

• [make] do not accidentally build the -O3 infer when running `make test_build`

  Show description for f1b97d5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f1b97d5

  Copy full SHA for f1b97d5

• [exceptions] make more efforts to preserve backtraces

  Show description for e02f6ab
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e02f6ab

  Copy full SHA for e02f6ab

• [infer][java] transfer the resource ownership to the container when sorting a Closeable into a HashMap

  Show description for 4c88e98
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  4c88e98

  Copy full SHA for 4c88e98

• [infer][java] no longer report the resource leaks when using the tracing mode

  Show description for 8740e8a
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  8740e8a

  Copy full SHA for 8740e8a

• [infer][java] modeling more methods for HashMap

  Show description for 2f0068d
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  2f0068d

  Copy full SHA for 2f0068d

Commits on Sep 21, 2017

• [infer][biabduction] remove the flag to trigger on/off the angelic mode in the backend

  Show description for 7b8c46a
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  7b8c46a

  Copy full SHA for 7b8c46a

• [absint] make InvertedSet/InvertedMap functors consistent non-inverted versions

  Show description for 45dbb42
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  45dbb42

  Copy full SHA for 45dbb42

• [thread-safety] support assertOnBackgroundThread and similar

  Show description for ca51c72
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  ca51c72

  Copy full SHA for ca51c72

• [thread-safety] new threads domain

  Show description for 1e605bd
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  1e605bd

  Copy full SHA for 1e605bd

• [thread-safety] separate warning type for interfaces called in non-threadsafe context

  Show description for b3e8e97
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  b3e8e97

  Copy full SHA for b3e8e97

• [make] print build_mode to console

  Show description for a706b8a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a706b8a

  Copy full SHA for a706b8a

• [thread-safety] gate de-duplication with Config.filtering

  Show description for f93e500
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  f93e500

  Copy full SHA for f93e500

Pagination

Previous

Next