Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - 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 |