CA-GrQc.txt Analyzed Using Directed and Undirected Graphs

This repo contains the implementation of a number of algorithms for computing control dependencies, weak control closure, and static single assignment (SSA) program transformation.