]> granicus.if.org Git - re2c/commit
projects / re2c / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcb82c) | patch
Combined path cover generation with path cover size estimation.
authorUlya Trofimovich <skvadrik@gmail.com>
Thu, 3 Sep 2015 11:33:02 +0000 (12:33 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Thu, 3 Sep 2015 11:33:02 +0000 (12:33 +0100)
commita28d40048da319bd97eaf6165597549f97facabd
tree0f93430b863fc04afc7e2239a0d5404b898ad357tree | snapshot
parentebcb82cb52f64c4b2915e12f6514dcbd3552eed5commit | diff
Combined path cover generation with path cover size estimation.

We don't have any fallback algorithm in case path cover is too large.
We want to generate some paths anyway, so we have to construct path cover.
We shouldn't generate arbitrary large amounts of data.
re2c/src/codegen/skeleton/generate_data.cc diff | blob | history
re2c/src/codegen/skeleton/skeleton.cc diff | blob | history
re2c/src/codegen/skeleton/skeleton.h diff | blob | history
re2c/src/conf/msg.cc diff | blob | history
re2c/src/conf/msg.h diff | blob | history
re2c/src/conf/warn.cc diff | blob | history
re2c/src/ir/bytecode/bytecode.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.