2012-06-11 | Maximilian Szengel | simplified regex/proof generation | blob | commitdiff | raw |
2012-06-06 | Maximilian Szengel | Test for computed regex. | blob | commitdiff | raw | diff to current |
2012-05-07 | Maximilian Szengel | - State merging fix | blob | commitdiff | raw | diff to current |
2012-04-19 | Maximilian Szengel | dfa minimization fix | blob | commitdiff | raw | diff to current |
2012-04-18 | Maximilian Szengel | test update | blob | commitdiff | raw | diff to current |