Permalink
Commits on Oct 13, 2014
  1. Decrease the scope of silencing

    committed Oct 13, 2014
Commits on Sep 19, 2014
  1. Kill processes in another thread

    Run the test with 'sleep'.
    committed Sep 19, 2014
Commits on Apr 2, 2013
  1. Add an alternative interleaving

    committed Apr 2, 2013
  2. Use SIGKILL instead of SIGTERM

    committed Apr 2, 2013
Commits on Mar 4, 2013
  1. Cancel before returning

    committed Mar 4, 2013
  2. Properly cancel trees

    committed Mar 4, 2013
  3. Implement evalTree using TMVars

    committed Mar 4, 2013
  4. Fix test suite again

    committed Mar 4, 2013
  5. Fix test suite problem

    committed Mar 4, 2013
Commits on Mar 2, 2013
  1. Fix hlint redundant dollar

    committed Mar 2, 2013
Commits on Feb 18, 2013
  1. Add a TODO

    committed Feb 18, 2013
  2. Add a stress tptp test

    committed Feb 18, 2013
  3. Return a cancellation function

    committed Feb 18, 2013
Commits on Feb 15, 2013
  1. Add a newline

    committed Feb 15, 2013
Commits on Feb 11, 2013
Commits on Feb 10, 2013
Commits on Feb 7, 2013
  1. Update Process and Tree

    committed Feb 7, 2013
  2. Tweak travis

    committed Feb 7, 2013
Commits on Feb 6, 2013
  1. Change to a recoverable computation which Many can be expressed in te…

    …rms of. Start using Monoid again
    committed Feb 6, 2013