Permalink
Switch branches/tags
Commits on Jun 10, 2015
  1. Merge pull request #3 from chathhorn/patch-1

    Add message about new repo location.
    committed Jun 10, 2015
Commits on Jan 3, 2015
  1. fix base dep

    committed Jan 3, 2015
  2. bump version

    committed Jan 3, 2015
Commits on Sep 10, 2014
  1. build: cabal fixes

    committed Sep 10, 2014
Commits on Jul 11, 2014
Commits on Feb 25, 2013
  1. constrain base.

    committed Feb 25, 2013
  2. Bump version number.

    committed Feb 25, 2013
Commits on Jan 13, 2013
  1. cabal file updates.

    committed Jan 13, 2013
Commits on Nov 24, 2012
  1. updated cabal.

    committed Nov 24, 2012
Commits on Sep 6, 2012
Commits on Jun 20, 2012
  1. Don't bump version number.

    committed Jun 20, 2012
  2. Bound base in the dependencies.

    committed Jun 20, 2012
Commits on Jun 19, 2012
  1. Bump version to put on Hackage.

    committed Jun 19, 2012
  2. Getting the dependencies right (move sbv down to 2.1 since that's on …

    …Hackage),
    
    and remove upper constraint on base.
    committed Jun 19, 2012
  3. Merge pull request #1 from LeventErkok/master

    SBV 2.2 changes
    committed Jun 19, 2012
Commits on Feb 15, 2012
Commits on Feb 10, 2012
  1. update description.

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

    committed Feb 4, 2012
Commits on Feb 3, 2012
  1. change order of operations.

    committed Feb 3, 2012
  2. Argument order.

    committed Feb 3, 2012
Commits on Jan 31, 2012
  1. Updated order of operations.

    committed Jan 31, 2012
Commits on Jan 30, 2012
  1. Builds now.

    committed Jan 30, 2012
Commits on Jan 29, 2012
Commits on Jan 28, 2012
  1. Bump version.

    committed Jan 28, 2012
  2. Generate a README.

    committed Jan 28, 2012
Commits on Jan 27, 2012
Commits on Jan 1, 2012
  1. parameterizing SBV generation.

    committed Jan 1, 2012
Commits on Dec 31, 2011
  1. Parameterize names a bit.

    committed Dec 31, 2011