Code

Merge implementation of LVars#206

Code

Open

wenkokke wants to merge 15 commits intokoka-lang:feature/threadkoka-lang/koka:feature/threadfrom wenkokke:feature/threadwenkokke/koka:feature/threadCopy head branch name to clipboard

+387-138

Commits

Commits on Sep 21, 2021

• LVar: update C implementation

  cyberglot

  committed
  d6d7297

  Copy full SHA for d6d7297

• LVar: add comments, fix headers, etc in the C implementation

  cyberglot

  committed
  0d7d683

  Copy full SHA for 0d7d683

• LVar: add comments, fix headers, etc in the C implementation

  cyberglot

  committed
  1c58ad2

  Copy full SHA for 1c58ad2

• LVar: update koka interface to LVars

  cyberglot

  committed
  d57d649

  Copy full SHA for d57d649

Commits on Sep 22, 2021

• LVar: fix C implementation, Koka interface and add first coherence test

  cyberglot

  committed
  e5fc6fe

  Copy full SHA for e5fc6fe

Commits on Sep 23, 2021

• LVar: initial work on proper threshold sets

  cyberglot

  committed
  44923b3

  Copy full SHA for 44923b3

Commits on Sep 24, 2021

• LVars: add file for LVars and generalize update/join function in C

  cyberglot

  committed
  dcdd5fc

  Copy full SHA for dcdd5fc

• LVars: fix get in C and add new lvar test

  cyberglot

  committed
  3ccf136

  Copy full SHA for 3ccf136

Commits on Sep 25, 2021

• LVars: updated semantics of get and put

  cyberglot

  committed
  9cdc9f7

  Copy full SHA for 9cdc9f7

Commits on Sep 26, 2021

• LVars: make it compile again

  cyberglot

  committed
  6c8d8f7

  Copy full SHA for 6c8d8f7

Commits on Oct 16, 2021

• LVar: update first example

  cyberglot

  committed
  b6c4947

  Copy full SHA for b6c4947

• LVar: put now can throw an error

  cyberglot

  committed
  507f881

  Copy full SHA for 507f881

• LVar: update code in C

  cyberglot

  committed
  4144b6a

  Copy full SHA for 4144b6a

Commits on Oct 17, 2021

• LVar: add some comments to the C imp

  cyberglot

  committed
  44c09bd

  Copy full SHA for 44c09bd

• LVar: add comments to the low-level Koka impl

  cyberglot

  committed
  4b21161

  Copy full SHA for 4b21161