Code

Add external events to DPOR.#22

Code

Merged

vjeko merged 10 commits intomasterNetSys/demi:masterfrom dporNetSys/demi:dporCopy head branch name to clipboardDec 15, 2014

+141-107

Commits

Commits on Dec 10, 2014

• Remove depMap.

  vjeko

  committed
  626e981

  Copy full SHA for 626e981

Commits on Dec 12, 2014

• External events.

  vjeko

  committed
  b8bad5a

  Copy full SHA for b8bad5a

Commits on Dec 13, 2014

• Add support for external events.

  Show description for 7435a44
  vjeko

  committed
  7435a44

  Copy full SHA for 7435a44

Commits on Dec 15, 2014

• TransDPOR checkpoint.

  vjeko

  committed
  e030aa7

  Copy full SHA for e030aa7

• Switch to traditional DPOR.

  vjeko

  committed
  1131814

  Copy full SHA for 1131814

• Change the way alreadyExplored is being tracked.

  vjeko

  committed
  f6309a2

  Copy full SHA for f6309a2

• Change the way explored interleavings are managed.

  vjeko

  committed
  0a95e36

  Copy full SHA for 0a95e36

• Change how the next trace is scheduled.

  vjeko

  committed
  bd69ec9

  Copy full SHA for bd69ec9

• Cleanup.

  vjeko

  committed
  8e7f65d

  Copy full SHA for 8e7f65d

• New lines.

  vjeko

  committed
  d6edcbe

  Copy full SHA for d6edcbe