2012-06-12 | Christian Grothoff | -consistently use struct GNUNET_HashCode | blob | commitdiff | raw |
2012-06-11 | Maximilian Szengel | simplified regex/proof generation | blob | commitdiff | raw | diff to current |
2012-06-06 | Maximilian Szengel | Better proofs | blob | commitdiff | raw | diff to current |
2012-06-04 | Maximilian Szengel | Towards new proof algorithm | blob | commitdiff | raw | diff to current |
2012-05-07 | Maximilian Szengel | Fixed compilation warnings | blob | commitdiff | raw | diff to current |
2012-05-07 | Maximilian Szengel | - State merging fix | blob | commitdiff | raw | diff to current |
2012-04-20 | Maximilian Szengel | recursion for dfa construction | blob | commitdiff | raw | diff to current |
2012-04-19 | Maximilian Szengel | dfa minimization fix | blob | commitdiff | raw | diff to current |
2012-04-18 | Maximilian Szengel | test update | blob | commitdiff | raw | diff to current |