{"push_id":1189387052,"size":10,"distinct_size":10,"ref":"refs/heads/soft","head":"080d8ffefc6022da56a392059f53f115d891c65a","before":"1b19fc0eff9940286438a1376a4e3ac396efe5cc","commits":[{"sha":"e8858ea285c99d52feb278252e5fd4f1e4fb3b41","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"A few optimizations for GL and SV handling of symbolic variable shifts.\nVL: add minimal support for 'case (...) inside'.\nRegex: document MATCH b* binder.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/e8858ea285c99d52feb278252e5fd4f1e4fb3b41"},{"sha":"aa064fbf51916b200f24b5386dc296574a8b06a4","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Merge remote-tracking branch 'remotes/origin/testing'","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/aa064fbf51916b200f24b5386dc296574a8b06a4"},{"sha":"ba683db3ba61aa5a0eb64507ad4a8f1ca7f35e11","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Fixed :short string for :doc union$.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/ba683db3ba61aa5a0eb64507ad4a8f1ca7f35e11"},{"sha":"e094fec08b56dc132d6c144e2b050b4d333eb048","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@Matts-MBP.home"},"message":"Avoid raw Lisp error for function already defined in raw Lisp.  Misc.: some book licenses are now BSD; a :doc fix; an endp test.\n\nQuoting :doc note-7-3:\n\n  ACL2 formerly caused a raw Lisp error when attempting to define a\n  function that was already defined in raw Lisp but not in ACL2. Now\n  an ordinary ACL2 error occurs instead. Thanks to Eric Smith for a\n  question leading to this change.\n\nAlso:\n\nChanged some book licenses to BSD 3-clause (all with appropriate\npermission); thanks to Jared Davis for pointing out remaining GPL\nlicenses.\n\nFixed a bug in :doc mbe.  Thanks to Mihir Mehta for pointing it out.\n\nReplaced null test by endp test in lookup-brr-stack, as requested by\nEric Smith (for proving termination).","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/e094fec08b56dc132d6c144e2b050b4d333eb048"},{"sha":"345a911509647fbc163ba5a1375d54a79f3a0c75","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Fix bug in SOFT.\n\nThe check for the arrow part of a function variable's type (in DEFUNVAR) was too\nstrict, requiring => to be in the ACL2 package. The check has now been relaxed.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/345a911509647fbc163ba5a1375d54a79f3a0c75"},{"sha":"efc241605264336d6744ac1517c78416d3252731","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Slightly improve SOFT.\n\nNow the SOFT user-level macros are available not only in the ACL2 package, but\nalso in the SOFT package.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/efc241605264336d6744ac1517c78416d3252731"},{"sha":"4d0969f353960b5998923f2d5fb88d35b1f4ba77","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Merge branch 'master'.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/4d0969f353960b5998923f2d5fb88d35b1f4ba77"},{"sha":"05c9a04a852baa95e7f7c678d7ebd0b3dd05d528","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@Matts-MBP.home"},"message":"Made more license fixes for books of J Moore, all approved by J.  Avoid Emacs warning from byte-compile-file, as pointed out by Warren Hunt.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/05c9a04a852baa95e7f7c678d7ebd0b3dd05d528"},{"sha":"7e6eb8025f03eeec4f25393f5f5eac087fa757ae","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Merge branch 'master'.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/7e6eb8025f03eeec4f25393f5f5eac087fa757ae"},{"sha":"080d8ffefc6022da56a392059f53f115d891c65a","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Improve implementation of SOFT.\n\nUse now-existing system utilities for querying DEFUN-SKs, instead of the ones\nthat were part of SOFT's implementation (which have now been removed).","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/080d8ffefc6022da56a392059f53f115d891c65a"}]}
{"actor":{"display_login":"acoglio"}}