summaryrefslogtreecommitdiff
path: root/backend/CleanupLabelsproof.v
Commit message (Expand)AuthorAge
* Merge of branch new-semantics: revised and strengthened top-level statements ...Gravatar xleroy2011-07-15
* powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).Gravatar xleroy2011-05-08
* Added pass CleanupLabels to remove unreferenced labels in a proved way.Gravatar xleroy2011-05-08