{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":23556724,"defaultBranch":"master","name":"acl2","ownerLogin":"acl2","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-09-01T21:51:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5464462?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721774926.0","currentOid":""},"activityList":{"items":[{"before":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","after":"a3f996af713cf000914442bb1f43106c178235cf","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-07T15:01:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"[AleoBFT] Add initial model and proofs of AleoBFT.\n\nAleoBFT is a Byzantine-fault-tolerant blockchain consensus protocol. This commit\nadds an initial model of a substantial subset of this protocol, along with a\nproof of the critical property that blockchains never fork.\n\nThis is joint work with Eric McCarthy.","shortMessageHtmlLink":"[AleoBFT] Add initial model and proofs of AleoBFT."}},{"before":"5c966ac1ef5900c66c9498c67fe1ccf472e07720","after":"a3f996af713cf000914442bb1f43106c178235cf","ref":"refs/heads/testing","pushedAt":"2024-08-07T06:25:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[AleoBFT] Add initial model and proofs of AleoBFT.\n\nAleoBFT is a Byzantine-fault-tolerant blockchain consensus protocol. This commit\nadds an initial model of a substantial subset of this protocol, along with a\nproof of the critical property that blockchains never fork.\n\nThis is joint work with Eric McCarthy.","shortMessageHtmlLink":"[AleoBFT] Add initial model and proofs of AleoBFT."}},{"before":"5c966ac1ef5900c66c9498c67fe1ccf472e07720","after":"a3f996af713cf000914442bb1f43106c178235cf","ref":"refs/heads/master","pushedAt":"2024-08-07T06:24:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[AleoBFT] Add initial model and proofs of AleoBFT.\n\nAleoBFT is a Byzantine-fault-tolerant blockchain consensus protocol. This commit\nadds an initial model of a substantial subset of this protocol, along with a\nproof of the critical property that blockchains never fork.\n\nThis is joint work with Eric McCarthy.","shortMessageHtmlLink":"[AleoBFT] Add initial model and proofs of AleoBFT."}},{"before":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","after":"a3f996af713cf000914442bb1f43106c178235cf","ref":"refs/heads/testing-user-01","pushedAt":"2024-08-07T05:49:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"[AleoBFT] Add initial model and proofs of AleoBFT.\n\nAleoBFT is a Byzantine-fault-tolerant blockchain consensus protocol. This commit\nadds an initial model of a substantial subset of this protocol, along with a\nproof of the critical property that blockchains never fork.\n\nThis is joint work with Eric McCarthy.","shortMessageHtmlLink":"[AleoBFT] Add initial model and proofs of AleoBFT."}},{"before":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","after":"5c966ac1ef5900c66c9498c67fe1ccf472e07720","ref":"refs/heads/testing","pushedAt":"2024-08-07T04:27:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Sync doc.lisp etc.","shortMessageHtmlLink":"Sync doc.lisp etc."}},{"before":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","after":"5c966ac1ef5900c66c9498c67fe1ccf472e07720","ref":"refs/heads/master","pushedAt":"2024-08-07T04:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MattKaufmann","name":null,"path":"/MattKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5560443?s=80&v=4"},"commit":{"message":"Sync doc.lisp etc.","shortMessageHtmlLink":"Sync doc.lisp etc."}},{"before":"3e664b3de72f8f051572444138cbf478437f3ff5","after":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-07T01:58:11.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"[C] Improve some doc.","shortMessageHtmlLink":"[C] Improve some doc."}},{"before":"3e664b3de72f8f051572444138cbf478437f3ff5","after":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","ref":"refs/heads/testing","pushedAt":"2024-08-07T01:44:15.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[C] Improve some doc.","shortMessageHtmlLink":"[C] Improve some doc."}},{"before":"3e664b3de72f8f051572444138cbf478437f3ff5","after":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","ref":"refs/heads/master","pushedAt":"2024-08-07T01:43:31.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[C] Improve some doc.","shortMessageHtmlLink":"[C] Improve some doc."}},{"before":"953bf91490edac8eb19fcea963aad9966a265cd0","after":"c3759b6b6f1f4ed2d05f1faec92b545cc864463e","ref":"refs/heads/testing-user-01","pushedAt":"2024-08-07T00:47:13.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"[C] Improve some doc.","shortMessageHtmlLink":"[C] Improve some doc."}},{"before":"ede9904b59d18134b36e7c201e71007be687c385","after":"3e664b3de72f8f051572444138cbf478437f3ff5","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-06T18:27:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD","shortMessageHtmlLink":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD"}},{"before":"953bf91490edac8eb19fcea963aad9966a265cd0","after":"3e664b3de72f8f051572444138cbf478437f3ff5","ref":"refs/heads/testing","pushedAt":"2024-08-06T07:06:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD","shortMessageHtmlLink":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD"}},{"before":"953bf91490edac8eb19fcea963aad9966a265cd0","after":"3e664b3de72f8f051572444138cbf478437f3ff5","ref":"refs/heads/master","pushedAt":"2024-08-06T07:05:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD","shortMessageHtmlLink":"Merge commit 'ede9904b59d18134b36e7c201e71007be687c385' into HEAD"}},{"before":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","after":"ede9904b59d18134b36e7c201e71007be687c385","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-06T06:24:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ericwhitmansmith","name":"Eric W. Smith","path":"/ericwhitmansmith","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48038799?s=80&v=4"},"commit":{"message":"[axe] Fix and clarify printing.\n\nAxe aims to organize its printing using balanced parens to structure the output from various phases, but there were some code paths on which matching close parens were not printed.","shortMessageHtmlLink":"[axe] Fix and clarify printing."}},{"before":"0ad6cdfecb336ec6ad0bdcb1d3804e9648cf13e5","after":"953bf91490edac8eb19fcea963aad9966a265cd0","ref":"refs/heads/testing-user-01","pushedAt":"2024-08-06T04:22:44.000Z","pushType":"push","commitsCount":44,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"Merge pull request #1615 from mister-walter/update-acl2-prebuilt-binaries-acl2s\n\n[doc] Update the pre-built-binary-distributions XDOC topic","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449408005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/acl2/acl2/issues/1615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/acl2/acl2/pull/1615/hovercard\" href=\"https://github.com/acl2/acl2/pull/1615\">#1615</a> from mister-walter/update-acl2-prebuilt-bina…"}},{"before":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","after":"953bf91490edac8eb19fcea963aad9966a265cd0","ref":"refs/heads/master","pushedAt":"2024-08-06T04:13:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Merge pull request #1615 from mister-walter/update-acl2-prebuilt-binaries-acl2s\n\n[doc] Update the pre-built-binary-distributions XDOC topic","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449408005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/acl2/acl2/issues/1615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/acl2/acl2/pull/1615/hovercard\" href=\"https://github.com/acl2/acl2/pull/1615\">#1615</a> from mister-walter/update-acl2-prebuilt-bina…"}},{"before":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","after":"953bf91490edac8eb19fcea963aad9966a265cd0","ref":"refs/heads/testing","pushedAt":"2024-08-06T03:40:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"MattKaufmann","name":null,"path":"/MattKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5560443?s=80&v=4"},"commit":{"message":"Merge pull request #1615 from mister-walter/update-acl2-prebuilt-binaries-acl2s\n\n[doc] Update the pre-built-binary-distributions XDOC topic","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449408005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/acl2/acl2/issues/1615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/acl2/acl2/pull/1615/hovercard\" href=\"https://github.com/acl2/acl2/pull/1615\">#1615</a> from mister-walter/update-acl2-prebuilt-bina…"}},{"before":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","after":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","ref":"refs/heads/testing","pushedAt":"2024-08-05T16:07:14.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[c2c] Add ignore declaration to split-fn-proofs","shortMessageHtmlLink":"[c2c] Add ignore declaration to split-fn-proofs"}},{"before":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","after":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","ref":"refs/heads/master","pushedAt":"2024-08-05T16:06:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[c2c] Add ignore declaration to split-fn-proofs","shortMessageHtmlLink":"[c2c] Add ignore declaration to split-fn-proofs"}},{"before":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","after":"6eba3853d2ee8f997eefc1ac699a29af3e31a1be","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-05T15:23:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"gjurgensen","name":"Grant Jurgensen","path":"/gjurgensen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11681975?s=80&v=4"},"commit":{"message":"[c2c] Add ignore declaration to split-fn-proofs","shortMessageHtmlLink":"[c2c] Add ignore declaration to split-fn-proofs"}},{"before":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","after":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","ref":"refs/heads/testing","pushedAt":"2024-08-03T20:56:13.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[helpers] Improve speed-up tool.\n\nGet more accurate times for non-defthms.  Add to list of event types to skip.  Clarify implementation.","shortMessageHtmlLink":"[helpers] Improve speed-up tool."}},{"before":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","after":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","ref":"refs/heads/master","pushedAt":"2024-08-03T20:55:22.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[helpers] Improve speed-up tool.\n\nGet more accurate times for non-defthms.  Add to list of event types to skip.  Clarify implementation.","shortMessageHtmlLink":"[helpers] Improve speed-up tool."}},{"before":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","after":"fc602cc042d6e4cdfb9d714932f2ba7ae6d377c1","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-03T20:03:05.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"ericwhitmansmith","name":"Eric W. Smith","path":"/ericwhitmansmith","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48038799?s=80&v=4"},"commit":{"message":"[helpers] Improve speed-up tool.\n\nGet more accurate times for non-defthms.  Add to list of event types to skip.  Clarify implementation.","shortMessageHtmlLink":"[helpers] Improve speed-up tool."}},{"before":"5940ef2ff19defb4babbb342855be70bb5557680","after":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","ref":"refs/heads/testing-kestrel","pushedAt":"2024-08-01T21:48:24.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"acoglio","name":"Alessandro Coglio","path":"/acoglio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2409151?s=80&v=4"},"commit":{"message":"Added a comment pertaining to change made by my preceding commit.\n\nI built saved_acl2 after making this change, but since this is a\ncomment-only change, I didn't run a regression.","shortMessageHtmlLink":"Added a comment pertaining to change made by my preceding commit."}},{"before":"18af2d2cd3b712389525d64e66dc0c490b8e2ca6","after":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","ref":"refs/heads/testing","pushedAt":"2024-08-01T20:40:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Added a comment pertaining to change made by my preceding commit.\n\nI built saved_acl2 after making this change, but since this is a\ncomment-only change, I didn't run a regression.","shortMessageHtmlLink":"Added a comment pertaining to change made by my preceding commit."}},{"before":"18af2d2cd3b712389525d64e66dc0c490b8e2ca6","after":"e8434bafd280bd06a0f3d2f1eefc5da0a369bc4a","ref":"refs/heads/master","pushedAt":"2024-08-01T20:39:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MattKaufmann","name":null,"path":"/MattKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5560443?s=80&v=4"},"commit":{"message":"Added a comment pertaining to change made by my preceding commit.\n\nI built saved_acl2 after making this change, but since this is a\ncomment-only change, I didn't run a regression.","shortMessageHtmlLink":"Added a comment pertaining to change made by my preceding commit."}},{"before":"5940ef2ff19defb4babbb342855be70bb5557680","after":"18af2d2cd3b712389525d64e66dc0c490b8e2ca6","ref":"refs/heads/testing","pushedAt":"2024-08-01T20:20:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"5940ef2ff19defb4babbb342855be70bb5557680","after":"18af2d2cd3b712389525d64e66dc0c490b8e2ca6","ref":"refs/heads/master","pushedAt":"2024-08-01T20:19:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MattKaufmann","name":null,"path":"/MattKaufmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5560443?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"fa5b71bc2474786812244098160af4e75031fb75","after":"5940ef2ff19defb4babbb342855be70bb5557680","ref":"refs/heads/testing-acl2s","pushedAt":"2024-08-01T15:07:42.000Z","pushType":"push","commitsCount":63,"pusher":{"login":"pmanolios","name":"Pete Manolios","path":"/pmanolios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9030819?s=80&v=4"},"commit":{"message":"[axe/x86] Improve unroller.\n\nAvoid passing in unhelpful assumptions when pruning (things that the STP solver doesn't know about).","shortMessageHtmlLink":"[axe/x86] Improve unroller."}},{"before":"0ad6cdfecb336ec6ad0bdcb1d3804e9648cf13e5","after":"5940ef2ff19defb4babbb342855be70bb5557680","ref":"refs/heads/testing","pushedAt":"2024-08-01T10:20:11.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"acl2buildserver","name":null,"path":"/acl2buildserver","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50714978?s=80&v=4"},"commit":{"message":"[axe/x86] Improve unroller.\n\nAvoid passing in unhelpful assumptions when pruning (things that the STP solver doesn't know about).","shortMessageHtmlLink":"[axe/x86] Improve unroller."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAElFD5CgA","startCursor":null,"endCursor":null}},"title":"Activity · acl2/acl2"}