Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 2, 2021

• [sourcefile] die on extension of invalid file

  Show description for 68356a4
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  68356a4

  Copy full SHA for 68356a4

• [sledge] Add concurrency analysis

  Show description for 268015f
  

  jberdine

  authored and

  facebook-github-bot

  committed
  268015f

  Copy full SHA for 268015f

• [sledge] Rework Control to use an explicit abstract machine state

  Show description for 347887e
  

  jberdine

  authored and

  facebook-github-bot

  committed
  347887e

  Copy full SHA for 347887e

• [sledge] Rename joinable to equal_destination

  Show description for 5a4f3b4
  

  jberdine

  authored and

  facebook-github-bot

  committed
  5a4f3b4

  Copy full SHA for 5a4f3b4

• [sledge] Simplify Control.resolve_callee

  Show description for bcd1e1e
  

  jberdine

  authored and

  facebook-github-bot

  committed
  bcd1e1e

  Copy full SHA for bcd1e1e

• [sledge] Simplify Control.exec_call

  Show description for 827e2b3
  

  jberdine

  authored and

  facebook-github-bot

  committed
  827e2b3

  Copy full SHA for 827e2b3

• [sledge] Add type for instruction pointers and use in Control

  Show description for f5c6a5a
  

  jberdine

  authored and

  facebook-github-bot

  committed
  f5c6a5a

  Copy full SHA for f5c6a5a

• [sledge] Add n-ary join to Domain and use in analysis

  Show description for e43582b
  

  jberdine

  authored and

  facebook-github-bot

  committed
  e43582b

  Copy full SHA for e43582b

• [sledge] Memoize reg to var translation

  Show description for e8890c7
  

  jberdine

  authored and

  facebook-github-bot

  committed
  e8890c7

  Copy full SHA for e8890c7

Commits on Jul 1, 2021

• [sledge] Minor improvement of Sh printing

  Show description for 9150290
  

  jberdine

  authored and

  facebook-github-bot

  committed
  9150290

  Copy full SHA for 9150290

• [sledge] Global initializers do not contain registers

  Show description for ee4bb29
  

  jberdine

  authored and

  facebook-github-bot

  committed
  ee4bb29

  Copy full SHA for ee4bb29

• [erl-frontend] First Erlang test with warnings

  Show description for 063ddb5
  

  rgrig

  authored and

  facebook-github-bot

  committed
  063ddb5

  Copy full SHA for 063ddb5

• [sledge] Add Ord.( @? ) to lexicographically compose compare functions

  Show description for 7bb2e67
  

  jberdine

  authored and

  facebook-github-bot

  committed
  7bb2e67

  Copy full SHA for 7bb2e67

• [sledge] Add Set.pop_min_elt_exn

  Show description for 37aa015
  

  jberdine

  authored and

  facebook-github-bot

  committed
  37aa015

  Copy full SHA for 37aa015

• [sledge] Add Map.max_binding_exn

  Show description for ec8ba5a
  

  jberdine

  authored and

  facebook-github-bot

  committed
  ec8ba5a

  Copy full SHA for ec8ba5a

• [sledge] Add List.foldi

  Show description for df4ce19
  

  jberdine

  authored and

  facebook-github-bot

  committed
  df4ce19

  Copy full SHA for df4ce19

• [sledge] Add List.Assoc support for deriving compare, equal, sexp_of

  Show description for 8678923
  

  jberdine

  authored and

  facebook-github-bot

  committed
  8678923

  Copy full SHA for 8678923

• [sledge] Use opam var instead of opam config var

  Show description for d67a977
  

  jberdine

  authored and

  facebook-github-bot

  committed
  d67a977

  Copy full SHA for d67a977

• [concurrency] log failure to parse lock arguments

  Show description for a7c4b5f
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  a7c4b5f

  Copy full SHA for a7c4b5f

Commits on Jun 30, 2021

• [erl-frontend] Translate some binary expressions

  Show description for 84d747b
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  84d747b

  Copy full SHA for 84d747b

• [erl-frontend] Extract helper methods for blocks

  Show description for 98c3264
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  98c3264

  Copy full SHA for 98c3264

• [erl-frontend] Translate case expressions and int literals

  Show description for 0a53231
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  0a53231

  Copy full SHA for 0a53231

• [kotlin] add flag controlling Kotlin capture

  Show description for c7e0f09
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  c7e0f09

  Copy full SHA for c7e0f09

• [pulse][objc][nil] Add constraint `self > 0` before computing spec for Objective-C instance methods

  Show description for 6b67a57
  

  da319

  authored and

  facebook-github-bot

  committed
  6b67a57

  Copy full SHA for 6b67a57

Commits on Jun 29, 2021

• [pulse] model random(3)

  Show description for 61ade24
  

  jvillard

  authored and

  facebook-github-bot

  committed
  61ade24

  Copy full SHA for 61ade24

• [pulse] use phys_equal on the underlying abstract state instead of the toplevel pair

  Show description for fb69d8a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fb69d8a

  Copy full SHA for fb69d8a

• [pulse] apply disjunct limit more strictly

  Show description for 18097db
  

  jvillard

  authored and

  facebook-github-bot

  committed
  18097db

  Copy full SHA for 18097db

Commits on Jun 28, 2021

• [minor] Unnecessary sprintf

  Show description for 2c93de1
  

  da319

  authored and

  facebook-github-bot

  committed
  2c93de1

  Copy full SHA for 2c93de1

• [erl-frontend] Translate expressions to blocks

  Show description for 661df0c
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  661df0c

  Copy full SHA for 661df0c

• [sledge] Suppress warning in test from newer clang

  Show description for bb4963b
  

  jberdine

  authored and

  facebook-github-bot

  committed
  bb4963b

  Copy full SHA for bb4963b

• [sledge] Make workaround for broken llvm-config easier

  Show description for 713d090
  

  jberdine

  authored and

  facebook-github-bot

  committed
  713d090

  Copy full SHA for 713d090

• [sledge] Query llvm-config for compilation flags for tests

  Show description for 0d430ef
  

  jberdine

  authored and

  facebook-github-bot

  committed
  0d430ef

  Copy full SHA for 0d430ef

• [sledge] Add missing build dep on env var

  Show description for 5a8fe54
  

  jberdine

  authored and

  facebook-github-bot

  committed
  5a8fe54

  Copy full SHA for 5a8fe54

• [sledge] Add a distinct formula and use it to strengthen Sh.pure_approx

  Show description for a07c713
  

  jberdine

  authored and

  facebook-github-bot

  committed
  a07c713

  Copy full SHA for a07c713

• [sledge] Add Array.contains_adjacent_duplicate

  Show description for 2378068
  

  jberdine

  authored and

  facebook-github-bot

  committed
  2378068

  Copy full SHA for 2378068

Pagination

Previous

Next