summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* Improved descriptions of regex syntax.Kaz Kylheku2010-01-201-80/+61
| | | | Concise precedence table replaces paragraphs.
* Version 030.txr-030Kaz Kylheku2010-01-194-3/+17
|
* More regex grammar work.Kaz Kylheku2010-01-194-5/+17
|
* Whitespace.Kaz Kylheku2010-01-191-1/+1
|
* Resolving parser conflicts.Kaz Kylheku2010-01-193-18/+37
|
* Oops.txr-029Kaz Kylheku2010-01-181-1/+1
|
* Version 029.Kaz Kylheku2010-01-184-6/+22
|
* * 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-15 17:32:15 +0000