summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2019-02-21 15:21:42 +0100
committerDaniel Friesel <derf@finalrewind.org>2019-02-21 15:21:42 +0100
commit115274b46b61180ca1fea79511482fc704b552ca (patch)
tree48c8e81ae92d88a9d367141574d8614bd6b65994 /doc
parent31c25383a4f169ee7652c76f0bf323447cdbb334 (diff)
add generate-dfa-benchmark: trace-based benchmark generation
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions