Commit message (Expand) | Author | Age | |
---|---|---|---|
* | regex: fixed iterating over the initial states | Maximilian Szengel | 2012-07-09 |
* | regex: actually checking the proof, fixes | Maximilian Szengel | 2012-07-04 |
* | regex bugfixes | Maximilian Szengel | 2012-07-02 |
* | regex bugfixes and optimizations | Maximilian Szengel | 2012-06-25 |
* | regex simplification wip | Maximilian Szengel | 2012-06-25 |
* | more regex simplifications. fixes. | Maximilian Szengel | 2012-06-13 |
* | -consistently use struct GNUNET_HashCode | Christian Grothoff | 2012-06-12 |
* | simplified regex/proof generation | Maximilian Szengel | 2012-06-11 |
* | Better proofs | Maximilian Szengel | 2012-06-06 |
* | Towards new proof algorithm | Maximilian Szengel | 2012-06-04 |
* | Fixed compilation warnings | Maximilian Szengel | 2012-05-07 |
* | - State merging fix | Maximilian Szengel | 2012-05-07 |
* | recursion for dfa construction | Maximilian Szengel | 2012-04-20 |
* | dfa minimization fix | Maximilian Szengel | 2012-04-19 |
* | test update | Maximilian Szengel | 2012-04-18 |