repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: db8a5c0) | patch
*delete* bool_implications: this file is unused
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 19:23:27 +0000 (22:23 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 19:23:27 +0000 (22:23 +0300)
commitbe2a1f3025bbf8ff33f2504dba900583e3d07626
tree532583aeeda23da926895ace049d0f6984ffd35btree | snapshot (tar.gz zip)
parentdb8a5c0eb2d4b986b9505e4dfc3c6c72f39b2f13commit | diff
*delete* bool_implications: this file is unused

This hasn't been used since c843608b44 "db: remove return_implies table
and related code"

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_bool_implications.c [deleted file] blob | blame | history
check_list.h diff | blob | blame | history
Static analysis for C