]> Savannah Git Hosting - gnulib.git/commit
dfa: save memory for states
authorNorihiro Tanaka <noritnk@kcn.ne.jp>
Mon, 10 Oct 2016 14:08:29 +0000 (23:08 +0900)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 10 Oct 2016 15:27:11 +0000 (08:27 -0700)
commit2692e23a48e21f6daa029e8af9f1a143b7532f47
treea86b28a87daca34b030c411ae724079832c982f9
parent1ef68655809cac8db42ff69a2a7c171863b61357
dfa: save memory for states

* src/dfa (dfaexec_main): Beginning of dfa execution, release caches of
states if dfa has a lot of caches.
lib/dfa.c