Support for computed offsets in output. Also allow constructed bitstrings of length...
-rw-r--r-- 299 .depend
-rw-r--r-- 26542 COPYING.LIB
-rw-r--r-- 813 MANIFEST
-rw-r--r-- 410 META.in
-rw-r--r-- 6452 Makefile.in
-rw-r--r-- 673 README
-rw-r--r-- 1487 TODO
-rw-r--r-- 5002 aclocal.m4
-rw-r--r-- 27435 bitmatch.ml
-rw-r--r-- 26960 bitmatch.mli
-rw-r--r-- 1093 bitmatch_config.ml.in
-rw-r--r-- 1537 bitmatch_objinfo.ml
-rw-r--r-- 7611 bitmatch_persistent.ml
-rw-r--r-- 17676 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-- 36697 pa_bitmatch.ml
drwxr-xr-x - tests