summaryrefslogtreecommitdiff
path: root/src/sigcheck.sml
Commit message (Expand)AuthorAge
* Revert to revision 2222.Gravatar Ziv Scully2015-09-21
* Make Mono.file a record for readability upon extension.Gravatar Ziv Scully2015-09-13
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15