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