{"push_id":3528799927,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"41b0b51481309920cac43ff567b5c1d0cebab51f","before":"496af1b53a41e2f77a1e0349a16db4710ed7d660","commits":[{"sha":"d45ef779c24c6da0488a1ca252aa772783820eb8","author":{"name":"Matt Kaufmann","email":"ec40743754137ee363bbb55e78fb292c86850f89@gmail.com"},"message":"Fixed overly strong assertion in memoize-fn-inner-body; made a couple of trivial optimizations there; improved relevant comments; added relevant tests.\n\nThe new tests are at the end of books/projects/apply/loop-tests.lisp.\nThanks to Mertcan Temel for a query that led me to add those tests,\nwhich uncovered the assertion bug.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/d45ef779c24c6da0488a1ca252aa772783820eb8"},{"sha":"aca7a74c75a7ae3c454b1788a7a34f7177d28461","author":{"name":"Matt Kaufmann","email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu"},"message":"Tweaked :doc time and :doc verify-guards-for-system-functions to address issues raised by Mihir Mehta.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/aca7a74c75a7ae3c454b1788a7a34f7177d28461"},{"sha":"2ad5961d1c9fc45e6447acf03ee7fd61819aa8af","author":{"name":"Matt Kaufmann","email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu"},"message":"Correct recent mod to :doc note-8-2.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/2ad5961d1c9fc45e6447acf03ee7fd61819aa8af"},{"sha":"41b0b51481309920cac43ff567b5c1d0cebab51f","author":{"name":"Matt Kaufmann","email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu"},"message":"Synched doc.lisp","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/41b0b51481309920cac43ff567b5c1d0cebab51f"}]}
{"actor":{"display_login":"acoglio"}}