Commits

Commits on Jan 19, 2015

Commits on Feb 13, 2013

Commits on Jun 25, 2012

* Ensure it's Stream.toList.
audreyt
committed

Commits on Feb 25, 2012

* Regex.Genex.Pure: Add handling of character class negation: [^...].
audreyt
committed

Commits on Dec 2, 2011

Commits on Jun 29, 2011

Add .gitignore.
audreyt
committed

Commits on Jun 17, 2011

* Add the PEmpty case to genexPure.
Audrey Tang
committed

Commits on Jun 14, 2011

* Port from Control.Monad.Omega to Control.Monad.Stream for fair
Audrey Tang
committed
* Update module documentation to mention the "yices" binary dependency, as suggessted by nanothief++ on reddit.
Audrey Tang
committed

Commits on Jun 13, 2011

* s/3/maxRepeat/
Audrey Tang
committed
* We don't need to link in control-monad-omega or text for the binary yet.
Audrey Tang
committed
* The shiny new Regex.Genex.Pure module.
Audrey Tang
committed
* regex-genex 0.3.0, now with a genexPure variant:
Audrey Tang
committed

Commits on May 27, 2011

* Rebuild OSX binary for 0.2.1.
audreyt
committed