{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":160725428,"defaultBranch":"master","name":"coqutil","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-12-06T20:02:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715530860.0","currentOid":""},"activityList":{"items":[{"before":"92bae53562886245f3aa0633aff05330badb4706","after":"0f3b370bf4c9e9535451654148005d1805b76097","ref":"refs/heads/tested","pushedAt":"2024-05-13T07:11:15.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"fix unfold_if_getter","shortMessageHtmlLink":"fix unfold_if_getter"}},{"before":"7d67a240036abbbca5d16a0258797184a2a52245","after":"0f3b370bf4c9e9535451654148005d1805b76097","ref":"refs/heads/master","pushedAt":"2024-05-13T05:18:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"fix unfold_if_getter","shortMessageHtmlLink":"fix unfold_if_getter"}},{"before":"309fe7e1343a2681ea2933a79795f88c4b448433","after":"7d67a240036abbbca5d16a0258797184a2a52245","ref":"refs/heads/master","pushedAt":"2024-05-12T16:26:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Tauto.intuition_solver has a sane default,\n\nno need to redefine it any more","shortMessageHtmlLink":"Tauto.intuition_solver has a sane default,"}},{"before":"b8f35dc0e867bce40302e627d19f02ebcfa453e2","after":"309fe7e1343a2681ea2933a79795f88c4b448433","ref":"refs/heads/master","pushedAt":"2024-05-12T16:21:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Merge pull request #80 from mit-plv/garbage-collect-sanity\n\nGarbage-collect options in sanity.v","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1456653339\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/80\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/80/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/80\">#80</a> from mit-plv/garbage-collect-sanity"}},{"before":"cf5cf6563080c2a59c6a521a78b074deca7b35b2","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-12T16:21:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"92bae53562886245f3aa0633aff05330badb4706","after":"b8f35dc0e867bce40302e627d19f02ebcfa453e2","ref":"refs/heads/master","pushedAt":"2024-05-12T16:20:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Merge pull request #116 from mit-plv/dependabot/submodules/etc/coq-scripts-e4d9e81\n\nBump etc/coq-scripts from `5876e80` to `e4d9e81`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288824986\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/116\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/116/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/116\">#116</a> from mit-plv/dependabot/submodules/etc/coq-sc…"}},{"before":"686d74c7d4d4cfe13d35735ad12d116adb9ba826","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-05-10T03:04:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"cf5cf6563080c2a59c6a521a78b074deca7b35b2","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-10T03:04:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `5876e80` to `e4d9e81`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `5876e80` to `e4d9e81`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/5876e80a10b459148ea49b848af3fb1b9507a7e6...e4d9e81ca4ac1c29c5971bf33fd58bd7dc00d9b9)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>5876e80</code> to <code>e4d9e81</code>"}},{"before":"a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371","after":"92bae53562886245f3aa0633aff05330badb4706","ref":"refs/heads/tested","pushedAt":"2024-04-19T07:11:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"tease dependabot","shortMessageHtmlLink":"tease dependabot"}},{"before":"a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371","after":"92bae53562886245f3aa0633aff05330badb4706","ref":"refs/heads/master","pushedAt":"2024-04-18T11:23:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"tease dependabot","shortMessageHtmlLink":"tease dependabot"}},{"before":null,"after":"686d74c7d4d4cfe13d35735ad12d116adb9ba826","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-04-17T03:29:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `5876e80` to `857071d`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `5876e80` to `857071d`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/5876e80a10b459148ea49b848af3fb1b9507a7e6...857071dedd44faf5a2de9c846d7486f4ca2f677a)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>5876e80</code> to <code>857071d</code>"}},{"before":"de47a67f5f0334b3da86c66732cc32bdf1ed6038","after":"a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371","ref":"refs/heads/tested","pushedAt":"2024-04-05T07:10:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"do not import Word in LittleEndian because it's defined purely on Z","shortMessageHtmlLink":"do not import Word in LittleEndian because it's defined purely on Z"}},{"before":"de47a67f5f0334b3da86c66732cc32bdf1ed6038","after":"a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371","ref":"refs/heads/master","pushedAt":"2024-04-05T02:43:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"do not import Word in LittleEndian because it's defined purely on Z","shortMessageHtmlLink":"do not import Word in LittleEndian because it's defined purely on Z"}},{"before":"88b1403ca8ea814976852a68d777a0d93ba11a70","after":"de47a67f5f0334b3da86c66732cc32bdf1ed6038","ref":"refs/heads/tested","pushedAt":"2024-04-04T07:10:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"always' fixup (#114)","shortMessageHtmlLink":"always' fixup (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2221463160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/114\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/114/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/114\">#114</a>)"}},{"before":"88b1403ca8ea814976852a68d777a0d93ba11a70","after":"de47a67f5f0334b3da86c66732cc32bdf1ed6038","ref":"refs/heads/master","pushedAt":"2024-04-03T16:59:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"always' fixup (#114)","shortMessageHtmlLink":"always' fixup (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2221463160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/114\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/114/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/114\">#114</a>)"}},{"before":"7c527b9ea7dda25025c18ed43648b67b0431692c","after":"88b1403ca8ea814976852a68d777a0d93ba11a70","ref":"refs/heads/tested","pushedAt":"2024-04-03T07:10:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"require coq 8.18","shortMessageHtmlLink":"require coq 8.18"}},{"before":"7c527b9ea7dda25025c18ed43648b67b0431692c","after":"88b1403ca8ea814976852a68d777a0d93ba11a70","ref":"refs/heads/master","pushedAt":"2024-04-02T19:57:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"require coq 8.18","shortMessageHtmlLink":"require coq 8.18"}},{"before":"7ff6110f21b9db7fdee7825044e9facf840ff612","after":"7c527b9ea7dda25025c18ed43648b67b0431692c","ref":"refs/heads/tested","pushedAt":"2024-04-02T07:12:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"`always` and `eventually` combinators for omni-smallstep semantics","shortMessageHtmlLink":"<code>always</code> and <code>eventually</code> combinators for omni-smallstep semantics"}},{"before":"7ff6110f21b9db7fdee7825044e9facf840ff612","after":"7c527b9ea7dda25025c18ed43648b67b0431692c","ref":"refs/heads/master","pushedAt":"2024-04-01T22:34:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"`always` and `eventually` combinators for omni-smallstep semantics","shortMessageHtmlLink":"<code>always</code> and <code>eventually</code> combinators for omni-smallstep semantics"}},{"before":"9bb864c87be265d98f128e006489c520ae259eea","after":"7ff6110f21b9db7fdee7825044e9facf840ff612","ref":"refs/heads/tested","pushedAt":"2024-03-13T07:10:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `d3dc888` to `5876e80` (#111)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `5876e80`.\r\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...5876e80a10b459148ea49b848af3fb1b9507a7e6)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: etc/coq-scripts\r\n  dependency-type: direct:production\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>d3dc888</code> to <code>5876e80</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2183064593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/111/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/111\">#111</a>)"}},{"before":"3bc285ea00ebf15779df1f6f9a94cb6428e5c4cc","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-13T05:28:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"9bb864c87be265d98f128e006489c520ae259eea","after":"7ff6110f21b9db7fdee7825044e9facf840ff612","ref":"refs/heads/master","pushedAt":"2024-03-13T05:28:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `d3dc888` to `5876e80` (#111)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `5876e80`.\r\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...5876e80a10b459148ea49b848af3fb1b9507a7e6)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: etc/coq-scripts\r\n  dependency-type: direct:production\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>d3dc888</code> to <code>5876e80</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2183064593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/coqutil/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/coqutil/pull/111/hovercard\" href=\"https://github.com/mit-plv/coqutil/pull/111\">#111</a>)"}},{"before":"53d0bec5a93bc90712ca693468395b5500586cf9","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-7b54b75","pushedAt":"2024-03-13T03:55:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"3bc285ea00ebf15779df1f6f9a94cb6428e5c4cc","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-13T03:55:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `d3dc888` to `5876e80`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `5876e80`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...5876e80a10b459148ea49b848af3fb1b9507a7e6)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>d3dc888</code> to <code>5876e80</code>"}},{"before":"b89965f82f9dcf86e68665a2f5ad86d8a379f243","after":"9bb864c87be265d98f128e006489c520ae259eea","ref":"refs/heads/tested","pushedAt":"2024-03-06T07:10:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"move invert_hyp to separate file","shortMessageHtmlLink":"move invert_hyp to separate file"}},{"before":"b89965f82f9dcf86e68665a2f5ad86d8a379f243","after":"9bb864c87be265d98f128e006489c520ae259eea","ref":"refs/heads/master","pushedAt":"2024-03-06T00:26:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"move invert_hyp to separate file","shortMessageHtmlLink":"move invert_hyp to separate file"}},{"before":"e9720f0ff7efad432d7fb30c6fd8dd5814bce6e2","after":"b89965f82f9dcf86e68665a2f5ad86d8a379f243","ref":"refs/heads/tested","pushedAt":"2024-02-24T07:09:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"move lemmas from bedrock2 to coqutil","shortMessageHtmlLink":"move lemmas from bedrock2 to coqutil"}},{"before":"e9720f0ff7efad432d7fb30c6fd8dd5814bce6e2","after":"b89965f82f9dcf86e68665a2f5ad86d8a379f243","ref":"refs/heads/master","pushedAt":"2024-02-23T15:33:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"move lemmas from bedrock2 to coqutil","shortMessageHtmlLink":"move lemmas from bedrock2 to coqutil"}},{"before":"8252470281059e08ff81e68736291f1dc2f2c8de","after":"e9720f0ff7efad432d7fb30c6fd8dd5814bce6e2","ref":"refs/heads/tested","pushedAt":"2024-02-23T07:11:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"map.domain and lemmas about it","shortMessageHtmlLink":"map.domain and lemmas about it"}},{"before":"8252470281059e08ff81e68736291f1dc2f2c8de","after":"e9720f0ff7efad432d7fb30c6fd8dd5814bce6e2","ref":"refs/heads/master","pushedAt":"2024-02-22T22:55:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"map.domain and lemmas about it","shortMessageHtmlLink":"map.domain and lemmas about it"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESBklAwA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/coqutil"}