Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 8, 2019

• [inferbo] Ignore encoding error in the snprintf model

  

  skcho

  authored and

  facebook-github-bot

  committedJan 8, 2019
  d5faf2d

Commits on Jan 7, 2019

• [infer] ignore the visibility field when creating the HTML reports

  

  jeremydubreil

  authored and

  facebook-github-bot

  committedJan 7, 2019
  be4c5aa

• [inferbo] Add model of String::operator==

  

  skcho

  authored and

  facebook-github-bot

  committedJan 7, 2019
  05ceaeb

• [infer] Fix test script (build_utf8_in_pwd_test)

  

  skcho

  authored and

  facebook-github-bot

  committedJan 7, 2019
  5c1b862

• [infer] Fix filename to relative

  

  skcho

  authored and

  facebook-github-bot

  committedJan 7, 2019
  7f70251

Commits on Jan 4, 2019

• [inferbo] Add model of String::length

  

  skcho

  authored and

  facebook-github-bot

  committedJan 4, 2019
  0e5a902

Commits on Jan 3, 2019

• [logging] Simplified and faster debug

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  7ba4386

• Logging: Fix delayed prints

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  a726c34

• Io_infer.with_color

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  5df1167

• Prune_node_kind: sum type rather than string

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  1fa4599

• HTML Printer: simplify start node & other things

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  39207a6

• Logging: higher-order color wrapper

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  e53d3b9

• Logging: Simplify d_instrs

  

  mbouaziz

  authored and

  facebook-github-bot

  committedJan 3, 2019
  908e1ab

• [pulse] split PulseDomain.ml

  

  jvillard

  authored and

  facebook-github-bot

  committedJan 3, 2019
  11eca94

• [pulse] add traces to the domain

  

  jvillard

  authored and

  facebook-github-bot

  committedJan 3, 2019
  4c1ee2a

• [pulse] better pretty-printing of stacks

  

  jvillard

  authored and

  facebook-github-bot

  committedJan 3, 2019
  d9978bb

• [inferbo] Add model of String::empty

  

  skcho

  authored and

  facebook-github-bot

  committedJan 3, 2019
  b84c519

• [inferbo] Add model of basic_string

  

  skcho

  authored and

  facebook-github-bot

  committedJan 3, 2019
  196a602

Commits on Jan 2, 2019

• [inferbo] Substitute conditions of proof obligations strictly

  

  skcho

  authored and

  facebook-github-bot

  committedJan 2, 2019
  0f8444e

• [inferbo] Prune (p=null)

  

  skcho

  authored and

  facebook-github-bot

  committedJan 2, 2019
  6a8f389

Commits on Dec 30, 2018

• [inferbo] Symbols for one value

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 30, 2018
  5616940

Commits on Dec 24, 2018

• [inferbo] Do not compare deref_kind

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 24, 2018
  5ce86a1

Commits on Dec 23, 2018

• [Hil] Fix failure in exception node

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 23, 2018
  5d1a213

Commits on Dec 22, 2018

• [cost] The first cost model is a log

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 22, 2018
  85bab87

• [inferbo] Do not expose unsafe Itv.lb/ub

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 22, 2018
  2ebbf55

Commits on Dec 21, 2018

• [racerd] move models and domain operations to respective source files

  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committedDec 21, 2018
  ddc15ad

• [racerd] strip down domain interface

  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committedDec 21, 2018
  11373c8

• [HIL] Preserve ExitScope location information in the translation from SIL

  

  da319

  authored and

  facebook-github-bot

  committedDec 21, 2018
  c09068e

• [inferbo] XML escape in L.d_printfln

  

  skcho

  authored and

  facebook-github-bot

  committedDec 21, 2018
  a48421a

• [racerd] fix bug in ownership transitivity

  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committedDec 21, 2018
  002e470

Commits on Dec 20, 2018

• [opam] correct use of --locked

  

  jvillard

  authored and

  facebook-github-bot

  committedDec 20, 2018
  d260079

• [inferbo] Model Java collections using arrays

  

  mbouaziz

  authored and

  facebook-github-bot

  committedDec 20, 2018
  33aa073

• [racerd] properly recognize all non-source variables

  

  Nikos Gorogiannis

  authored and

  facebook-github-bot

  committedDec 20, 2018
  b50f56d

• [nullsafe][android] stop the analysis if there is no source file to analyze

  

  jeremydubreil

  authored and

  facebook-github-bot

  committedDec 20, 2018
  846d6fa

Commits on Dec 19, 2018

• [pulse] Fix operator= case with temporaries

  

  da319

  authored and

  facebook-github-bot

  committedDec 19, 2018
  2a139a2

Pagination

PreviousNext