Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 15, 2020

• use registry instead of just map

  Show description for 0bb6a6c
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  0bb6a6c

  Copy full SHA for 0bb6a6c

Commits on Apr 6, 2020

• Add assert about queue state

  Show description for 2bdecba
  

  agampe

  authored and

  facebook-github-bot

  committed
  2bdecba

  Copy full SHA for 2bdecba

• Patricia tree map leq operator fix

  Show description for cd8bb41
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  cd8bb41

  Copy full SHA for cd8bb41

Commits on Mar 26, 2020

• IntervalDomain

  Show description for 5a43984
  

  Ashok Menon

  authored and

  facebook-github-bot

  committed
  5a43984

  Copy full SHA for 5a43984

Commits on Mar 24, 2020

• Put waiting workers to sleep

  Show description for ba7bece
  

  agampe

  authored and

  facebook-github-bot

  committed
  ba7bece

  Copy full SHA for ba7bece

Commits on Mar 17, 2020

• Create WorkQueue flag push_tasks_while_running

  Show description for 0a2aed4
  

  Justin Hendrick

  authored and

  facebook-github-bot

  committed
  0a2aed4

  Copy full SHA for 0a2aed4

• Remove std::function from WorkQueue

  Show description for acad4dc
  

  Justin Hendrick

  authored and

  facebook-github-bot

  committed
  acad4dc

  Copy full SHA for acad4dc

• Fix WorkQueue static variables

  Show description for 53012dd
  

  Justin Hendrick

  authored and

  facebook-github-bot

  committed
  53012dd

  Copy full SHA for 53012dd

Commits on Mar 12, 2020

• More systematic approach to analyzing IFs

  Show description for 24b69e8
  

  NTillmann

  authored and

  facebook-github-bot

  committed
  24b69e8

  Copy full SHA for 24b69e8

Commits on Mar 6, 2020

• add an exit node to the callgraph

  Show description for 199c115
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  199c115

  Copy full SHA for 199c115

Commits on Feb 19, 2020

• Daily arc lint --take CLANGFORMAT

  Show description for 5ae0cce
  

  generatedunixname89002005287564

  authored and

  facebook-github-bot

  committed
  5ae0cce

  Copy full SHA for 5ae0cce

Commits on Feb 18, 2020

• Remove the widen option to the weak partial order data structure. (facebook#8)

  Show description for 651b976
  

  skkeem

  authored and

  facebook-github-bot

  committed
  651b976

  Copy full SHA for 651b976

Commits on Feb 14, 2020

• Abstracting Abstract Interpretation for Interprocedural Analysis

  Show description for 2437898
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  2437898

  Copy full SHA for 2437898

Commits on Jan 18, 2020

• add test cases for SpartaWorkQueue and Parallel fixpoint iterator

  Show description for 8177407
  

  ssj933

  authored and

  facebook-github-bot

  committed
  8177407

  Copy full SHA for 8177407

• remove boost thread dependency

  Show description for e43d553
  

  ssj933

  authored and

  facebook-github-bot

  committed
  e43d553

  Copy full SHA for e43d553

• use WPO in sequential monotonic fixpoint iterator

  Show description for e40722d
  

  ssj933

  authored and

  facebook-github-bot

  committed
  e40722d

  Copy full SHA for e40722d

Commits on Jan 15, 2020

• Enable clang-format and format all over xplat/sparta

  Show description for c2bb341
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  c2bb341

  Copy full SHA for c2bb341

• fix naming conflict of WorkQueue

  Show description for 94faef1
  

  yuxuanchen1997

  authored and

  facebook-github-bot

  committed
  94faef1

  Copy full SHA for 94faef1

• Parallelize Monotonic fixpoint iterator

  Show description for 0134296
  

  ssj933

  authored and

  facebook-github-bot

  committed
  0134296

  Copy full SHA for 0134296

• refactor Monotonic fixpoint iterator

  Show description for 5d95072
  

  ssj933

  authored and

  facebook-github-bot

  committed
  5d95072

  Copy full SHA for 5d95072

• copy WorkQueue to sparta

  Show description for 4af6103
  

  ssj933

  authored and

  facebook-github-bot

  committed
  4af6103

  Copy full SHA for 4af6103

Commits on Dec 18, 2019

• Add more case for WPO's get_num_outer_preds tests

  Show description for c348d7b
  

  ssj933

  authored and

  facebook-github-bot

  committed
  c348d7b

  Copy full SHA for c348d7b

• Fix the issue regarding get_num_outer_preds in WeakPartialOrdering.h (facebook#7)

  Show description for 9082b1b
  

  skkeem

  authored and

  facebook-github-bot

  committed
  9082b1b

  Copy full SHA for 9082b1b

Commits on Dec 10, 2019

• Bump boost to 1.71 in Redex and Sparta

  Show description for e2bafcc
  

  rybalkinsd

  authored and

  facebook-github-bot

  committed
  e2bafcc

  Copy full SHA for e2bafcc

Commits on Nov 13, 2019

• Generalize WeakTopologicalOrdering

  Show description for 9acc145
  

  agampe

  authored and

  facebook-github-bot

  committed
  9acc145

  Copy full SHA for 9acc145

Commits on Nov 8, 2019

• Implement weak partial ordering (WPO) of the graph for concurrent fixpoint iteration. (facebook#5)

  Show description for 7fe3cb0
  

  skkeem

  authored and

  facebook-github-bot

  committed
  7fe3cb0

  Copy full SHA for 7fe3cb0

Commits on Oct 23, 2019

• Yearless license header

  Show description for f606f4c
  

  zertosh

  authored and

  facebook-github-bot

  committed
  f606f4c

  Copy full SHA for f606f4c

Commits on Oct 9, 2019

• Use WeakTopologicalOrdering

  Show description for 16ba65b
  

  NTillmann

  authored and

  facebook-github-bot

  committed
  16ba65b

  Copy full SHA for 16ba65b

Commits on Aug 30, 2019

• Adopt Contributor Covenant

  Show description for faf30b5
  

  zpao

  authored and

  facebook-github-bot

  committed
  faf30b5

  Copy full SHA for faf30b5

Commits on Jun 7, 2019

• Speeding up CSE by enhancing patricia tree functionality, part 2

  Show description for 7c97069
  

  NTillmann

  authored and

  facebook-github-bot

  committed
  7c97069

  Copy full SHA for 7c97069

Commits on May 31, 2019

• Speeding up CSE by enhancing patricia tree functionality

  Show description for 87e47b3
  

  NTillmann

  authored and

  facebook-github-bot

  committed
  87e47b3

  Copy full SHA for 87e47b3

Commits on May 18, 2019

• Fix std::enable_if usage in Patricia trees

  Show description for 3d5cc7c
  

  arnaudvenet

  authored and

  facebook-github-bot

  committed
  3d5cc7c

  Copy full SHA for 3d5cc7c

Commits on May 17, 2019

• Update the upstream CMake googletest dependency.

  Show description for 4527e3f
  

  Matt Davis

  authored and

  facebook-github-bot

  committed
  4527e3f

  Copy full SHA for 4527e3f

Commits on May 10, 2019

• Introducing CommonSubexpressionEliminationPass

  Show description for 2a8df71
  

  NTillmann

  authored and

  facebook-github-bot

  committed
  2a8df71

  Copy full SHA for 2a8df71

Commits on May 8, 2019

• Fix a typo in the comment

  Show description for a988c00
  

  thezhangwei

  authored and

  facebook-github-bot

  committed
  a988c00

  Copy full SHA for a988c00

Pagination

Previous

Next