Skip to content
Commits on Aug 21, 2012
  1. @marek-safar
  2. @marek-safar

    Merge Alexander Chebaturkin SoC 2012 changes

    During the Google Summer of Code, I was required to implement Interval Analysis for Code Contracts static verifier (cccheck tool). Please see information of changes at http://chebaturkin.blogspot.com/2012/08/code-contracts-static-verifier.html.
    marek-safar committed Aug 21, 2012
Commits on Aug 20, 2012
  1. @vargaz
  2. @garuma

    Merge pull request #435 from mono-soc-2012/svick/dataflow

    Svick/dataflow
    garuma committed Aug 19, 2012
Commits on Aug 19, 2012
  1. @svick

    Fixed race condition in Receive()

    svick committed Aug 20, 2012
  2. @svick
  3. @svick
  4. @svick
  5. @svick

    Removed nonsensical lock

    svick committed Aug 19, 2012
  6. @svick

    Correctly implemented Choose()

    svick committed Aug 19, 2012
  7. @svick

    Started adding documentation for non-public types and methods

    Also some minor refactoring
    svick committed Aug 18, 2012
  8. @svick
  9. @svick
  10. @svick
  11. @svick

    Some tests need more time

    svick committed Aug 14, 2012
  12. @svick
  13. @svick

    Don't cancel unstarted Tasks on cancellation

    Unstarted Tasks can't be cancelled, because they have to
    correctly modify degreeOfParallelism.
    svick committed Aug 13, 2012
  14. @svick
  15. @svick
  16. @svick
  17. @svick
  18. @svick
  19. @svick
  20. @svick
  21. @svick

    Implemented NullTarget()

    svick committed Jul 23, 2012
  22. @svick

    Fixed declaration differences

    svick committed Jul 23, 2012
  23. @svick

    Made block interfaces variant

    svick committed Jul 23, 2012
  24. @svick
  25. @svick
  26. @svick

    Forgot to use AssertEx

    svick committed Jul 18, 2012
  27. @svick

    Added forgotten files to sources

    svick committed Jul 18, 2012
  28. @svick
  29. @svick

    Check for null target in ConsumeMessage()

    Previously, the correct exception was thrown later on,
    but only by accident.
    svick committed Jul 21, 2012
  30. @svick
  31. @svick
Something went wrong with that request. Please try again.