4 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Jules Villard	4f77f82cba	[pulse] some models should "prune" instead of "and" ... Summary: Instead of recording some facts as "known" (i.e., observed assignments), record them as "pruned". This should be done any time the fact is not an assignment, for instance when path-splitting on "is the argument =0?" as in the model of `free()`. Reviewed By: ezgicicek Differential Revision: D26450362 fbshipit-source-id: 4fc980f90	5 years ago
Gabriela Cunha Sampaio	be39e74bd4	[pulse] Modeling checkState and checkArgument ... Summary: providing models for the checkState and checkArgument functions, both used in Java code. Reviewed By: da319 Differential Revision: D26101726 fbshipit-source-id: 0cc73d252	5 years ago