simplified regex/proof generation
authorMaximilian Szengel <gnunet@maxsz.de>
Mon, 11 Jun 2012 15:10:21 +0000 (15:10 +0000)
committerMaximilian Szengel <gnunet@maxsz.de>
Mon, 11 Jun 2012 15:10:21 +0000 (15:10 +0000)
commit16cf819a0feb38c36b046c59febae5bc511a3d1b
tree5a2add323bee9c5646cd56a0e37eb6a29c5de034
parent300a9b12a902e6af2b763910fb372020a857ae7c
simplified regex/proof generation
src/regex/regex.c
src/regex/test_regex_eval_api.c
src/regex/test_regex_iterate_api.c