Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on May 20, 2017

• slap mit on all

  

  deian

  authored and

  Deian Stefan

  committed
  28267ceView commit details

  Copy full SHA for 28267ce

  View code at this pointBrowse repository at this point

Commits on Jun 24, 2013

• port test suite

  alevy

  committed
  1ac874dView commit details

  Copy full SHA for 1ac874d

  View code at this pointBrowse repository at this point

Commits on Jun 16, 2013

• MintTCB -> PrivTCB in examples & tests

  

  Deian Stefan

  committed
  e82773fView commit details

  Copy full SHA for e82773f

  View code at this pointBrowse repository at this point

Commits on Jun 15, 2013

• fix tests

  

  Deian Stefan

  committed
  7792407View commit details

  Copy full SHA for 7792407

  View code at this pointBrowse repository at this point

• nits, comments, fix example, minor changes

  

  Deian Stefan

  committed
  b6fd628View commit details

  Copy full SHA for b6fd628

  View code at this pointBrowse repository at this point

• make two more tests pass

  

  David Mazieres

  committed
  c82d50fView commit details

  Copy full SHA for c82d50f

  View code at this pointBrowse repository at this point

• make the tests build; two exception related tests are failing, though.

  

  David Mazieres

  committed
  0e48a75View commit details

  Copy full SHA for 0e48a75

  View code at this pointBrowse repository at this point

Commits on Jun 5, 2013

• Fix tests

  alevy

  committed
  113c172View commit details

  Copy full SHA for 113c172

  View code at this pointBrowse repository at this point

Commits on May 29, 2013

• Make tests pass

  alevy

  committed
  3dbad41View commit details

  Copy full SHA for 3dbad41

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2013

• Use binary instead of cereal.

  

  David Terei

  committed
  4cf9b83View commit details

  Copy full SHA for 4cf9b83

  View code at this pointBrowse repository at this point

Commits on Oct 22, 2012

• update to for with ghc 7.6; fix lFork

  Show description for 5a295c1
  

  Deian Stefan

  committed
  5a295c1View commit details

  Copy full SHA for 5a295c1

  View code at this pointBrowse repository at this point

Commits on Aug 28, 2012

• bump versions

  

  Deian Stefan

  committed
  f351eabView commit details

  Copy full SHA for f351eab

  View code at this pointBrowse repository at this point

Commits on Aug 8, 2012

• move tests & instances, reorganize repo

  Show description for 7727292
  

  Deian Stefan

  committed
  7727292View commit details

  Copy full SHA for 7727292

  View code at this pointBrowse repository at this point

Loading