{"push_id":1947104176,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d5854bc5f2d650eb56465652c12bcd9c8b8ced46","before":"92a852c87f70df6d53d75db114115de98836cf1f","commits":[{"sha":"f8fee94aaf2e3e36e43a51bd8d6c8891a9e155e8","author":{"name":"Matt Kaufmann","email":"bd583fcbd536fab052adf39b9ec3df6a76db0f1b@gmail.com"},"message":"Fixed a redundancy bug that allowed more than one :ruler-extenders.  Added (state-p state) to guards when appropriate.  Also tweaked :doc run-script.\n\nQuoting :doc note-7-5 (where the first paragraph extends one that was\nalready there by adding the \"Moreover\" part):\n\n  Redundancy checking for [defun] forms has been improved so that for\n  [ruler-extenders], order doesn't matter and :lambdas is treated the\n  same as (:lambdas mv-list return-last). Thanks to Alessandro Coglio\n  for contributing a patch that formed the basis of this change.\n  Moreover, there was a bug: the redundancy check for definitions\n  could allow the new definition to be redundant even when it\n  specified more than one value for :ruler-extenders, which is\n  illegal. This has been fixed. Thanks to Alessandro Coglio for\n  bringing this issue to our attention.\n\n  ACL2 has supported, and continues to support, [defun] forms that\n  include the ACL2 [state] as an argument without declaring state\n  explicitly to be a [stobj]. This is done by first evaluating\n  (set-state-ok t). But in that case, the guard for such a function\n  erroneously failed to include (state-p state), which can have\n  unfortunate consequences; see\n  books/system/tests/state-p-in-guard.lisp in the [community-books].\n  This has been fixed. Thanks to Alessandro Coglio for contributing a\n  fix and for helpful conversations.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/f8fee94aaf2e3e36e43a51bd8d6c8891a9e155e8"},{"sha":"d5854bc5f2d650eb56465652c12bcd9c8b8ced46","author":{"name":"Matt Kaufmann","email":"bd583fcbd536fab052adf39b9ec3df6a76db0f1b@gmail.com"},"message":"Unclear why I need to merge here","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/d5854bc5f2d650eb56465652c12bcd9c8b8ced46"}]}
{"actor":{"display_login":"acoglio"}}