Refactor constructor and extractor function name generation (Bluestorm).
-rw-r--r-- 519 .depend
-rw-r--r-- 26542 COPYING.LIB
-rw-r--r-- 813 MANIFEST
-rw-r--r-- 410 META.in
-rw-r--r-- 6568 Makefile.in
-rw-r--r-- 673 README
-rw-r--r-- 1775 TODO
-rw-r--r-- 5002 aclocal.m4
-rw-r--r-- 28395 bitmatch.ml
-rw-r--r-- 28246 bitmatch.mli
-rw-r--r-- 1093 bitmatch_config.ml.in
-rw-r--r-- 1537 bitmatch_objinfo.ml
-rw-r--r-- 7696 bitmatch_persistent.ml
-rw-r--r-- 17741 bitmatch_persistent.mli
-rw-r--r-- 1018 bitmatch_types.ml
drwxr-xr-x - cil-tools
-rw-r--r-- 1826 configure.ac
-rw-r--r-- 670 create_test_pattern.ml
drwxr-xr-x - examples
-rwxr-xr-x 13184 install-sh
-rw-r--r-- 30006 pa_bitmatch.ml
drwxr-xr-x - tests