Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 29, 2019

• [sledge] Add APRON-backed Interval abstract domain

  Show description for 50b60bc
  

  bennostein

  authored and

  facebook-github-bot

  committed
  50b60bc

  Copy full SHA for 50b60bc

• copy byte/binary executables even if no files have changed

  Show description for 0c10f72
  

  martintrojer

  authored and

  facebook-github-bot

  committed
  0c10f72

  Copy full SHA for 0c10f72

• [starvation] make summary a proper subset of abstract state

  Show description for 4a9b21f
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  4a9b21f

  Copy full SHA for 4a9b21f

Commits on Oct 28, 2019

• [nullsafe] Primitive types are always Nonnull

  Show description for f9b0d06
  

  mityal

  authored and

  facebook-github-bot

  committed
  f9b0d06

  Copy full SHA for f9b0d06

• [inferbo] Add and use SafeInvertedMap

  Show description for 0d1d3dc
  

  skcho

  authored and

  facebook-github-bot

  committed
  0d1d3dc

  Copy full SHA for 0d1d3dc

• [inferbo] Forget size alias when size changed in model

  Show description for 65c25cf
  

  skcho

  authored and

  facebook-github-bot

  committed
  65c25cf

  Copy full SHA for 65c25cf

• [cost] Fix function name matching

  Show description for 96668ed
  

  skcho

  authored and

  facebook-github-bot

  committed
  96668ed

  Copy full SHA for 96668ed

• [starvation] unify reporting and split model matchers into models module

  Show description for 3cb13bb
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  3cb13bb

  Copy full SHA for 3cb13bb

• [starvation] push thread status inside critical pairs

  Show description for 2b27a8f
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  2b27a8f

  Copy full SHA for 2b27a8f

Commits on Oct 25, 2019

• [pulse][minor] reduce code duplication for attribute "getters"

  Show description for 127ba72
  

  jvillard

  authored and

  facebook-github-bot

  committed
  127ba72

  Copy full SHA for 127ba72

• [test determinator] Run test determinator with the buck compilation database flag

  Show description for 4e7c794
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  4e7c794

  Copy full SHA for 4e7c794

• [pulse][minor] refactor `check_valid` to expose `abduce_attribute`

  Show description for 0f62565
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0f62565

  Copy full SHA for 0f62565

• [pulse] no need to expose `PulseOperations.TBool`

  Show description for b6a343f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b6a343f

  Copy full SHA for b6a343f

• [pulse][trivial] unused module open

  Show description for 991685d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  991685d

  Copy full SHA for 991685d

Commits on Oct 24, 2019

• [inferbo] Avoid top value on unknown non-static function call

  Show description for 480f99c
  

  skcho

  authored and

  facebook-github-bot

  committed
  480f99c

  Copy full SHA for 480f99c

• [nullsafe] Make Strict mode respect static methods

  Show description for 0f1187a
  

  mityal

  authored and

  facebook-github-bot

  committed
  0f1187a

  Copy full SHA for 0f1187a

• [impurity] Start checking equivalence at materialized addresses in pre

  Show description for 6781ba3
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  6781ba3

  Copy full SHA for 6781ba3

• [sledge sem] Add proof of bit cast implementation

  Show description for 9f0fdd3
  

  Scott Owens

  authored and

  facebook-github-bot

  committed
  9f0fdd3

  Copy full SHA for 9f0fdd3

• [sledge sem] Implement and verify cast expressions

  Show description for e9296d3
  

  Scott Owens

  authored and

  facebook-github-bot

  committed
  e9296d3

  Copy full SHA for e9296d3

• [sledge sem] Refactor inductive definitions a bit

  Show description for 8602489
  

  Scott Owens

  authored and

  facebook-github-bot

  committed
  8602489

  Copy full SHA for 8602489

• [sledge sem] Make proof progress on phi instructions

  Show description for 573f0d8
  

  Scott Owens

  authored and

  facebook-github-bot

  committed
  573f0d8

  Copy full SHA for 573f0d8

• [sledge sem] Prove the Load and Store cases (mostly)

  Show description for 0a35b1d
  

  Scott Owens

  authored and

  facebook-github-bot

  committed
  0a35b1d

  Copy full SHA for 0a35b1d

Commits on Oct 23, 2019

• [nullsafe] nit: small change in the signature for over-annotated rule

  Show description for 64c5530
  

  mityal

  authored and

  facebook-github-bot

  committed
  64c5530

  Copy full SHA for 64c5530

Commits on Oct 22, 2019

• [test determinator] Merge test determinator results under buck capture all flavours, add test

  Show description for d001db1
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  d001db1

  Copy full SHA for d001db1

Commits on Oct 21, 2019

• [required-props] Track create methods

  Show description for 75a18b5
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  75a18b5

  Copy full SHA for 75a18b5

• [required-props] Add new FPs

  Show description for 02f747a
  

  ezgicicek

  authored and

  facebook-github-bot

  committed
  02f747a

  Copy full SHA for 02f747a

• [annotations] Add a README with a build instruction for maven

  Show description for 8f52ddc
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  8f52ddc

  Copy full SHA for 8f52ddc

• [annotations] Specify javac source and target level to 1.7 in pom.xml

  Show description for 3907f0a
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  3907f0a

  Copy full SHA for 3907f0a

• [test determinator] Match Blocks, add test

  Show description for 7565c3b
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  7565c3b

  Copy full SHA for 7565c3b

• [nullsafe] Restrict usage of StrictNullsafe annotations to currently supported modes

  Show description for 834c2a4
  

  mityal

  authored and

  facebook-github-bot

  committed
  834c2a4

  Copy full SHA for 834c2a4

• [nullsafe] Introduce Strict mode

  Show description for 6511b20
  

  mityal

  authored and

  facebook-github-bot

  committed
  6511b20

  Copy full SHA for 6511b20

• [nullsafe] Introduce DeclaredNonnull

  Show description for 4d52e87
  

  mityal

  authored and

  facebook-github-bot

  committed
  4d52e87

  Copy full SHA for 4d52e87

• [nullsafe] Consolidate logic specific to particular rules in dedicated modules

  Show description for 681f853
  

  mityal

  authored and

  facebook-github-bot

  committed
  681f853

  Copy full SHA for 681f853

• [nullsafe] Unify issue types

  Show description for 92f765a
  

  mityal

  authored and

  facebook-github-bot

  committed
  92f765a

  Copy full SHA for 92f765a

• [nullsafe] Simplify signature of InferredNullability.join

  Show description for 46ae358
  

  mityal

  authored and

  facebook-github-bot

  committed
  46ae358

  Copy full SHA for 46ae358

Pagination

Previous

Next