Commits

Branch selector

 master

User selector

jvillard

Datepicker

All time

Commit History

Commits on Jan 14, 2019

• [labs] more instructions

  Show description for 339911b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  339911b

  Copy full SHA for 339911b

• [labs] fiddling

  Show description for 8e4fea7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8e4fea7

  Copy full SHA for 8e4fea7

• [labs] fix Docker command

  Show description for 57451e6
  

  jvillard

  authored and

  facebook-github-bot

  committed
  57451e6

  Copy full SHA for 57451e6

• resource leaks tutorial

  Show description for 16c0c03
  

  jvillard

  authored and

  facebook-github-bot

  committed
  16c0c03

  Copy full SHA for 16c0c03

Commits on Jan 9, 2019

• bump version: 0.15.0 -> 0.16.0

  Show description for 2cf4905
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2cf4905

  Copy full SHA for 2cf4905

Commits on Jan 3, 2019

• [pulse] split PulseDomain.ml

  Show description for 11eca94
  

  jvillard

  authored and

  facebook-github-bot

  committed
  11eca94

  Copy full SHA for 11eca94

• [pulse] add traces to the domain

  Show description for 4c1ee2a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4c1ee2a

  Copy full SHA for 4c1ee2a

• [pulse] better pretty-printing of stacks

  Show description for d9978bb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d9978bb

  Copy full SHA for d9978bb

Commits on Dec 20, 2018

• [opam] correct use of --locked

  Show description for d260079
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d260079

  Copy full SHA for d260079

Commits on Dec 19, 2018

• [pulse] record simple double free test

  Show description for 8d3363f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8d3363f

  Copy full SHA for 8d3363f

Commits on Dec 18, 2018

• [pulse] warn on returning address of C++ temporary

  Show description for 9868f7f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  9868f7f

  Copy full SHA for 9868f7f

• [pulse] detect stack variable address escape

  Show description for db1814b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  db1814b

  Copy full SHA for db1814b

• [pulse] rewrite test to avoid stack variable address escape

  Show description for c77f223
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c77f223

  Copy full SHA for c77f223

• [ownership] make heuristic for reporting on lambdas more shareable

  Show description for 1b79f13
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1b79f13

  Copy full SHA for 1b79f13

• [pulse] rename function that was never a pulse FP

  Show description for 2bb9e5a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2bb9e5a

  Copy full SHA for 2bb9e5a

Commits on Dec 13, 2018

• [opam] bump opam and javalib versions

  Show description for d468e22
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d468e22

  Copy full SHA for d468e22

• [pulse] switch back to having a single abstract address per stack variable and heap location

  Show description for 77179d2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  77179d2

  Copy full SHA for 77179d2

• [pulse] use the disjunctive domain and make it configurable

  Show description for 2a46a54
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2a46a54

  Copy full SHA for 2a46a54

• [HIL][pulse] add disjunctive domain

  Show description for 156f594
  

  jvillard

  authored and

  facebook-github-bot

  committed
  156f594

  Copy full SHA for 156f594

• [pulse] take array indices into account

  Show description for d9a014f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d9a014f

  Copy full SHA for d9a014f

Commits on Dec 12, 2018

• [HIL] simplify some functors around TransferFunctions

  Show description for 26d4a2d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  26d4a2d

  Copy full SHA for 26d4a2d

• [pulse] model lambda captures

  Show description for 65d031a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  65d031a

  Copy full SHA for 65d031a

Commits on Dec 11, 2018

• [pulse] do not destroy this even if asked to

  Show description for 95fab10
  

  jvillard

  authored and

  facebook-github-bot

  committed
  95fab10

  Copy full SHA for 95fab10

Commits on Dec 10, 2018

• [HIL][4/4] array offsets are now HilExp.t

  Show description for 92c06e4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  92c06e4

  Copy full SHA for 92c06e4

• [HIL][3/4] remove compatibility AccessExpression.ml

  Show description for 1ee5877
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1ee5877

  Copy full SHA for 1ee5877

• [HIL][2/4] move AccessExpression into HilExp

  Show description for d59e6ac
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d59e6ac

  Copy full SHA for d59e6ac

• [HIL][1/4] make Access.t polymorphic in the array access

  Show description for c89f7dc
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c89f7dc

  Copy full SHA for c89f7dc

Commits on Nov 27, 2018

• [ios] kill flaky linter test

  Show description for 9510549
  

  jvillard

  authored and

  facebook-github-bot

  committed
  9510549

  Copy full SHA for 9510549

• [pulse] remove nullptr model

  Show description for ecbe8ec
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ecbe8ec

  Copy full SHA for ecbe8ec

• [SIL][preanalysis] add call flag for functions treating first formal as return

  Show description for 1c668c4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1c668c4

  Copy full SHA for 1c668c4

• [HIL] Add ExitScope instruction

  Show description for f3411a2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f3411a2

  Copy full SHA for f3411a2

• [pulse] add non-passing tests about join

  Show description for 0b2dcbf
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0b2dcbf

  Copy full SHA for 0b2dcbf

• [ai][pulse] fix minor html indentation issues

  Show description for e3b4a13
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e3b4a13

  Copy full SHA for e3b4a13

• [preanalysis] do not delay killing variables taken by reference

  Show description for 55586b5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  55586b5

  Copy full SHA for 55586b5

Commits on Nov 26, 2018

• [travis] fix osx build

  Show description for 4393f43
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4393f43

  Copy full SHA for 4393f43

Pagination

Previous

Next