Commits

Breadcrumbs

History for

ondev

User selector

All users

All time

Commit history

Commits on Feb 12, 2019

• add level to inject to support inject behind

  daanx

  committed
  463318bView commit details

  Copy full SHA for 463318b

  View code at this pointBrowse repository at this point

Commits on Feb 10, 2019

• wip: update tests

  daanx

  committed
  f26c59aView commit details

  Copy full SHA for f26c59a

  View code at this pointBrowse repository at this point

• wip: proper var state

  daanx

  committed
  35fed45View commit details

  Copy full SHA for 35fed45

  View code at this pointBrowse repository at this point

• revised local state without isolate

  daanx

  committed
  64b4cfcView commit details

  Copy full SHA for 64b4cfc

  View code at this pointBrowse repository at this point

Commits on Feb 9, 2019

• wip: auto inject for actions on local state

  daanx

  committed
  cc34c52View commit details

  Copy full SHA for cc34c52

  View code at this pointBrowse repository at this point

• wip: isolation for local state

  daanx

  committed
  5620f2dView commit details

  Copy full SHA for 5620f2d

  View code at this pointBrowse repository at this point

• wip: support for real local mutable state

  daanx

  committed
  8880ba0View commit details

  Copy full SHA for 8880ba0

  View code at this pointBrowse repository at this point

Commits on Feb 8, 2019

• update test

  daanx

  committed
  007f66bView commit details

  Copy full SHA for 007f66b

  View code at this pointBrowse repository at this point

• add 'inject tail', fix inject bugs and tests

  daanx

  committed
  b70b274View commit details

  Copy full SHA for b70b274

  View code at this pointBrowse repository at this point

• fix effect nub bug

  daanx

  committed
  e1f30f5View commit details

  Copy full SHA for e1f30f5

  View code at this pointBrowse repository at this point

Commits on Aug 29, 2018

• Repair svar example

  b-studios

  committed
  4197ee2View commit details

  Copy full SHA for 4197ee2

  View code at this pointBrowse repository at this point

• test file on local mutable state

  daanx

  committed
  84fa90cView commit details

  Copy full SHA for 84fa90c

  View code at this pointBrowse repository at this point

Commits on May 5, 2018

• Ensure resources have a div effect when necessary; the analysis is still too conservative and should be improved

  daanx

  committed
  c6cb3d6View commit details

  Copy full SHA for c6cb3d6

  View code at this pointBrowse repository at this point

• Detect divergence in effects; update tests

  daanx

  committed
  00fa43fView commit details

  Copy full SHA for 00fa43f

  View code at this pointBrowse repository at this point

Commits on May 4, 2018

• Fix issue #65

  daanx

  committed
  a89c9d4View commit details

  Copy full SHA for a89c9d4

  View code at this pointBrowse repository at this point

Commits on May 3, 2018

• Fix Finalize bug for skip frames; update tests

  daanx

  committed
  29b728fView commit details

  Copy full SHA for 29b728f

  View code at this pointBrowse repository at this point

Commits on Apr 25, 2018

• fix bug in resource handling in the javascript backend

  daanx

  committed
  9b2b7f3View commit details

  Copy full SHA for 9b2b7f3

  View code at this pointBrowse repository at this point

Commits on Apr 22, 2018

• fix handling of finalization in async (wip)

  daanx

  committed
  91a3c61View commit details

  Copy full SHA for 91a3c61

  View code at this pointBrowse repository at this point

• Support initially clauses properly

  daanx

  committed
  f426c95View commit details

  Copy full SHA for f426c95

  View code at this pointBrowse repository at this point

Commits on Apr 20, 2018

• fix raw syntax

  daanx

  committed
  92fe995View commit details

  Copy full SHA for 92fe995

  View code at this pointBrowse repository at this point

• redesign trampoline for tail recursive calls in javascript backend

  daanx

  committed
  df4f773View commit details

  Copy full SHA for df4f773

  View code at this pointBrowse repository at this point

• update handling of local state in javascript runtime

  daanx

  committed
  2d88783View commit details

  Copy full SHA for 2d88783

  View code at this pointBrowse repository at this point

Commits on Apr 19, 2018

• add support for 'raw' branches that do not finalize automitically

  daanx

  committed
  335f3fbView commit details

  Copy full SHA for 335f3fb

  View code at this pointBrowse repository at this point

Commits on Mar 27, 2018

• fix semantics of finally in javascript backend

  daanx

  committed
  205612cView commit details

  Copy full SHA for 205612c

  View code at this pointBrowse repository at this point

Commits on Mar 26, 2018

• Updated support for 'finally' clauses

  daanx

  committed
  7362902View commit details

  Copy full SHA for 7362902

  View code at this pointBrowse repository at this point

Commits on Mar 2, 2018

• small comments

  daanx

  committed
  5cdf596View commit details

  Copy full SHA for 5cdf596

  View code at this pointBrowse repository at this point

• experiment with generative types

  daanx

  committed
  d503018View commit details

  Copy full SHA for d503018

  View code at this pointBrowse repository at this point

Commits on Mar 1, 2018

• fix bug in `inject-resource` generation

  daanx

  committed
  43ff221View commit details

  Copy full SHA for 43ff221

  View code at this pointBrowse repository at this point

• remove exn effect when inferring type of handlers of resources

  daanx

  committed
  5acc021View commit details

  Copy full SHA for 5acc021

  View code at this pointBrowse repository at this point

• split up test directories with new resource and async

  daanx

  committed
  20bd757View commit details

  Copy full SHA for 20bd757

  View code at this pointBrowse repository at this point

• More comments in resource test files

  daanx

  committed
  ac4bad0View commit details

  Copy full SHA for ac4bad0

  View code at this pointBrowse repository at this point

• Add support for inject-resoure

  daanx

  committed
  a6da158View commit details

  Copy full SHA for a6da158

  View code at this pointBrowse repository at this point

Commits on Feb 27, 2018

• wip: add tests for first-class resources

  daanx

  committed
  8630646View commit details

  Copy full SHA for 8630646

  View code at this pointBrowse repository at this point

Commits on Feb 16, 2018

• more comments

  daanx

  committed
  52b4148View commit details

  Copy full SHA for 52b4148

  View code at this pointBrowse repository at this point

Commits on Feb 15, 2018

• small fixes

  daanx

  committed
  7e8ce6dView commit details

  Copy full SHA for 7e8ce6d

  View code at this pointBrowse repository at this point