Commits
Nadav Rotem committed 37991af1cf0
[SIL] Add support for delete notification handlers. This commit adds the basic support for delete notification handlers. The SIL Module is notified every time an instruction is deleted. The module will forward notification messages to users who ask to be notified. The motivation for this work is described in the upcoming commit to OptimizerDesign.md.