Summary: regex cleanup and bugfixes
authorMaximilian Szengel <gnunet@maxsz.de>
Wed, 4 Jul 2012 13:54:43 +0000 (13:54 +0000)
committerMaximilian Szengel <gnunet@maxsz.de>
Wed, 4 Jul 2012 13:54:43 +0000 (13:54 +0000)
commitbd0e2cd49ae9ae916f6a4288ac8893128b8168d6
treec680e35f3d2bb3cffb114808bd19f2299885af50
parenta93954693fef730d7a41c168b4961d19e5dff90c
Summary: regex cleanup and bugfixes
Author: szengel
src/regex/Makefile.am
src/regex/regex.c
src/regex/regex_graph.c [new file with mode: 0644]
src/regex/regex_internal.h
src/regex/test_regex_eval_api.c
src/regex/test_regex_proofs.c