{"push_id":793697299,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6d5f01c781bd39998246cf542d8681e4f4709302","before":"e50596a642bad1f640f47606a1e431fad8583f22","commits":[{"sha":"6d5f01c781bd39998246cf542d8681e4f4709302","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@Matts-MBP.attlocal.net","name":"Matt Kaufmann"},"message":"Sped up some theory processing.\n\nQuoting :doc note-7-2:\n\n  Various optimizations have been made for [theory] manipulation,\n  including some to make processing for efficient for [defund] and\n  [defthmd]. As a result, we have seen a 25% reduction in time for\n  evaluating the form (time$ (include-book \"centaur/sv/tutorial/alu\"\n  :dir :system)), which suggests that inclusion of large books might\n  particularly benefit from this change. Thanks to Sol Swords for\n  bringing this issue to our attention in GitHub Issue #401.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/6d5f01c781bd39998246cf542d8681e4f4709302"}]}