You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josh Berdine d8336ea906 [backend] Keep common constraints in pure join ... Summary: This changes the algorithm for pure join to keep the constraints that, after normalization, occur in both arguments. Previously pure join would normalize, filter, and then union the constraints of the arguments. Reviewed By: sblackshear Differential Revision: D3970394 fbshipit-source-id: 3dc1672		8 years ago
..
checkers	[tests] Add test for suboptimal join of attributes	8 years ago
crashcontext	[tests] Convert java harness and crashcontext tests to new direct format.	8 years ago
eradicate	Convert java infer tests to the new direct format	8 years ago
errors	Fix indentation of multiline copyright comment	9 years ago
harness	[tests] Convert java harness and crashcontext tests to new direct format.	8 years ago
infer	[backend] Keep common constraints in pure join	8 years ago
quandary	[quandary] dont add passthroughs from callee to caller	8 years ago
tracing	Convert java tracing tests to new direct format.	8 years ago
.inferconfig	One step closer to shipping initial GUARDEDBY	9 years ago
Makefile	[infer][java] Separate the builtins from the other models for a better modularity	8 years ago