Code

Unordered shim arrangement#1

Code

Merged

palmskog merged 9 commits intomasterDistributedComponents/verdi-lockserv:masterfrom unordered-shim-arrangementDistributedComponents/verdi-lockserv:unordered-shim-arrangementCopy head branch name to clipboardFeb 27, 2017

+606-125

Commits

Commits on Feb 27, 2017

• towards executable LockServ

  palmskog

  committed
  9be2935

  Copy full SHA for 9be2935

• added ids in requests

  palmskog

  committed
  caf1a0f

  Copy full SHA for caf1a0f

• correctness with request ids

  palmskog

  committed
  77c84c8

  Copy full SHA for 77c84c8

• update support OCaml files for new system

  palmskog

  committed
  5377b4d

  Copy full SHA for 5377b4d

• unordered shim now in verdi-runtime

  palmskog

  committed
  5ff536e

  Copy full SHA for 5ff536e

• dev repo in README.md

  palmskog

  committed
  af76bef

  Copy full SHA for af76bef

• removed module warnings

  palmskog

  committed
  9c11966

  Copy full SHA for 9c11966

• example in README.md, build extracted code by default

  palmskog

  committed
  a7e134d

  Copy full SHA for a7e134d

• README.md fixes

  palmskog

  committed
  40f75a2

  Copy full SHA for 40f75a2