summaryrefslogtreecommitdiff
path: root/src/sigcheck.sml
Commit message (Collapse)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