Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated testcase to use fewer random regexes. | Maximilian Szengel | 2012-06-21 |
* | simplified regex/proof generation | Maximilian Szengel | 2012-06-11 |
* | Test for computed regex. | Maximilian Szengel | 2012-06-06 |
* | - State merging fix | Maximilian Szengel | 2012-05-07 |
* | dfa minimization fix | Maximilian Szengel | 2012-04-19 |
* | test update | Maximilian Szengel | 2012-04-18 |