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
..
process_splitting_assert.cpp	Slightly more precise pi_partial_meet	6 years ago