Skip to content
Commits on Apr 19, 2013
Commits on Apr 18, 2013
  1. removed unstable code

    committed Apr 18, 2013
Commits on Mar 25, 2013
  1. more SelectionVisitor

    committed Mar 25, 2013
  2. stub SelectionVisitor 2

    committed Mar 25, 2013
  3. stub SelectionVisitor

    committed Mar 25, 2013
  4. enter SourceDowncastVisitor

    committed Mar 25, 2013
  5. tests for ActiveVisitContext

    committed Mar 25, 2013
Commits on Mar 23, 2013
Commits on Mar 22, 2013
  1. almost fix CargoDeferrer.cs

    committed Mar 23, 2013
Commits on Mar 3, 2013
Commits on Mar 2, 2013
Commits on Feb 8, 2013
Commits on Feb 7, 2013
Commits on Feb 3, 2013
Commits on Feb 1, 2013
Commits on Jan 31, 2013
Commits on Jan 30, 2013
  1. better some more test

    committed Jan 31, 2013
  2. better SearchableRepositoryBase

    committed Jan 31, 2013
  3. better DeferrerBase

    committed Jan 31, 2013
  4. fix Epic.Query coverage

    committed Jan 30, 2013
  5. fixed Prelude coverage

    committed Jan 30, 2013
Commits on Jan 29, 2013
  1. a few tests

    committed Jan 29, 2013
Commits on Jan 28, 2013
  1. more tests

    committed Jan 28, 2013
Commits on Jan 27, 2013
  1. added broken test

    committed Jan 28, 2013
  2. improved coverage

    committed Jan 28, 2013
  3. some more tests on DNFConverter

    committed Jan 27, 2013
Commits on Jan 26, 2013
  1. more tests, more fixes

    committed Jan 27, 2013
  2. fixed stackoverflow bug in DNF reduction. a test is still broken: Vis…

    committed Jan 26, 2013
    …it_aNegatedDowncastedSpecification_returnsThatSpecificationNegatedAndUpcastedToTopDisjunctedToANegatedSpecificationSatisfiedFromTheDowncastingType
  3. fixed a lot of bugs. however a new one emerged in Visit_aNegatedDisju…

    committed Jan 26, 2013
    …nction_applyDeMorganLaws that crash nunit (probably a stack overflow)
Commits on Jan 25, 2013
Something went wrong with that request. Please try again.