summaryrefslogtreecommitdiff
path: root/src/sigcheck.sml
Commit message (Collapse)AuthorAge
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15