projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8eee53a) | patch
defer the initial update of predicate tree for a better quality tree; generate nullit...
authorweiyu <weiyuluo1232@gmail.com>
Fri, 16 Aug 2019 19:23:29 +0000 (12:23 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Fri, 16 Aug 2019 19:23:29 +0000 (12:23 -0700)
commitae3b87a50d4122a8feb95eddc6b0f208f6c7d5cc
tree0862f00b2ecc733db9936de30a4555183bf334ebtree | snapshot
parent8eee53a1677bf0aa8a3c4769dff56d2fad1886fccommit | diff
defer the initial update of predicate tree for a better quality tree; generate nullity predicates when new Predicate nodes are created instead of changing unset predicates to nullity later
funcnode.cc diff | blob | history
funcnode.h diff | blob | history
history.cc diff | blob | history
C11 Tester Tool Public Repository