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.

Radu Grigore 86861498a5 Slightly more precise pi_partial_meet ... Summary: To meet the pure parts of formulas, the process was to (a) call Rename.extend with variables occuring in similar places and (b) extract substitutions out of those. Two matching primed vars would both be replaced by some fresh primed var. However, equivalence classes of primed variables would *not* be replaced by one fresh (primed) variable. Now, that should work. Reviewed By: mbouaziz Differential Revision: D14150192 fbshipit-source-id: 90ca9216c		6 years ago
..
errors	Slightly more precise pi_partial_meet	6 years ago
frontend	[SIL][2/3] print all the CallFlags	6 years ago
ioslints	[ios] kill flaky linter test	6 years ago
linters	New Infer rule for dispatch_once_t	6 years ago
linters-def-folder	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
linters-for-test-only	[objc] Fix test results for linters	6 years ago
liveness	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
nullable	[infer][nullsafe] add a NULLSAFE_ prefix to the internal name of the Nullsafe errors	6 years ago
quandary	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
shared	[SIL][2/3] print all the CallFlags	6 years ago
uninit	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago