This is an implementation of the equivalence checker presented in "Semantic Program Alignment for Equivlance Checking" by Berkeley Churchill, Oded Padon, Rahul Sharma and Alex Aiken, presented at PLDI ...
What is a copyright and license header? A copyright and license header is typically found at the top of each source file in a project. It might look like this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results