| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
| |
Revised description of regex operators. Added section
on intersection and complement, which may not be familiar
to regex users.
|
| |
|
|
| |
algebraic reductions in the derivative for the operator.
|
| | |
|
| |
|
|
| |
being treated as a non-complemented set of two characters.
|
| |
|
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
|
| |
regex operations (complement, intersection).
The syntax extensions documentation are retained.
|
| | |
|
| |\
| |
| |
| |
| | |
Conflicts:
ChangeLog
|
| | |
| |
| |
| |
| |
| |
| |
| | |
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.
|
| |/
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
* hash.h (sethash): Declared.
* lib.c (cobj_handle): New function.
* lib.h (cobj_handle): Declared.
|
| |
|
|
|
|
| |
no null pointer check over struct cobj_ops operations.
New typechecking function for COBJ objects.
|
| | |
|
| |
|
|
|
| |
from now on, which is compatible with unsigned char *.
No implicit conversion to or from this type, in C or C++.
|
| |
|
|
|
|
|
| |
(more): Update heap_min_bound and heap_max_bound.
(in_heap): Do early rejection tests on the pointer. If it's
not aligned, or it's completely outside of the bounding
box of the heap area, short circuit to false.
|
| | |
|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| | |
needed because suppressing generation of unput is requested via
the %option. In scanners generated by the legacy version of
flex, 2.5.4, still widely in use. this redundancy leads to
a multiple #define YY_NO_UNPUT and a compiler warning.
|
| |/
|
|
|
|
| |
warning options not appropriate for g++. Sometimes
g++ may be called something that dosn't end in g++,
like g++4.
|
| |
|
|
| |
gc failing to mark a local variable in txr_main.
|
| |
|
|
|
|
|
|
|
| |
during make install-tests, if it doesn't exist in the
install directory, a gcc compile command gets deposited
into the run.sh generated script.
(install-tests): Fixes to make this work when using
a separate build directory. Split the cpio -p job
into a cpio -i piping into cpio -o.
|
| |
|
|
|
| |
test cases part of the installation, and a generated script to run the
commands on the installation host.
|
| |
|
|
| |
files that are not in the project.
|
| |
|
|
|
| |
then remove some C-front-end-specific warnings from CFLAGS,
which the g++ front end will complain about.
|
| |
|
|
|
|
| |
This suppresses some warnings from a byacc-generated parser,
and gets rid of a useless static sccsid array. May help with
Bison-generated parser also.
|
| |
|
|
|
| |
unused functons yyunput and yyinput, thus getting rid of
some compiler diagnostics.
|
| |
|
|
| |
in regex module not exposed in header. Etc.
|
| | |
|
| |
|
|
|
| |
Make install step does some things more correctly now,
without relying on the install program.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
txr is known to work with two yacc implementations: GNU Bison
and Berkeley yacc. Let's add some auto-detection for yacc.
|
| |
|
|
| |
accessibility of the heap object if valgrind debugging is not enabled.
|
| |
|
|
| |
in chrlit. Include <stdlib.h> for abort.
|
| | |
|
| |
|
|
|
| |
Valgrind protection of free blocks. This works independently
of --gc-debug.
|
| |
|
|
|
|
|
|
|
| |
The parser.y file includes "utf8.h", which uses the the type wint_t.
It also includes "lib.h" which uses "wchar_t". But it fails
to include any headers which define these types.
The generated y.tab.c picks up wchar_t by the Bison-inserted
inclusion of <stdlib.h>, so that's how we got that. But wint_t does not
come from any of the headers---if they are standard-conforming.
|
| | |
|
| |
|
|
|
|
|
|
| |
to vector data; they point to element 0 which is actually the third
element of the vector. If an object is only referenced by interior
pointers, Valgrind reports it as possibly leaked. This change
conditionally adds a pointer to the true start of the vector,
if Valgrind support is enabled.
|
| |
|
|
| |
positives when gc is accessing uninitialized parts of the stack.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
to C++). Caught by regression test suite. Found using git bisect.
|
