Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fix | Maximilian Szengel | 2012-10-07 |
* | coverage | Maximilian Szengel | 2012-09-07 |
* | - added check for automaton traversal | Maximilian Szengel | 2012-08-23 |
* | Added multi-striding capabilities to regex. | Maximilian Szengel | 2012-08-17 |
* | using strings as labels | Maximilian Szengel | 2012-08-13 |
* | - Added coloring option to graph saving. | Maximilian Szengel | 2012-07-26 |
* | regex: iterating over the initial states | Maximilian Szengel | 2012-07-06 |
* | regex: added verbose flag to graph api. | Maximilian Szengel | 2012-07-05 |
* | regex: fixed static analyzer warnings | Maximilian Szengel | 2012-07-05 |
* | Summary: regex cleanup and bugfixes | Maximilian Szengel | 2012-07-04 |