projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8a45d8) | patch
try to infer nullity predicate inside update_predicate_tree. Maybe rethink about...
authorweiyu <weiyuluo1232@gmail.com>
Fri, 16 Aug 2019 02:05:01 +0000 (19:05 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Fri, 16 Aug 2019 02:05:01 +0000 (19:05 -0700)
commit8eee53a1677bf0aa8a3c4769dff56d2fad1886fc
treeaf559f03a9a601e61469172c711dcbca21f3e6bctree | snapshot
parentf8a45d8d10f16533c926096c7538b4d9be73240bcommit | diff
try to infer nullity predicate inside update_predicate_tree. Maybe rethink about the way to check back edges
funcnode.cc diff | blob | history
funcnode.h diff | blob | history
predicate.cc diff | blob | history
predicate.h diff | blob | history
C11 Tester Tool Public Repository