Skip to content
Commits on Jul 1, 2013
  1. Merge pull request #24 from xeno-by/patch-1

    committed Jul 1, 2013
    Fixed a typo
Commits on Jun 21, 2013
  1. purity of ==

    committed Jun 21, 2013
Commits on Jun 20, 2013
  1. fix cast syntax

    committed Jun 20, 2013
Commits on Jun 9, 2013
  1. breakable in collections example

    committed Jun 9, 2013
Commits on May 12, 2013
Commits on May 11, 2013
  1. Update README.md

    committed May 11, 2013
Commits on May 10, 2013
  1. Update README.md

    committed May 10, 2013
  2. Update README.md

    committed May 10, 2013
  3. sbt names

    committed May 10, 2013
  4. Update README.md

    committed May 10, 2013
Commits on May 9, 2013
  1. readme

    committed May 9, 2013
  2. pending test for patmat problem, #3

    committed May 9, 2013
  3. disable cleanup phase for now

    committed May 9, 2013
  4. no more dummy phase. cleanup phase (maybe not really needed). new com…

    committed May 9, 2013
    …piler for every test (spurious failures otherwise)
Commits on May 8, 2013
Commits on May 7, 2013
  1. some more tests

    committed May 7, 2013
  2. minor cleanup

    committed May 7, 2013
  3. few more tri-domain tests

    committed May 7, 2013
  4. rename

    committed May 7, 2013
  5. multi effect domain, some tests

    committed May 7, 2013
  6. work on bi-eff-domain, currently cce. need to move reporters into dom…

    committed May 7, 2013
    …ain, rel-effects out of domain
Commits on May 6, 2013
Something went wrong with that request. Please try again.