Permalink
Commits on Dec 21, 2011
  1. Merge

    bos committed Dec 21, 2011
  2. Bump version to 0.11.1.10

    bos committed Dec 21, 2011
Commits on Dec 14, 2011
  1. Merge pull request #15 from tibbe/base-dep

    bos committed Dec 14, 2011
    Bump depedency on integer-gmp
  2. Bump depedency on integer-gmp

    tibbe committed Dec 14, 2011
Commits on Nov 19, 2011
  1. Widen criterion dep

    bos committed Nov 19, 2011
Commits on Nov 4, 2011
  1. Quiet a warning.

    bos committed Nov 4, 2011
Commits on Nov 2, 2011
  1. Bump version to 0.11.1.9

    bos committed Nov 2, 2011
  2. Loosen constraints on deepseq

    bos committed Nov 2, 2011
Commits on Oct 29, 2011
  1. Bump version to 0.11.1.7

    bos committed Oct 29, 2011
  2. Merge

    bos committed Oct 29, 2011
  3. Merge pull request #12 from tibbe/ffi-fix

    bos committed Oct 29, 2011
    Fix build with GHC 7.3+
  4. Fix build with GHC 7.3+

    tibbe committed Oct 29, 2011
Commits on Oct 28, 2011
Commits on Oct 25, 2011
  1. Update maintainer list

    bos committed Oct 25, 2011
  2. Merge with Daniel

    bos committed Oct 25, 2011
  3. Bump version

    bos committed Oct 25, 2011
  4. Fix buildTable

    Daniel Fischer
    Daniel Fischer committed Oct 25, 2011
    On chunk boundaries, the character was not recorded and the global index not
    incremented, causing issue #10.
Commits on Oct 4, 2011
  1. Fix a corner case in lazy text search.

    bos committed Oct 4, 2011
    On a chunk boundary, we were not passing the correct mask and skip values
    along to the function that would process the next chunk.
  2. Silence a compiler warning.

    bos committed Oct 4, 2011
Commits on Aug 22, 2011
  1. Widen dependency on directory

    bos committed Aug 22, 2011
  2. Add top-level QuickCheck test support.

    bos committed Aug 22, 2011
    The "real" tests remain in tests/tests - this test suite is built without
    optimization, and simply lets us do a quick pass/fail during automated builds.
  3. Merge

    bos committed Aug 22, 2011
  4. Merge 1b33e08 into 3845ffd

    GitHub Merge Button
    GitHub Merge Button committed Aug 22, 2011
Commits on Aug 18, 2011
Commits on Aug 13, 2011