heanylab/instructiongraphs

A formalization of instruction graphs as defined in https://www.cs.cmu.edu/~mmv/papers/14aamas-MericliEtAl.pdf, with an interpreter to boot.

TeX