Silver modularity analysis changelog
Date of Submission:
October 31, 2012
This document is intended as a log of all changes that had to be made to the Silver compiler implementation to conform to the modular well-denedness analysis's restrictions. This is a companion document to our SLE 2012 paper introducing this analysis.