Commits

Breadcrumbs

History for

ondev

User selector

All users

All time

Commit history

Commits on Feb 20, 2019

• fixing build for GHC 8.6.3

  alexreinking

  committed
  2a8a4d2View commit details

  Copy full SHA for 2a8a4d2

  View code at this pointBrowse repository at this point

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: 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

• 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 May 30, 2018

• Change type of resource handlers to not include the effect type

  daanx

  committed
  5b7b380View commit details

  Copy full SHA for 5b7b380

  View code at this pointBrowse repository at this point

• Fix bug in inject type inference

  daanx

  committed
  2e7511dView commit details

  Copy full SHA for 2e7511d

  View code at this pointBrowse repository at this point

Commits on May 5, 2018

• Merge development back into the master branch

  daanx

  committed
  fc2cad7View commit details

  Copy full SHA for fc2cad7

  View code at this pointBrowse repository at this point

• 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

• change semirandom

  daanx

  committed
  f5f62d5View commit details

  Copy full SHA for f5f62d5

  View code at this pointBrowse repository at this point

• fix filetime on older platforms

  daanx

  committed
  e94d074View commit details

  Copy full SHA for e94d074

  View code at this pointBrowse repository at this point

• 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

• Fix finding requirejs, and fix handling of absolute paths on Unix systems

  daanx

  committed
  7760919View commit details

  Copy full SHA for 7760919

  View code at this pointBrowse repository at this point

Commits on Apr 25, 2018

• fix accidental <> renames

  daanx

  committed
  bf48ff4View commit details

  Copy full SHA for bf48ff4

  View code at this pointBrowse repository at this point

• Rename <> to <.> due to new Haskell Prelude :-(

  daanx

  committed
  bbfa13eView commit details

  Copy full SHA for bbfa13e

  View code at this pointBrowse repository at this point

Commits on Apr 24, 2018

• Remove dependency on Random

  daanx

  committed
  2047728View commit details

  Copy full SHA for 2047728

  View code at this pointBrowse repository at this point

• Various fixes to resolve paths when building under a non koka directory

  daanx

  committed
  5aeae41View commit details

  Copy full SHA for 5aeae41

  View code at this pointBrowse repository at this point

Commits on Apr 22, 2018

• 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

• 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

• Update javascript backend to be more close to the semantic rules and implement deep finalization (wip)

  daanx

  committed
  ba8bed9View commit details

  Copy full SHA for ba8bed9

  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

• Merge branch 'dev' of https://github.com/koka-lang/koka into dev

  daanx

  committed
  2c76591View commit details

  Copy full SHA for 2c76591

  View code at this pointBrowse repository at this point

• Fix negativity analysis on effect types

  daanx

  committed
  a249134View commit details

  Copy full SHA for a249134

  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 22, 2018

• wip: Clean up implemenation of finally and initially

  daanx

  committed
  4d87209View commit details

  Copy full SHA for 4d87209

  View code at this pointBrowse repository at this point

Commits on Mar 2, 2018

• fix bug in inject-resource generation

  daanx

  committed
  78b2cffView commit details

  Copy full SHA for 78b2cff

  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