StrongerXi / soc

Compiler for a subset of OCaml
1 stars 0 forks source link

Document invariant for greedy register allocator. #55

Closed StrongerXi closed 3 years ago

StrongerXi commented 3 years ago

To clarify and document some claims from #54.