Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 3, 2016

• Adding on-the-fly translation of types during pre-analysis

  Show description for ef3912c
  

  sblackshear

  authored and

  facebook-github-bot-7

  committed
  ef3912c

  Copy full SHA for ef3912c

• Fix collision of spec file names on case insensitive file systems.

  Show description for 5683fd8
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-7

  committed
  5683fd8

  Copy full SHA for 5683fd8

Commits on Feb 2, 2016

• Target JDK 1.7 for annotations and processor jar for Android.

  Show description for ac5f092
  

  Tony Cosentini

  authored and

  facebook-github-bot-5

  committed
  ac5f092

  Copy full SHA for ac5f092

• Enable the analysis of models in on-demand mode.

  Show description for 1b4efcf
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-7

  committed
  1b4efcf

  Copy full SHA for 1b4efcf

• Fix NPE in the annotation processor for SuppressWarnings

  Show description for 8fcd094
  

  jeremydubreil

  authored and

  facebook-github-bot-5

  committed
  8fcd094

  Copy full SHA for 8fcd094

• Ignore type change in DerivedToBase cast

  Show description for 75f4947
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  75f4947

  Copy full SHA for 75f4947

• Use clang for default argument resolution

  Show description for b08aced
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  b08aced

  Copy full SHA for b08aced

• Cleanup handling of global state, and add footprint mode to the values.

  Show description for 1028693
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-7

  committed
  1028693

  Copy full SHA for 1028693

• Refactor the worklist data structures of the intraprocedural algorithm as non-global state.

  Show description for 7a72606
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-1

  committed
  7a72606

  Copy full SHA for 7a72606

• Translate dynamic cast for C++

  Show description for f4bbd44
  

  dulmarod

  authored and

  facebook-github-bot-1

  committed
  f4bbd44

  Copy full SHA for f4bbd44

Commits on Feb 1, 2016

• Add android.app.Service to whitelisted Android initializer classes.

  Show description for 75cca6b
  

  Tony Cosentini

  authored and

  facebook-github-bot-5

  committed
  75cca6b

  Copy full SHA for 75cca6b

• Extending subtyping to C++

  Show description for 10fe998
  

  dulmarod

  authored and

  facebook-github-bot-1

  committed
  10fe998

  Copy full SHA for 10fe998

• adding support for source roots in maven integration

  Show description for 82b1dd0
  

  sblackshear

  authored and

  facebook-github-bot-1

  committed
  82b1dd0

  Copy full SHA for 82b1dd0

• Distinguish between C++ and objc class types

  Show description for 262796d
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  262796d

  Copy full SHA for 262796d

• Translate conversion operators

  Show description for 9d7ab4b
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  9d7ab4b

  Copy full SHA for 9d7ab4b

Commits on Jan 29, 2016

• Exposing java_typ_to_string

  Show description for be86e5d
  

  sblackshear

  authored and

  facebook-github-bot-1

  committed
  be86e5d

  Copy full SHA for be86e5d

• implementing dynamic dispatch support for Java interfaces

  Show description for 14e9342
  

  sblackshear

  authored and

  facebook-github-bot-5

  committed
  14e9342

  Copy full SHA for 14e9342

• Translate reinterpret_cast and const_cast

  Show description for 3dcd649
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  3dcd649

  Copy full SHA for 3dcd649

• Distinguish between class kinds: CPP, Java, Objc

  Show description for 7673d94
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-7

  committed
  7673d94

  Copy full SHA for 7673d94

• Support temporary objects (CXXTemporaryObjectExpr)

  Show description for bdab22a
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-1

  committed
  bdab22a

  Copy full SHA for bdab22a

• Fix return parameter handling

  Show description for 44a6ec4
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-1

  committed
  44a6ec4

  Copy full SHA for 44a6ec4

• Fix issues with html output for debug in on-demand mode.

  Show description for 74dbfd7
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-5

  committed
  74dbfd7

  Copy full SHA for 74dbfd7

Commits on Jan 28, 2016

• Add basic translation of CXXBindTemporaryExpr

  Show description for e329916
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-1

  committed
  e329916

  Copy full SHA for e329916

• Fix build of llvm frontend

  Show description for 0a32c95
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  0a32c95

  Copy full SHA for 0a32c95

• Cleanup code triggering code translation

  Show description for 1fe920c
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  1fe920c

  Copy full SHA for 1fe920c

• Populate return parameter when returning + turn on new feature for C/C++

  Show description for ec80d40
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  ec80d40

  Copy full SHA for ec80d40

• Add information whether translated method has return parameter

  Show description for 61de633
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-5

  committed
  61de633

  Copy full SHA for 61de633

• Add return parameter to function/method call

  Show description for 2c82388
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  2c82388

  Copy full SHA for 2c82388

• Add return parameter to functions returning structs

  Show description for 58be5d0
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  58be5d0

  Copy full SHA for 58be5d0

• simplify the API to create procedure descriptions

  Show description for 18668a4
  

  jeremydubreil

  authored and

  facebook-github-bot-5

  committed
  18668a4

  Copy full SHA for 18668a4

Commits on Jan 27, 2016

• Save space/simplify by deleting Exe.file_map

  Show description for dc0b916
  

  sblackshear

  authored and

  facebook-github-bot-7

  committed
  dc0b916

  Copy full SHA for dc0b916

• check ocaml version in configure script

  Show description for 07d71d2
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  07d71d2

  Copy full SHA for 07d71d2

• suggest correct package name in pin command

  Show description for 099821f
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  099821f

  Copy full SHA for 099821f

Commits on Jan 26, 2016

• Use a record for struct types instead of a 7-tuple.

  Show description for 162dc42
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-1

  committed
  162dc42

  Copy full SHA for 162dc42

• Use init_exp in InitListExpr and CompoundLiteralExpr

  Show description for a317ac3
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  a317ac3

  Copy full SHA for a317ac3

Pagination

Previous

Next