Mattias Engdegård
67977ae597
Eliminate some nested repetitions in regexps
...
Nested repetitions such as (A*)* potentially take exponential time but
can usually be rewritten in a faster and more readable way without
much trouble. These were all found by Relint.
* lisp/obsolete/terminal.el (te-parse-program-and-args):
* lisp/org/org.el (org-make-tags-matcher):
Apply the transform (A+B*)+ -> A(A|B)*
* lisp/textmodes/fill.el (adaptive-fill-regexp):
Apply the transform A*(B+A*)* -> (A|B)*
* lisp/progmodes/idlw-shell.el (idlwave-shell-filter):
Find the last newline or CR in a more direct way.
* lisp/progmodes/vhdl-mode.el (vhdl-port-copy, vhdl-subprog-copy):
Trim trailing whitespace from a string in a more direct way.
All-whitespace strings are left unchanged as before.
2023-10-29 17:40:36 +01:00
..
2023-09-02 18:57:11 +02:00
2023-01-01 05:31:12 -05:00
2023-07-30 16:52:11 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-02 23:03:32 -04:00
2023-04-30 19:36:21 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-09-17 16:57:25 +02:00
2023-02-12 15:43:07 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-24 19:47:12 -04:00
2023-01-01 05:31:12 -05:00
2023-03-18 21:41:22 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-10-21 12:26:36 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-20 00:41:31 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-10-21 12:26:36 +02:00
2023-04-24 19:47:12 -04:00
2023-01-01 05:31:12 -05:00
2023-01-20 23:32:21 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-07 23:50:54 -05:00
2023-02-12 15:43:07 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-08-16 16:55:38 +02:00
2023-01-01 05:31:12 -05:00
2023-08-27 22:38:34 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-24 19:47:12 -04:00
2023-01-01 05:31:12 -05:00
2023-08-13 22:11:45 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-09-17 16:49:21 +02:00
2023-10-09 23:47:52 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-08-20 20:25:53 +08:00
2023-10-09 23:47:52 -04:00
2023-02-12 15:43:07 -05:00
2023-01-01 05:31:12 -05:00
2023-01-24 21:37:22 +08:00
2023-02-20 00:41:31 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-09-17 16:49:21 +02:00
2023-01-01 05:31:12 -05:00
2023-07-30 16:52:11 -04:00
2023-01-01 05:31:12 -05:00
2023-07-30 16:52:11 -04:00
2023-01-01 22:24:28 -05:00
2023-02-12 15:43:07 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-07-30 16:52:11 -04:00
2023-01-01 05:31:12 -05:00
2023-08-23 09:56:35 +08:00
2023-08-13 22:11:45 -04:00
2023-01-01 05:31:12 -05:00
2023-03-18 21:41:22 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-18 21:41:22 -04:00
2023-09-17 16:49:21 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-10-09 23:47:52 -04:00
2023-10-29 17:40:36 +01:00
2023-03-18 21:41:22 -04:00
2023-08-25 20:35:38 +02:00
2023-10-01 19:00:26 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-24 19:47:12 -04:00
2023-01-01 05:31:12 -05:00
2023-03-18 21:41:22 -04:00
2023-04-30 19:36:21 -04:00
2023-01-01 05:31:12 -05:00
2023-08-13 22:11:45 -04:00
2023-07-30 16:52:11 -04:00
2023-08-13 22:11:45 -04:00