Commits

Branch selector

 master

User selector

jvillard

Datepicker

All time

Commit History

Commits on Apr 27, 2020

• delete ondemand capture

  Show description for 44108c2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  44108c2

  Copy full SHA for 44108c2

Commits on Apr 22, 2020

• [AI] improve disjunctive domain

  Show description for 3332dc1
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3332dc1

  Copy full SHA for 3332dc1

• [AI] move disjunctive scheduling to AbstractInterpreter

  Show description for edba795
  

  jvillard

  authored and

  facebook-github-bot

  committed
  edba795

  Copy full SHA for edba795

• [AI] light internal refactoring of the scheduler

  Show description for 60184a5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  60184a5

  Copy full SHA for 60184a5

• [IR] Instrs.empty and Instrs.singleton have both directions

  Show description for 401ecc2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  401ecc2

  Copy full SHA for 401ecc2

Commits on Apr 20, 2020

• [pudge] only ask unsat when reporting

  Show description for 50feb54
  

  jvillard

  authored and

  facebook-github-bot

  committed
  50feb54

  Copy full SHA for 50feb54

• [pudge] lazily compute sledge stuff

  Show description for 822a78c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  822a78c

  Copy full SHA for 822a78c

• [pulse] add a cache of constants to equate them

  Show description for 3220804
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3220804

  Copy full SHA for 3220804

Commits on Apr 17, 2020

• [pudge] spit out sledge replay tests

  Show description for 36f44f0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  36f44f0

  Copy full SHA for 36f44f0

• [pudge] it's alive!

  Show description for 7a88817
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7a88817

  Copy full SHA for 7a88817

• [pudge] Add a dependency on the sledge lib

  Show description for ab41305
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ab41305

  Copy full SHA for ab41305

Commits on Apr 15, 2020

• [pulse] unified API for arithmetic

  Show description for 6247437
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6247437

  Copy full SHA for 6247437

• [pulse][minor] rename AbductiveDomain.Domain -> AbductiveDomain.PostDomain

  Show description for 0a8ad85
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0a8ad85

  Copy full SHA for 0a8ad85

• [pulse][minor] remove skipped_calls getter

  Show description for af2aaf2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  af2aaf2

  Copy full SHA for af2aaf2

• [pulse] enforce short forms for PulseDomainInterface

  Show description for bb9726b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bb9726b

  Copy full SHA for bb9726b

• [pulse] enforce short forms for PulseBasicInterface

  Show description for 94e3b06
  

  jvillard

  authored and

  facebook-github-bot

  committed
  94e3b06

  Copy full SHA for 94e3b06

• [pulse] move SkippedCalls to its own file

  Show description for a0d1fee
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a0d1fee

  Copy full SHA for a0d1fee

• [pulse] move interproc call to its own file

  Show description for c00de7a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c00de7a

  Copy full SHA for c00de7a

• [pulse][minor] simplify rewriting of callee post attributes

  Show description for 9ed10d4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  9ed10d4

  Copy full SHA for 9ed10d4

Commits on Apr 14, 2020

• [infer-out][9/9] migrate everything else

  Show description for 89fd5db
  

  jvillard

  authored and

  facebook-github-bot

  committed
  89fd5db

  Copy full SHA for 89fd5db

• [infer-out][8/9] kill --test-determinator-output

  Show description for 8f74e4a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8f74e4a

  Copy full SHA for 8f74e4a

• [infer-out][7/9] kill --export-changed-functions-output

  Show description for 7e1f0fd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7e1f0fd

  Copy full SHA for 7e1f0fd

• [infer-out][6/9] kill --log-file option

  Show description for 932d3a3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  932d3a3

  Copy full SHA for 932d3a3

• [infer-out][5/9] migrate "specs"

  Show description for cae160c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  cae160c

  Copy full SHA for cae160c

• [infer-out][4/9] migrate infer-out/tmp/

  Show description for b122eae
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b122eae

  Copy full SHA for b122eae

• [infer-out][3/9] kill proc_stats.json

  Show description for 93bce54
  

  jvillard

  authored and

  facebook-github-bot

  committed
  93bce54

  Copy full SHA for 93bce54

• [infer-out][2/9][trivial] unused unused warning

  Show description for b575ad6
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b575ad6

  Copy full SHA for b575ad6

• [infer-out][1/9] move RunState inside ResultsDir

  Show description for 3256578
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3256578

  Copy full SHA for 3256578

• [models][easy] cleanup summary loading

  Show description for 8d8e0fb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8d8e0fb

  Copy full SHA for 8d8e0fb

• [java] kill ZipLib (aka specs-in-a-jar)

  Show description for 79c5cce
  

  jvillard

  authored and

  facebook-github-bot

  committed
  79c5cce

  Copy full SHA for 79c5cce

• [java] store specs files same as clang models

  Show description for 224e0b7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  224e0b7

  Copy full SHA for 224e0b7

Commits on Apr 9, 2020

• [oss] more flexible way to have opensource stubs

  Show description for bf671af
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bf671af

  Copy full SHA for bf671af

Commits on Apr 8, 2020

• [biabd] cache the list of modelled functions

  Show description for e1d7ce9
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e1d7ce9

  Copy full SHA for e1d7ce9

• [deadcode] more portable find command

  Show description for 7410ceb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7410ceb

  Copy full SHA for 7410ceb

Commits on Apr 7, 2020

• [buck] delete infer-out/tmp/ before caching

  Show description for 1cb973b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1cb973b

  Copy full SHA for 1cb973b

Pagination

Previous

Next