challenge: Decompile the mini-c compiler, and recompile it producing byte identical output challenge
challenge: Decompile the c4 compiler, recompile it, and run them next to one another challenge
cmd/restructure: (Literal) graph isomorphism is not viable device for CFG matching control flow analysis
type: Solve type equations using constraint programming type analysis
cmd/restructure: R13, Support analysis of irreducible graphs control flow analysis
ProTip! Type g i on any issue or pull request to go back to the issue listing page.