Kaminski, Ted2020-09-022020-09-022012-10-31https://hdl.handle.net/11299/215902This 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.en-USReport