Towards new proof algorithm
authorMaximilian Szengel <gnunet@maxsz.de>
Mon, 4 Jun 2012 13:30:54 +0000 (13:30 +0000)
committerMaximilian Szengel <gnunet@maxsz.de>
Mon, 4 Jun 2012 13:30:54 +0000 (13:30 +0000)
commit64c0a28f57b9642ae2acda9d5d213201268226b7
tree1062294f72df4b5bc8389fc7ce9849b1ac106287
parentf50643947d805e2f027c6bcd165f36d4b3d4cc3b
Towards new proof algorithm
src/regex/regex.c
src/regex/test_regex_iterate_api.c