- State merging fix
authorMaximilian Szengel <gnunet@maxsz.de>
Mon, 7 May 2012 11:16:53 +0000 (11:16 +0000)
committerMaximilian Szengel <gnunet@maxsz.de>
Mon, 7 May 2012 11:16:53 +0000 (11:16 +0000)
commit2e7a6b023989a31954928972150e6ee4d10e06df
tree119f5c29e308c55e5cd337732f38e156a3cd39fb
parent426bcaa9b80ce3507873be65f0da57e6e4d45ae7
- State merging fix
- Proof creation WIP
src/regex/regex.c
src/regex/test_regex_eval_api.c
src/regex/test_regex_iterate_api.c