summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* * regex.c (reg_derivative_list, reg_derivative): RecognitionKaz Kylheku2010-01-182-6/+39
| | | | | | | | | of cases to reduce consing. In reg_derivative_list, we avoid consing the full or expression if either branch is t, and also save a cons when the first element has a null derivative. In reg_derivative the oneplus and zeroplus cases are split, since zeroplus can re-use the input expression, when it's just a one-character match, deriving nil.
* Adjust semantics of non-greedy operator R%S, to avoid the brokenKaz Kylheku2010-01-183-21/+41
| | | | | | | | case whereby R%S matches nothing at all when S is not empty but equivalent to empty, or more generally when S is nullable. A much nicer definition is ``the intersection of R* and the set of all strings that do not contain a non-empty substring that matches S, followed by S''.
* Spelling; enhanced wording.Kaz Kylheku2010-01-181-5/+8
|
* Spurious period.Kaz Kylheku2010-01-171-1/+1
|
* Reduce doubled word.Kaz Kylheku2010-01-171-1/+1
|
* Close parenthesis. De Morgan is two words.Kaz Kylheku2010-01-171-2/+2
|
* Show "git head" version in bleeding-edge document.Kaz Kylheku2010-01-172-3/+3
|
* Clarify that regexes /can/ match across multiple lines with @(freeform).Kaz Kylheku2010-01-171-4/+6
|
* Fix bizarre edit mistake.Kaz Kylheku2010-01-171-3/+3
|
* * parser.y (regterm, regclass): Relocate handlingKaz Kylheku2010-01-172-3/+8
| | | | of empty [] into regterm, via empty derivation.
* Regex syntactic tweaks: support the [] syntaxKaz Kylheku2010-01-163-6/+35
| | | | | to match no character and [^] as its complement, being synonymous with the wildcard dot.
* Fix man page date.txr-028Kaz Kylheku2010-01-162-10/+10
|
* Version 028.Kaz Kylheku2010-01-165-4/+24
|
* Whitespace.Kaz Kylheku2010-01-161-5/+5
|
* Improved wording.Kaz Kylheku2010-01-161-58/+80
|
* Restore missing text.Kaz Kylheku2010-01-161-0/+1
|
* Grammar.Kaz Kylheku2010-01-161-4/+4
|
* Wording.Kaz Kylheku2010-01-161-2/+2
|
* Wrong section type.Kaz Kylheku2010-01-161-1/+1
|
* Describe Kleene and non-greedy behavior more accurately.Kaz Kylheku2010-01-152-6/+13
|
* * txr.1: Get rid of parens from regex operator descriptions.Kaz Kylheku2010-01-152-1/+5
| | | | | Correct wrong text: all operators can take an empty regex. Clarify escaping rules within a character class.
* * txr.1: Get rid of parens from regex operator descriptions.Kaz Kylheku2010-01-152-4/+6
| | | | Correct wrong text: all operators can take an empty regex.
* * txr.1: Get rid of parens from regex operator descriptions.Kaz Kylheku2010-01-152-23/+27
|
* Correction.Kaz Kylheku2010-01-151-1/+1
|
* Clean up junk.Kaz Kylheku2010-01-151-4/+0
|
* * genman.txr, txr.1: Encode version differently; extractKaz Kylheku2010-01-153-4/+9
| | | | from text during HTML conversion.
* Automate the maintenance of the HTML-ized man page.Kaz Kylheku2010-01-153-0/+94
|
* Automate the maintenance of the HTML-ized man page.Kaz Kylheku2010-01-150-0/+0
|
* Implemented non-greedy operator.Kaz Kylheku2010-01-157-117/+242
|
* * regex.c (reg_derivative_list): Bugfix: wrong algebra,Kaz Kylheku2010-01-152-1/+6
| | | | taking a double derivative of the first item.
* Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/txrKaz Kylheku2010-01-152-2/+6
|\
| * * txr.1: Fix accidental edit garbage.Kaz Kylheku2010-01-152-1/+5
| |
| * Changelog fix.Kaz Kylheku2010-01-151-1/+1
| |
* | * txr.1: Fix accidental .b, which should have been .B.Kaz Kylheku2010-01-142-9/+127
|/ | | | | | Revised description of regex operators. Added section on intersection and complement, which may not be familiar to regex users.
* * regex.c (reg_derivative): Bugfix: remove invalidKaz Kylheku2010-01-142-9/+6
| | | | algebraic reductions in the derivative for the operator.
* Bugfix: allow unescaped / to be used in regex character classes.Kaz Kylheku2010-01-134-7/+36
|
* * parser.y (precedence): bugfix: character classes like this [^*]Kaz Kylheku2010-01-132-1/+7
| | | | being treated as a non-complemented set of two characters.
* Dynamically determine which regex implementation to use:Kaz Kylheku2010-01-133-2/+51
| | | | | | | NFA or derivatives. The default behavior is NFA, with derivatives used if the regular expression contains uses of complement or intersection. The --dv-regex option forces derivatives always.
* * lib.h (c_num): Remove redundant declaration.Kaz Kylheku2010-01-132-2/+5
|
* Impelement derivative-based regular expressions.Kaz Kylheku2010-01-139-282/+627
|
* Remove incorrect implementation of extendedKaz Kylheku2010-01-062-273/+50
| | | | | regex operations (complement, intersection). The syntax extensions documentation are retained.
* Some fine tuning in regex grammar.Kaz Kylheku2010-01-062-2/+14
|
* Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/txrKaz Kylheku2010-01-053-13/+24
|\ | | | | | | | | Conflicts: ChangeLog
| * * lib.c (make_package, find_package): Eliminate declarationKaz Kylheku2009-12-173-13/+24
| | | | | | | | | | | | | | | | in the middle of statement block. * lib.h (TAG_MASK): Becomes type cnum rather than long. (nao): Based off 1 rather than -1 to avoid left shift of negative number.
* | Implemented the regular expression ~ and & operators.Kaz Kylheku2010-01-057-51/+372
|/ | | | | | | | | | | | | | | This turns out to be easy to do in NFA land. The complement of an NFA has exactly the same number and configuration of states and transitions, except that the states have an inverted meaning; and furthermore, failed character transitions are routed to an extra state (which in this impelmentation is permanently allocated and shared by all regexes). The regex & is implemented trivially using DeMorgan's. Also, bugfix: regular expressions like A|B|C are allowed now by the syntax, rather than constituting syntax error. Previously, this would have been entered as (A|B)|C.
* Remove unnecessary cast.Kaz Kylheku2009-12-091-1/+1
|
* * parser.l (YYINPUT): Fix signed/unsigned comparison.Kaz Kylheku2009-12-092-2/+7
|
* * hash.c (sethash): New function.Kaz Kylheku2009-12-095-0/+25
| | | | | | | | * hash.h (sethash): Declared. * lib.c (cobj_handle): New function. * lib.h (cobj_handle): Declared.
* All COBJ operations have default implementations now;Kaz Kylheku2009-12-087-43/+95
| | | | | | no null pointer check over struct cobj_ops operations. New typechecking function for COBJ objects.
* More void * to mem_t * conversion.Kaz Kylheku2009-12-054-10/+22
|