diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2016-12-12 12:02:20 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2017-01-19 21:48:59 +0100 |
| commit | 53f84f7cbafcb177406f8f7bcc890e626e72ca63 (patch) | |
| tree | 37d5cbd337eb3fed871e04c20e904165dbef8d87 /GNUmakefile | |
| parent | 242f22f2ef7aeb14c36e54d7d44d3fd4e51a5d06 (diff) | |
| download | vis-53f84f7cbafcb177406f8f7bcc890e626e72ca63.tar.gz vis-53f84f7cbafcb177406f8f7bcc890e626e72ca63.tar.xz | |
text-regex: add regex backend based on libtre
While memory consumption should be improved, backward searches
will still be slow, because they are implemented in terms of
repeated forward searches. It needs to be investigated whether
the underlying automaton can have its transitions reversed and
essentially run backwards, as is the case in sam.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions