[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#17350: [PATCH] grep: speed up for a case to repeat failure in DFA af
From: |
Paul Eggert |
Subject: |
bug#17350: [PATCH] grep: speed up for a case to repeat failure in DFA after success in kwset |
Date: |
Tue, 06 May 2014 07:46:32 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 |
Thanks, I pushed that with minor changes to the ChangeLog message (first
attached patch). It's a tad faster to combine the relevant flags at
compile-time so I did that (second attached patch).
"Iff" means "if and only if"; see <http://en.wikipedia.org/wiki/Iff>. I
got the habit of trying to be logically-precise from RMS, who I guess
got it back in the days when he was doing AI. Anyway, I reworded the
text in a different way to avoid the misuse of "if" (third attached patch).
0001-dfa-speed-up-dfaisfast.patch
Description: Text document
0002-dfa-minor-performance-improvement-for-previous-chang.patch
Description: Text document
0003-dfa-clarify-use-of-if.patch
Description: Text document