Permalink
Switch branches/tags
Nothing to show
Commits on Feb 10, 2012
  1. updated description.

    LeePike
    LeePike committed Feb 10, 2012
Commits on Feb 4, 2012
  1. update version.

    leepike committed Feb 4, 2012
Commits on Feb 3, 2012
Commits on Jan 31, 2012
Commits on Jan 28, 2012
  1. bump version number.

    leepike committed Jan 28, 2012
Commits on Jan 21, 2012
Commits on Jan 1, 2012
  1. comments.

    leepike committed Jan 1, 2012
Commits on Dec 31, 2011
  1. Bug fixes in QC testing.

    leepike committed Dec 31, 2011
Commits on Dec 30, 2011
Commits on Dec 9, 2011
  1. Formatting.

    leepike committed Dec 9, 2011
Commits on Nov 16, 2011
Commits on Nov 14, 2011
Commits on Nov 10, 2011
  1. newer version.

    leepike committed Nov 10, 2011
  2. newest atom required.

    leepike committed Nov 10, 2011
  3. small changes...

    leepike committed Nov 10, 2011
Commits on Nov 5, 2011
Commits on Nov 4, 2011
  1. refactored errors.

    leepike committed Nov 4, 2011
Commits on Nov 3, 2011
  1. changed executable name.

    leepike committed Nov 3, 2011
Commits on Oct 24, 2011
  1. QuickCheck now seems to work.

    leepike committed Oct 24, 2011
Commits on Oct 21, 2011
  1. Small changes to parameters.

    leepike committed Oct 21, 2011
Commits on Oct 19, 2011
Commits on Oct 12, 2011
  1. Major fixes to the quickcheck backend.

    leepike committed Oct 12, 2011
    Not done though.  There's still a bug with some random streams causing an ordEInst error.
Commits on Oct 4, 2011
  1. Added Common.hs

    Nis Wegmann
    Nis Wegmann committed Oct 4, 2011
Commits on Oct 3, 2011
  1. Updated support for external arrays and functions.

    Nis Wegmann
    Nis Wegmann committed Oct 3, 2011
Commits on Sep 30, 2011
Commits on Sep 11, 2011
  1. Fixed warnings.

    leepike committed Sep 11, 2011
  2. Updated test-framework.

    niswegmann committed Sep 11, 2011
Commits on Sep 10, 2011
  1. Changed exposed modules.

    leepike committed Sep 10, 2011