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

    leepike committed Jun 10, 2015
    Add message about new repo location.
Commits on Jan 3, 2015
  1. lower base bound

    leepike committed Jan 3, 2015
  2. updates for ghc 7.8.3

    leepike committed Jan 3, 2015
Commits on Sep 10, 2014
  1. upgrade: ghc 7.8.2

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

    leepike committed Feb 25, 2013
  2. Bump version for Hackage.

    leepike committed Feb 25, 2013
Commits on Jan 13, 2013
  1. Cabal file: update dependencies.

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

    leepike committed Nov 24, 2012
Commits on Feb 10, 2012
  1. updated description.

    LeePike committed Feb 10, 2012
Commits on Feb 6, 2012
  1. Simply build type; gitignore.

    LeePike committed Feb 6, 2012
Commits on Jan 28, 2012
  1. bump version.

    leepike committed Jan 28, 2012
  2. Bump version.

    leepike committed Jan 28, 2012
Commits on Jan 1, 2012
  1. Export prefx names.

    leepike committed Jan 1, 2012
  2. slight improvements.

    leepike committed Jan 1, 2012
Commits on Dec 31, 2011
  1. Tweak to cabal file.

    leepike committed Dec 31, 2011
Commits on Nov 10, 2011
  1. Updated cabal file.

    leepike committed Nov 10, 2011
  2. base constraint.

    leepike committed Nov 10, 2011
Commits on Sep 30, 2011
  1. documentation updates.

    leepike committed Sep 30, 2011
Commits on Sep 12, 2011
  1. Find CBMC in the path!

    leepike committed Sep 12, 2011
  2. Rename the cabal file.

    leepike committed Sep 12, 2011
Commits on Aug 25, 2011
  1. Updated to GADTs.

    niswegmann committed Aug 25, 2011
Commits on Aug 22, 2011
  1. Fixed minor bugs.

    niswegmann committed Aug 22, 2011
  2. This is the initial release.

    niswegmann committed Aug 22, 2011