aboutsummaryrefslogtreecommitdiff
path: root/src/regex/test_regex_eval_api.c
Commit message (Expand)AuthorAge
* Updated testcase to use fewer random regexes.Maximilian Szengel2012-06-21
* simplified regex/proof generationMaximilian Szengel2012-06-11
* Test for computed regex.Maximilian Szengel2012-06-06
* - State merging fixMaximilian Szengel2012-05-07
* dfa minimization fixMaximilian Szengel2012-04-19
* test updateMaximilian Szengel2012-04-18