Commits

Branch selector

master

User selector

alevy

All time

Commit history

Commits on Aug 30, 2015

• Merge pull request #39 from Ch0c0late/typo

  Show description for 24ae425
  alevy

  committed
  24ae425View commit details

  Copy full SHA for 24ae425

  Browse repository at this point

Commits on Jun 19, 2015

• Merge pull request #37 from zerobuzz/monad-lio-for-all

  Show description for 8c7bc3c
  alevy

  committed
  8c7bc3cView commit details

  Copy full SHA for 8c7bc3c

  Browse repository at this point

Commits on Jun 24, 2013

• port test suite

  alevy

  committed
  1ac874dView commit details

  Copy full SHA for 1ac874d

  Browse repository at this point

• no warnings

  alevy

  committed
  94609bbView commit details

  Copy full SHA for 94609bb

  Browse repository at this point

• Merge branch 'master' of github.com:scslab/lio

  alevy

  committed
  e48b305View commit details

  Copy full SHA for e48b305

  Browse repository at this point

• Re-export LabelOf

  alevy

  committed
  767b297View commit details

  Copy full SHA for 767b297

  Browse repository at this point

Commits on Jun 21, 2013

• Merge branch 'master' of github.com:scslab/lio

  Show description for 6d1c0dd
  alevy

  committed
  6d1c0ddView commit details

  Copy full SHA for 6d1c0dd

  Browse repository at this point

• dcPub, dcTop, dcBottom, instance ToCNF DCPriv

  alevy

  committed
  fa5abfcView commit details

  Copy full SHA for fa5abfc

  Browse repository at this point

Commits on Jun 16, 2013

• Merge branch 'master' of github.com:scslab/lio

  alevy

  committed
  67b59ceView commit details

  Copy full SHA for 67b59ce

  Browse repository at this point

• Muck with show instances in DCLabels

  alevy

  committed
  9b982aeView commit details

  Copy full SHA for 9b982ae

  Browse repository at this point

• Doc nits

  alevy

  committed
  13a6c17View commit details

  Copy full SHA for 13a6c17

  Browse repository at this point

• Merge branch 'master' of github.com:scslab/lio

  alevy

  committed
  22ff612View commit details

  Copy full SHA for 22ff612

  Browse repository at this point

• %% operator for creating dclabels

  alevy

  committed
  3cf9357View commit details

  Copy full SHA for 3cf9357

  Browse repository at this point

• Merge branch 'master' of github.com:scslab/lio

  alevy

  committed
  632a684View commit details

  Copy full SHA for 632a684

  Browse repository at this point

• principal :: String -> Principal

  alevy

  committed
  2697c3bView commit details

  Copy full SHA for 2697c3b

  Browse repository at this point

• Fix quickcheck-lio-instances

  alevy

  committed
  fbf0e8bView commit details

  Copy full SHA for fbf0e8b

  Browse repository at this point

• remove forkLIO

  alevy

  committed
  a552884View commit details

  Copy full SHA for a552884

  Browse repository at this point

Commits on Jun 12, 2013

• Bump lio version dependencies

  alevy

  committed
  b06577cView commit details

  Copy full SHA for b06577c

  Browse repository at this point

Commits on Jun 6, 2013

• Bump to version 0.10.0.0

  alevy

  committed
  c99b22eView commit details

  Copy full SHA for c99b22e

  Browse repository at this point

Commits on Jun 5, 2013

• Fix tests

  alevy

  committed
  113c172View commit details

  Copy full SHA for 113c172

  Browse repository at this point

• DCLabel instance of Bounded

  alevy

  committed
  c3175baView commit details

  Copy full SHA for c3175ba

  Browse repository at this point

• Fix export of dcTop dcBottom

  alevy

  committed
  b0d634bView commit details

  Copy full SHA for b0d634b

  Browse repository at this point

• Fixes from @deian's comments

  alevy

  committed
  ac66372View commit details

  Copy full SHA for ac66372

  Browse repository at this point

Commits on Jun 3, 2013

• Remove MonadIO wrapper from most operations

  alevy

  committed
  c39e9c2View commit details

  Copy full SHA for c39e9c2

  Browse repository at this point

Commits on May 29, 2013

• Make tests pass

  alevy

  committed
  3dbad41View commit details

  Copy full SHA for 3dbad41

  Browse repository at this point

• Remove extraneous dependencies on PrivDesc

  Show description for 348207c
  alevy

  committed
  348207cView commit details

  Copy full SHA for 348207c

  Browse repository at this point

• Remove killThread from lWait

  alevy

  committed
  d834713View commit details

  Copy full SHA for d834713

  Browse repository at this point

• Remove ThreadId newtype

  Show description for ea8dc2d
  alevy

  committed
  ea8dc2dView commit details

  Copy full SHA for ea8dc2d

  Browse repository at this point

• Packagify lio-handle

  alevy

  committed
  3c2b80fView commit details

  Copy full SHA for 3c2b80f

  Browse repository at this point

• Move FS to it's own package

  alevy

  committed
  fd83efeView commit details

  Copy full SHA for fd83efe

  Browse repository at this point

• Merge remote-tracking branch 'gitstar/master' into master

  Show description for 4717432
  alevy

  committed
  4717432View commit details

  Copy full SHA for 4717432

  Browse repository at this point

• Rework Privs and PrivDesc

  Show description for bca15c8
  alevy

  committed
  bca15c8View commit details

  Copy full SHA for bca15c8

  Browse repository at this point

• Replace functor class with generic function lFmap

  alevy

  committed
  288e289View commit details

  Copy full SHA for 288e289

  Browse repository at this point

• Make ThreadId opaque newtype wrapper

  Show description for 4f805ea
  alevy

  committed
  4f805eaView commit details

  Copy full SHA for 4f805ea

  Browse repository at this point

• labelOfLIORef -> labelOfLIORefTCB

  alevy

  committed
  b3dd165View commit details

  Copy full SHA for b3dd165

  Browse repository at this point