Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on May 28, 2014

• add new read/write-only bless functions

  

  Deian Stefan

  committed
  551e94bView commit details

  Copy full SHA for 551e94b

  View code at this pointBrowse repository at this point

Commits on Mar 7, 2014

• work with lates OSX

  

  Deian Stefan

  committed
  b79f61dView commit details

  Copy full SHA for b79f61d

  View code at this pointBrowse repository at this point

Commits on Oct 17, 2013

• better documentation, add modifyMLabelP

  

  David Mazieres

  committed
  c395570View commit details

  Copy full SHA for c395570

  View code at this pointBrowse repository at this point

• comments on MLObj.hs

  

  David Mazieres

  committed
  e80c222View commit details

  Copy full SHA for e80c222

  View code at this pointBrowse repository at this point

Commits on Oct 16, 2013

• include default instances

  

  David Mazieres

  committed
  d4e7936View commit details

  Copy full SHA for d4e7936

  View code at this pointBrowse repository at this point

• Default policy value, if you don't need to embed clearance, etc.

  

  David Mazieres

  committed
  d0e8a16View commit details

  Copy full SHA for d0e8a16

  View code at this pointBrowse repository at this point

• get rid of spurious context

  

  David Mazieres

  committed
  c4e67e9View commit details

  Copy full SHA for c4e67e9

  View code at this pointBrowse repository at this point

• don't signal more than once

  

  David Mazieres

  committed
  53f233bView commit details

  Copy full SHA for 53f233b

  View code at this pointBrowse repository at this point

• Different approach to MLObj: kill threads if label changes

  

  David Mazieres

  committed
  70fb362View commit details

  Copy full SHA for 70fb362

  View code at this pointBrowse repository at this point

• proper module export list

  

  David Mazieres

  committed
  2ece625View commit details

  Copy full SHA for 2ece625

  View code at this pointBrowse repository at this point

• Completely different MLObj semantics

  

  David Mazieres

  committed
  8bcbcfcView commit details

  Copy full SHA for 8bcbcfc

  View code at this pointBrowse repository at this point

• sanity

  

  David Mazieres

  committed
  4290564View commit details

  Copy full SHA for 4290564

  View code at this pointBrowse repository at this point

• duh, include TCB

  

  David Mazieres

  committed
  eeb8277View commit details

  Copy full SHA for eeb8277

  View code at this pointBrowse repository at this point

• mlObj to create

  

  David Mazieres

  committed
  5d89740View commit details

  Copy full SHA for 5d89740

  View code at this pointBrowse repository at this point

• fix some warnings

  

  David Mazieres

  committed
  29f7652View commit details

  Copy full SHA for 29f7652

  View code at this pointBrowse repository at this point

• first cut at MLObj

  

  David Mazieres

  committed
  8fa3e10View commit details

  Copy full SHA for 8fa3e10

  View code at this pointBrowse repository at this point

• don't require intercalate

  

  David Mazieres

  committed
  487cee1View commit details

  Copy full SHA for 487cee1

  View code at this pointBrowse repository at this point

Commits on Jul 3, 2013

• bunch of documentation stuff

  

  David Mazieres

  committed
  a80537dView commit details

  Copy full SHA for a80537d

  View code at this pointBrowse repository at this point

Commits on Jun 24, 2013

• make haddock happy

  

  Deian Stefan

  committed
  f47aab1View commit details

  Copy full SHA for f47aab1

  View code at this pointBrowse repository at this point

• pass tcb; merge LIO.TCB.Concurrent into LIO.TCB

  

  Deian Stefan

  committed
  68db075View commit details

  Copy full SHA for 68db075

  View code at this pointBrowse repository at this point

Commits on Jun 23, 2013

• more doc nits

  

  David Mazieres

  committed
  3a344e1View commit details

  Copy full SHA for 3a344e1

  View code at this pointBrowse repository at this point

• better error reporting in LMVar

  

  David Mazieres

  committed
  5f41de1View commit details

  Copy full SHA for 5f41de1

  View code at this pointBrowse repository at this point

Commits on Jun 22, 2013

• goodbye Privs, hello Delegate

  

  David Mazieres

  committed
  30bf6ebView commit details

  Copy full SHA for 30bf6eb

  View code at this pointBrowse repository at this point

Commits on Jun 21, 2013

• comment DCLabel

  

  David Mazieres

  committed
  c481fd2View commit details

  Copy full SHA for c481fd2

  View code at this pointBrowse repository at this point

• be consistent about safe imports and make more Typeable instances

  

  David Mazieres

  committed
  a793305View commit details

  Copy full SHA for a793305

  View code at this pointBrowse repository at this point

• document the new DCLabel.hs;

  Show description for 6380504
  

  David Mazieres

  committed
  6380504View commit details

  Copy full SHA for 6380504

  View code at this pointBrowse repository at this point

Commits on Jun 19, 2013

• clean up some privilege comments

  

  David Mazieres

  committed
  efed38fView commit details

  Copy full SHA for efed38f

  View code at this pointBrowse repository at this point

• get rid of unLIOTCB. Selctors make me nervous on TCB types.

  

  David Mazieres

  committed
  862a007View commit details

  Copy full SHA for 862a007

  View code at this pointBrowse repository at this point

Commits on Jun 16, 2013

• MintTCB -> PrivTCB

  

  David Mazieres

  committed
  f45c35eView commit details

  Copy full SHA for f45c35e

  View code at this pointBrowse repository at this point

Commits on Jun 15, 2013

• GuardIO -> LObj

  

  David Mazieres

  committed
  136cce6View commit details

  Copy full SHA for 136cce6

  View code at this pointBrowse repository at this point

• Make LObj an instance of ShowTCB

  

  David Mazieres

  committed
  47b4310View commit details

  Copy full SHA for 47b4310

  View code at this pointBrowse repository at this point

• consolidate TCB

  

  David Mazieres

  committed
  b206339View commit details

  Copy full SHA for b206339

  View code at this pointBrowse repository at this point

Loading