Permalink
Commits on Jul 2, 2015
  1. explained changes

    committed Jul 2, 2015
  2. bump to 0.6.3

    - compatible with newer ghc
    committed Jul 2, 2015
  3. ignore swap and build stuff

    committed Jul 2, 2015
  4. made more concise

    committed Jul 2, 2015
  5. cleanup

    committed Jul 2, 2015
  6. Used new QC api

    committed Jul 2, 2015
Commits on Jul 1, 2015
Commits on Jun 17, 2015
  1. Tested with newer ghc

    committed Jun 17, 2015
Commits on Oct 10, 2012
  1. added easy way to test

    committed Oct 10, 2012
  2. updated

    committed Oct 10, 2012
Commits on Oct 1, 2012
  1. removed version restrictions so funsat compiles

    under 7.4.1. tests pass.
    committed Oct 1, 2012
Commits on Feb 27, 2011
  1. changes for 1.1

    committed Feb 27, 2011
  2. Fix export list.

    mboes committed with Feb 5, 2009
  3. toIntegral/unsafeFromIntegral.

    ... to efficiently build and serialize BitSets.
    mboes committed with Feb 5, 2009
Commits on Jun 27, 2010
  1. corrected hackage link

    committed Jun 27, 2010
Commits on Jun 26, 2010
  1. release stuff

    committed Jun 26, 2010
  2. added Funsat.Types.Internal

    committed Jun 26, 2010
  3. more advice

    committed Jun 26, 2010
  4. more explanatory comments

    committed Jun 26, 2010
  5. advice for cutting a release

    committed Jun 26, 2010
  6. cleanup

    committed Jun 26, 2010
  7. use Strict state monad

    committed Jun 26, 2010
  8. tightened up all dependencies

    committed Jun 26, 2010
  9. tightened up fgl dependency

    committed Jun 26, 2010
Commits on Feb 24, 2010
  1. adjusted test sizes

    committed Feb 24, 2010
Commits on Feb 23, 2010
  1. some more wiki entries

    committed Feb 23, 2010
  2. using the strict state monad yields to much less memory usage in toCnf

    Thanks to Brad Larsen for reporting this.
    committed Feb 23, 2010
  3. ported to QuickCheck 2

    committed Feb 23, 2010
  4. updated to work with bitset 1.0

    committed Feb 23, 2010