Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 12, 2016

• Merge commit 'ca2d7ca488cc1d7f8feeb96ae605fbe7bcebbbc6' into raft-46

  colin-scott

  committed
  e3ad09e

  Copy full SHA for e3ad09e

• Add method for determining FUZZ | INTERACTIVE | MINIMIZE

  colin-scott

  committed
  5dace07

  Copy full SHA for 5dace07

• Merge commit '95665e2dff3cbe0126a071547a3e596dcacddd1e' into raft-42

  colin-scott

  committed
  ca2d7ca

  Copy full SHA for ca2d7ca

• Tweak error message again

  colin-scott

  committed
  eca9600

  Copy full SHA for eca9600

• Change error message

  colin-scott

  committed
  7e2b112

  Copy full SHA for 7e2b112

Commits on Mar 3, 2016

• Update README.md

  colin-scott

  committed
  95665e2

  Copy full SHA for 95665e2

Commits on Feb 27, 2016

• Merge commit '369d8ad91f05661513ddc971783f23a7720bc838' into raft-42

  Show description for d9f2f2f
  colin-scott

  committed
  d9f2f2f

  Copy full SHA for d9f2f2f

• Make console output demo-able

  colin-scott

  committed
  6ec25be

  Copy full SHA for 6ec25be

Commits on Feb 15, 2016

• "REplays" => "Schedules"

  colin-scott

  committed
  369d8ad

  Copy full SHA for 369d8ad

• aboutUponDivergenceLax, for Spark

  colin-scott

  committed
  26443ce

  Copy full SHA for 26443ce

Commits on Feb 14, 2016

• trace -> debug

  colin-scott

  committed
  18900cc

  Copy full SHA for 18900cc

• Support abortUponDivergence

  colin-scott

  committed
  ff36240

  Copy full SHA for ff36240

Commits on Jan 22, 2016

• Rename logger

  colin-scott

  committed
  40b9930

  Copy full SHA for 40b9930

• separate out pruning concurrent events

  colin-scott

  committed
  089ebfc

  Copy full SHA for 089ebfc

Commits on Jan 20, 2016

• Save optimal stats to disk

  colin-scott

  committed
  7dcf743

  Copy full SHA for 7dcf743

Commits on Jan 13, 2016

• Catch IllegalState

  colin-scott

  committed
  ec325c1

  Copy full SHA for ec325c1

• Generalize indent.rb

  colin-scott

  committed
  e06f2c4

  Copy full SHA for e06f2c4

• Fix bug in InteractiveScheduler

  colin-scott

  committed
  30b4963

  Copy full SHA for 30b4963

Commits on Jan 11, 2016

• Deal with External message reordering bug in ReplayScheduler

  colin-scott

  committed
  8442f28

  Copy full SHA for 8442f28

Commits on Jan 10, 2016

• Shut down scheduler!

  colin-scott

  committed
  db4a8a7

  Copy full SHA for db4a8a7

• Skip over certain violations

  colin-scott

  committed
  b73bfb7

  Copy full SHA for b73bfb7

Commits on Jan 5, 2016

• Save intermediate MCS to disk

  colin-scott

  committed
  b1dac32

  Copy full SHA for b1dac32

• Handle more than 26 pending events

  colin-scott

  committed
  a5cc543

  Copy full SHA for a5cc543

Commits on Jan 4, 2016

• Accidentally included files

  colin-scott

  committed
  7bd65dd

  Copy full SHA for 7bd65dd

• Merge commit '4f1e17ffcc93722378fa64f11e0788e086c85929' into spark-2294-blocks

  Show description for 7bd1681
  colin-scott

  committed
  7bd1681

  Copy full SHA for 7bd1681

• Add last two case studies

  colin-scott

  committed
  57189ff

  Copy full SHA for 57189ff

• Count optimial stats

  colin-scott

  committed
  4f1e17f

  Copy full SHA for 4f1e17f

• Minor bug fixes, tweaks

  colin-scott

  committed
  f3204a6

  Copy full SHA for f3204a6

Commits on Jan 3, 2016

• Fix bug: notify_timer_cancel sometimes called before the timer is enqueued

  colin-scott

  committed
  42b291d

  Copy full SHA for 42b291d

Commits on Jan 1, 2016

• Track violation

  colin-scott

  committed
  1ba9a85

  Copy full SHA for 1ba9a85

• Record message events

  colin-scott

  committed
  97516dc

  Copy full SHA for 97516dc

• Reset state properly

  colin-scott

  committed
  a4fd14b

  Copy full SHA for a4fd14b

• Add colors

  colin-scott

  committed
  667b862

  Copy full SHA for 667b862

• Interactive scheduler, for hand-crafting traces

  colin-scott

  committed
  9ed240d

  Copy full SHA for 9ed240d

• Add NoViolation

  colin-scott

  committed
  e0b513e

  Copy full SHA for e0b513e

Pagination

Previous

Next