Permalink
Switch branches/tags
Nothing to show
Commits on Sep 24, 2015
  1. * 0.7.0

    audreyt committed Sep 24, 2015
  2. Merge pull request #5 from felixdae/master

    audreyt committed Sep 24, 2015
    fix installation error issue #4
  3. fix installation error

    felixdae committed Sep 24, 2015
Commits on Jan 19, 2015
  1. * Anchoring is not pure

    audreyt committed Jan 19, 2015
Commits on Feb 13, 2013
  1. Merge pull request #1 from LeventErkok/master

    audreyt committed Feb 13, 2013
    Relax sbv dependency and resolve hackage compilation failure
Commits on Feb 12, 2013
  1. Add regexMatch

    LeventErkok committed Feb 12, 2013
    Returns true if regex matches the given symbolic string
  2. Use an implicit parameter for maxRepeat

    LeventErkok committed Feb 12, 2013
    This gives the user more flexibility, by exporting genexWith from the
    library. (The default is still 3 and is captured in the variable
    maxRepeatDefault.)
  3. Stream.toList is now known as Stream.runStream

    LeventErkok committed Feb 12, 2013
    Fixes the hackage compilation failure
  4. Ignore vim droppings

    LeventErkok committed Feb 12, 2013
Commits on Sep 4, 2012
  1. * Bump copyright

    audreyt committed Sep 4, 2012
Commits on Jun 25, 2012
  1. * Ensure it's Stream.toList.

    audreyt committed Jun 25, 2012
Commits on Feb 25, 2012
  1. * Regex.Genex.Pure: Add handling of character class negation: [^...].

    audreyt committed Feb 25, 2012
      Also increased maximal repetition count to 10.
Commits on Dec 2, 2011
  1. * Bump version to 0.3.2.

    audreyt committed Dec 2, 2011
Commits on Jun 29, 2011
  1. Add .gitignore.

    audreyt committed Jun 29, 2011
Commits on Jun 17, 2011
  1. * Add the PEmpty case to genexPure.

    Audrey Tang
    Audrey Tang committed Jun 17, 2011
Commits on Jun 14, 2011
  1. * Port from Control.Monad.Omega to Control.Monad.Stream for fair

    Audrey Tang
    Audrey Tang committed Jun 14, 2011
      disjunctions and better memory characteristics.
    
      Thanks to sebfisch++ on reddit for the suggestion.
  2. * Update module documentation to mention the "yices" binary dependenc…

    Audrey Tang
    Audrey Tang committed Jun 14, 2011
    …y, as suggessted by nanothief++ on reddit.
Commits on Jun 13, 2011
  1. * s/3/maxRepeat/

    Audrey Tang
    Audrey Tang committed Jun 13, 2011
  2. * We don't need to link in control-monad-omega or text for the binary…

    Audrey Tang
    Audrey Tang committed Jun 13, 2011
    … yet.
  3. * The shiny new Regex.Genex.Pure module.

    Audrey Tang
    Audrey Tang committed Jun 13, 2011
  4. * regex-genex 0.3.0, now with a genexPure variant:

    Audrey Tang
    Audrey Tang committed Jun 13, 2011
        * Pure and much faster than genex.
        * However, no support for back-references, anchors or word boundaries yet.
        * Does not guarantee orders about length of strings.
        * Does not depend on the external yices SMT solver.
    
      Thanks to sw17ch++ on reddit for the suggestion,
      and to luqui++ for Control.Monad.Omega.
Commits on May 27, 2011