{"push_id":2091048860,"size":4,"distinct_size":4,"ref":"refs/heads/nik_revised_deps","head":"48c55806f0e8368d0a9f2b2a66a77463e5d653c0","before":"70749710ee070ab4d45d4e530a716666c6a3059b","commits":[{"sha":"40d69807d70ab8675e81cc5eec72625715aed53b","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"* Restoring *.checked.lax, used only when --lax is explicit on the command line\n\n* Added an option, --expose A, for use when multiple modules are provided on the command line, specifically to break the abstraction enforced by A.fsti\n\n* --dep full now also prints a ALL_FST_FILES variable, useful for full project verification","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/40d69807d70ab8675e81cc5eec72625715aed53b"},{"sha":"e88fe4a285ddd2ceed18f839be71dd96617ccb36","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"revising `--expose A` to `--expose_interfaces`, which is a catch-all, rather than being module-specific","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e88fe4a285ddd2ceed18f839be71dd96617ccb36"},{"sha":"4cdb5ad011d090691c23330ef3979ec262a0f214","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"updating makefiles","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4cdb5ad011d090691c23330ef3979ec262a0f214"},{"sha":"48c55806f0e8368d0a9f2b2a66a77463e5d653c0","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"snap","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/48c55806f0e8368d0a9f2b2a66a77463e5d653c0"}]}
{"actor":{"display_login":"nikswamy"}}