Commits

Breadcrumbs

History for

ond028e6b

User selector

All users

All time

Commit History

Commits on Nov 13, 2020

• Dataflow: Change some headUsesContent to getHead.

  aschackmull

  committed
  d028e6b

  Copy full SHA for d028e6b

• Dataflow: Align more predicates.

  aschackmull

  committed
  aa66b9b

  Copy full SHA for aa66b9b

• Dataflow: Renamings.

  aschackmull

  committed
  6e6e5d6

  Copy full SHA for 6e6e5d6

• Dataflow: Align on parameterMayFlowThrough.

  Show description for 786edbf
  aschackmull

  committed
  786edbf

  Copy full SHA for 786edbf

• Dataflow: Rename some stage 1 predicates.

  aschackmull

  committed
  15bf1b1

  Copy full SHA for 15bf1b1

• Dataflow: Add stage statistics.

  aschackmull

  committed
  af54afa

  Copy full SHA for af54afa

• Dataflow: Improve cons-cand relation.

  Show description for 8b5e452
  aschackmull

  committed
  8b5e452

  Copy full SHA for 8b5e452

• Dataflow: Reshuffle some predicates.

  aschackmull

  committed
  e4fb415

  Copy full SHA for e4fb415

• Dataflow: Get rid of early filter.

  Show description for 5a1c0e9
  aschackmull

  committed
  5a1c0e9

  Copy full SHA for 5a1c0e9

• Dataflow: Refactor step predicate in fwdFlowRead.

  aschackmull

  committed
  3e18e02

  Copy full SHA for 3e18e02

• Dataflow: Refactor forward store step relation.

  aschackmull

  committed
  c5a2c26

  Copy full SHA for c5a2c26

• Dataflow: Refactor step relation in revFlowStore.

  aschackmull

  committed
  b6f1ab6

  Copy full SHA for b6f1ab6

• Dataflow: Reorder, rename, and add columns to store-flow.

  aschackmull

  committed
  12fe38b

  Copy full SHA for 12fe38b

• Dataflow: Align some qldoc.

  aschackmull

  committed
  aa28fdb

  Copy full SHA for aa28fdb

• Dataflow: Align on localStep.

  aschackmull

  committed
  0a4c680

  Copy full SHA for 0a4c680

• Dataflow: Risky! Remove fwdFlowLocalEntry.

  Show description for 4b5905c
  aschackmull

  committed
  4b5905c

  Copy full SHA for 4b5905c

• Dataflow: Reshuffle a few conjuncts.

  aschackmull

  committed
  19a9285

  Copy full SHA for 19a9285

• Dataflow: Remove superfluous conjuncts.

  aschackmull

  committed
  7a95466

  Copy full SHA for 7a95466

• Dataflow: Refactor call contexts.

  aschackmull

  committed
  03ef9d0

  Copy full SHA for 03ef9d0

• Dataflow: Some renamings.

  aschackmull

  committed
  dc2b2cc

  Copy full SHA for dc2b2cc

• Dataflow: Minor reorderings and renamings.

  aschackmull

  committed
  d037909

  Copy full SHA for d037909

• Dataflow: Refactor stage 4 read and stores.

  aschackmull

  committed
  00d726d

  Copy full SHA for 00d726d

• Dataflow: Refactor stage 2 read and stores.

  aschackmull

  committed
  2afc572

  Copy full SHA for 2afc572

• Dataflow: Refactor stage 3 conscand predicates.

  aschackmull

  committed
  b0e5925

  Copy full SHA for b0e5925

• Dataflow: Refactor forward stores and remove some useless conjuncts.

  aschackmull

  committed
  261ef0f

  Copy full SHA for 261ef0f

• Dataflow: A few variable renamings.

  aschackmull

  committed
  628e0a7

  Copy full SHA for 628e0a7

• Dataflow: Rename stage 2 cons-cand predicates.

  aschackmull

  committed
  bfd8a3d

  Copy full SHA for bfd8a3d

• Dataflow: Align on ApNil.

  aschackmull

  committed
  0a60a3a

  Copy full SHA for 0a60a3a

• Dataflow: Minor refactor of Stage2::revFlow.

  aschackmull

  committed
  60b5101

  Copy full SHA for 60b5101

• Dataflow: Rename option type branches.

  aschackmull

  committed
  c054295

  Copy full SHA for c054295

• Dataflow: Remove AccessPathFront column.

  Show description for 7eeae49
  aschackmull

  committed
  7eeae49

  Copy full SHA for 7eeae49

• Dataflow: Stage comments and some formatting.

  aschackmull

  committed
  1fe4235

  Copy full SHA for 1fe4235

• Dataflow: More renaming.

  aschackmull

  committed
  586d52f

  Copy full SHA for 586d52f

• Dataflow: Rename some types and variables.

  aschackmull

  committed
  3f25df9

  Copy full SHA for 3f25df9

• Dataflow: Rename predicates.

  aschackmull

  committed
  f3f968c

  Copy full SHA for f3f968c