Alex Coyte
482e1ef931
Ensure that reports would be sustained after self loop is removed
...
Approximante matching means that is now possible to get a non-standard report
on a cyclic during edge redundancy passes which means checks are now needed.
2017-08-21 11:12:26 +10:00
Justin Viiret
b454ab6484
ng_prefilter.cpp: remove interior edges first
...
This allows us to avoid looking them up while we're in copyOutEdges(),
halves time on large cases.
2017-08-21 11:12:26 +10:00
Justin Viiret
2fba9bd16c
ng_mcclellan: reject determinise if NFA is too big
2017-08-21 11:12:26 +10:00
Justin Viiret
e8f09aa8c6
ng_violet: fail on added_count limit quicker
...
- also fixes typo "splitForImplementability"
- adds more detail in debug output
2017-08-21 11:12:26 +10:00
Justin Viiret
cdb281df42
rose_build_convert: replace bind2nd with lambda
...
std::bind2nd was deprecated in C++11.
2017-08-21 11:12:26 +10:00
Justin Viiret
21a4c8d4e2
rdfa: move raw_dfa member functions to rdfa.cpp
2017-08-21 11:12:26 +10:00
Chang, Harry
35a42061f6
patch for invalid reading 1 byte in Reinforced Teddy, abandon fetching the first reinforced byte.
2017-08-21 11:12:26 +10:00
Justin Viiret
0d1e441629
cmake: add graph_range.h
2017-08-21 11:12:26 +10:00
Justin Viiret
c0320b8cdc
ng_depth: more use of small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
90faea4ce9
ng_depth: use small_color_map in findLoopReachable
2017-08-21 11:12:26 +10:00
Justin Viiret
9c046db360
ng_util: make more use of small_color_map in DFS
2017-08-21 11:12:26 +10:00
Justin Viiret
8d178d52ef
ng_util: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
f98ccedf27
ng_prune: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
33141e64b6
ng_netflow: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
b97fa8c808
ng_literal_analysis: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
32270725c6
ng_repeat: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
8982e7177c
ng_region: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
1392be048a
ng_width: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
03c1af1173
ng_misc_opt: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
48f9a6d518
limex_compile: use small_color_map
2017-08-21 11:12:26 +10:00
Justin Viiret
a1ff4d3293
small_color_map: add efficient 2-bit color map
2017-08-21 11:12:26 +10:00
Matthew Barr
35d396d061
noodle: correct streaming bounds
2017-08-21 11:12:26 +10:00
Matthew Barr
f2b97a51d8
noodle: param name
2017-08-21 11:12:26 +10:00
Matthew Barr
166f5d8ba5
noodle: scan using the correct offsets
2017-08-21 11:12:24 +10:00
Justin Viiret
1d041b12b7
shufti/truffle tests: silence ubsan warning
...
The ubsan support in clang warned about us accessing idx-1 of an array here.
2017-08-21 11:12:16 +10:00
Justin Viiret
4105dd4805
tamarama_dump: fix typo in comment
2017-08-21 11:12:16 +10:00
Justin Viiret
a659b9b686
slot_manager_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
82606b3ffe
smallwrite_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
9f0bc429b4
rose_in_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
e9f4adba0d
ng_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
06fa790b5d
tamarama_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
63f3718c79
shengdump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
08e094748c
mpv_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
6c647c2fb8
mcsheng_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
74f6e41296
mcclellandump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
0b40e96385
limex_dump: use StdioFile, tidy
2017-08-21 11:12:16 +10:00
Justin Viiret
80cf4bd9a2
lbr_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
a16a6f48b0
goughdump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
11408d0ce3
goughcompile_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Justin Viiret
a18fbfe873
castle_dump: use StdioFile
2017-08-21 11:12:16 +10:00
Matthew Barr
31a445a0e8
noodle: behave like our other literal matchers
...
Noodle now supports supplementary masks.
2017-08-21 11:10:20 +10:00
Matthew Barr
9c538a7522
Move hwlm literal len define
2017-08-21 11:10:20 +10:00
Matthew Barr
293f9fcc49
noodle: we don't need memcpy
2017-08-21 11:10:20 +10:00
Matthew Barr
4be7d6fecc
noodle: Use a sane temp buf for streaming
2017-08-21 11:10:18 +10:00
Justin Viiret
bf3ced92f4
hwlm_dump: take base filename, like NFA dump API
2017-08-21 11:10:11 +10:00
Justin Viiret
cbcc46444b
fdr/teddy: dump confirm lit load
2017-08-21 11:10:11 +10:00
Justin Viiret
f762fb9af6
dump_util: richer StdioFile type
2017-08-21 11:10:11 +10:00
Justin Viiret
4edf1e4195
dump: move openStdioFile() to util/dump_util.h
2017-08-21 11:10:11 +10:00
Justin Viiret
bc953717c1
rose: dump lit tables in their own files
2017-08-21 11:10:11 +10:00
Justin Viiret
e4788aae1a
fdr/teddy: store and dump number of strings
2017-08-21 11:10:11 +10:00