{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":350921474,"defaultBranch":"master","name":"stablesort","ownerLogin":"pi8027","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-24T02:28:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/111003?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715700200.0","currentOid":""},"activityList":{"items":[{"before":"458997692b1b2f712bce47e33ca684465e9a4bfc","after":"b54814d90166581876ba2524c6d566b1b1a35233","ref":"refs/heads/topdown-tailrec","pushedAt":"2024-05-28T15:00:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"0857d74af54a715ac0fadfb33fc99f7191f26efa","after":"458997692b1b2f712bce47e33ca684465e9a4bfc","ref":"refs/heads/topdown-tailrec","pushedAt":"2024-05-28T14:52:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"88b13cc2e65baa3408ba2c6c408968cd2cb9c05a","after":"0857d74af54a715ac0fadfb33fc99f7191f26efa","ref":"refs/heads/topdown-tailrec","pushedAt":"2024-05-28T14:45:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"b9b2fc966dd6512bb43be9743c15033579ee3fec","after":"88b13cc2e65baa3408ba2c6c408968cd2cb9c05a","ref":"refs/heads/topdown-tailrec","pushedAt":"2024-05-14T15:26:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add top-down tail-recursive mergesort\n\nIt is intended to serve just as an example of our verification technique and is\nnot a part of the stablesort library (therefore placed in misc/). This example\ncorresponds to Sections 4.1 and 4.4.1 of the paper (arXiv:2403.08173v1).","shortMessageHtmlLink":"Add top-down tail-recursive mergesort"}},{"before":null,"after":"b9b2fc966dd6512bb43be9743c15033579ee3fec","ref":"refs/heads/topdown-tailrec","pushedAt":"2024-05-14T15:23:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add top-down tail-recursive mergesort\n\nIt is intended to serve just as an example of our verification technique and not\nconsidered as a part of the stablesort library. This example corresponds to\nSections 4.1 and 4.4.1 of the paper (arXiv:2403.08173v1).","shortMessageHtmlLink":"Add top-down tail-recursive mergesort"}},{"before":"dc6fb49ab50534bd85d966055383aeda682e93d8","after":null,"ref":"refs/heads/replace-ocamlbuild-with-dune","pushedAt":"2024-03-29T18:00:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"2b9fd2755f0c1462b6426231aa1a76b819334101","after":"4380988c66042808b58b7e8937b7af87ff429b6d","ref":"refs/heads/master","pushedAt":"2024-03-29T18:00:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #24 from pi8027/replace-ocamlbuild-with-dune\n\nReplace OCamlbuild with Dune","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2215745747\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pi8027/stablesort/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pi8027/stablesort/pull/24/hovercard\" href=\"https://github.com/pi8027/stablesort/pull/24\">#24</a> from pi8027/replace-ocamlbuild-with-dune"}},{"before":null,"after":"dc6fb49ab50534bd85d966055383aeda682e93d8","ref":"refs/heads/replace-ocamlbuild-with-dune","pushedAt":"2024-03-29T17:28:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Replace OCamlbuild with Dune","shortMessageHtmlLink":"Replace OCamlbuild with Dune"}},{"before":"cf33b05b37f69e9c4e93b239ae3b463af606953a","after":null,"ref":"refs/heads/ci","pushedAt":"2024-03-20T12:42:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"08cc8596044d8dbc94b84d55dfe1bc252baf4035","after":"2b9fd2755f0c1462b6426231aa1a76b819334101","ref":"refs/heads/master","pushedAt":"2024-03-20T12:42:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #23 from pi8027/ci\n\nUpdate CI and doc, and add Cyril as an author","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2194864249\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pi8027/stablesort/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pi8027/stablesort/pull/23/hovercard\" href=\"https://github.com/pi8027/stablesort/pull/23\">#23</a> from pi8027/ci"}},{"before":"68f7597ea8a9307edf0938b1fe4fe3c3ac1b0515","after":"cf33b05b37f69e9c4e93b239ae3b463af606953a","ref":"refs/heads/ci","pushedAt":"2024-03-19T12:48:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI and doc, and add Cyril as an author","shortMessageHtmlLink":"Update CI and doc, and add Cyril as an author"}},{"before":"d98ef9bb2e014f3ea2f08b7fd8c337b0e1243dcd","after":"68f7597ea8a9307edf0938b1fe4fe3c3ac1b0515","ref":"refs/heads/ci","pushedAt":"2024-03-19T12:43:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI and doc, and add Cyril as an author","shortMessageHtmlLink":"Update CI and doc, and add Cyril as an author"}},{"before":null,"after":"d98ef9bb2e014f3ea2f08b7fd8c337b0e1243dcd","ref":"refs/heads/ci","pushedAt":"2024-03-19T12:38:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI and doc, and add Cyril as an author","shortMessageHtmlLink":"Update CI and doc, and add Cyril as an author"}},{"before":"c5b4e866303ec63f7fbee7c7f9aad0d9c4f9dee8","after":"4643d144480d29c689ead1704844341087148b0f","ref":"refs/heads/fix-simpl-mutual-rec","pushedAt":"2024-02-28T17:09:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Remove workaround for coq/coq#3488","shortMessageHtmlLink":"Remove workaround for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"266421746\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/3488\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/3488/hovercard\" href=\"https://github.com/coq/coq/issues/3488\">coq/coq#3488</a>"}},{"before":"7148320c3ca8d45ab524cdfe12efe8b0445c7086","after":"20da438fc64baf8abd1fcb5e016872006b63b7bc","ref":"refs/heads/usual_stable","pushedAt":"2024-02-28T14:48:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}},{"before":"2c2d6bf7221448d8b4b4384d1fbf4d9f5df4a0fe","after":null,"ref":"refs/heads/lexord_irr","pushedAt":"2024-02-28T14:46:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"7f03fa6ab879cb37031f8a0423223a1f5c78be5c","after":"08cc8596044d8dbc94b84d55dfe1bc252baf4035","ref":"refs/heads/master","pushedAt":"2024-02-28T14:46:12.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #22 from pi8027/lexord_irr\n\nAdd lexord_irr and uniformize the proofs that use irr_sorted_eq","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2156649592\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pi8027/stablesort/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pi8027/stablesort/pull/22/hovercard\" href=\"https://github.com/pi8027/stablesort/pull/22\">#22</a> from pi8027/lexord_irr"}},{"before":"c1cad56f54d84904b440e6711b71c8918f5d5523","after":"2c2d6bf7221448d8b4b4384d1fbf4d9f5df4a0fe","ref":"refs/heads/lexord_irr","pushedAt":"2024-02-28T13:05:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simpler proofs of revmergeE","shortMessageHtmlLink":"Simpler proofs of revmergeE"}},{"before":"5368fc050c6930a9ce3797da3f322c70edac3ddf","after":"c1cad56f54d84904b440e6711b71c8918f5d5523","ref":"refs/heads/lexord_irr","pushedAt":"2024-02-28T12:58:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simpler proofs of revmergeE","shortMessageHtmlLink":"Simpler proofs of revmergeE"}},{"before":"fee4dd84b47d887d767afba29ec040323a60117e","after":"5368fc050c6930a9ce3797da3f322c70edac3ddf","ref":"refs/heads/lexord_irr","pushedAt":"2024-02-28T12:54:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simpler proofs of revmergeE","shortMessageHtmlLink":"Simpler proofs of revmergeE"}},{"before":"6da65ba20f4b05f27954a76a5009658a00a844cf","after":"7148320c3ca8d45ab524cdfe12efe8b0445c7086","ref":"refs/heads/usual_stable","pushedAt":"2024-02-27T13:54:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}},{"before":"186e697262ae0444ad77380b09e9471d9f3e1199","after":"fee4dd84b47d887d767afba29ec040323a60117e","ref":"refs/heads/lexord_irr","pushedAt":"2024-02-27T13:54:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add lexord_irr and uniformize the proofs that use irr_sorted_eq","shortMessageHtmlLink":"Add lexord_irr and uniformize the proofs that use irr_sorted_eq"}},{"before":"34988b2158da109cfb327194e5807dc19b19e51f","after":"6da65ba20f4b05f27954a76a5009658a00a844cf","ref":"refs/heads/usual_stable","pushedAt":"2024-02-27T13:51:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}},{"before":null,"after":"186e697262ae0444ad77380b09e9471d9f3e1199","ref":"refs/heads/lexord_irr","pushedAt":"2024-02-27T13:50:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add lexord_irr and uniformize the proofs that use irr_sorted_eq","shortMessageHtmlLink":"Add lexord_irr and uniformize the proofs that use irr_sorted_eq"}},{"before":"5add81753a1502e645a965a2791bcad1099e96f6","after":null,"ref":"refs/heads/sorted_filter_sort","pushedAt":"2024-02-27T12:37:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"4fea401d0175f417964b0e06c1d5626a65b605b4","after":"7f03fa6ab879cb37031f8a0423223a1f5c78be5c","ref":"refs/heads/master","pushedAt":"2024-02-27T12:37:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #21 from pi8027/sorted_filter_sort\n\nAdd sorted_filter_sort (taken from #20)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2156443229\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pi8027/stablesort/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pi8027/stablesort/pull/21/hovercard\" href=\"https://github.com/pi8027/stablesort/pull/21\">#21</a> from pi8027/sorted_filter_sort"}},{"before":"821b4b3ecbc1b7506a86b29bba77a43b718abc14","after":"34988b2158da109cfb327194e5807dc19b19e51f","ref":"refs/heads/usual_stable","pushedAt":"2024-02-27T12:17:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}},{"before":null,"after":"5add81753a1502e645a965a2791bcad1099e96f6","ref":"refs/heads/sorted_filter_sort","pushedAt":"2024-02-27T12:17:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add sorted_filter_sort (taken from #20)\n\nCo-authored-by: Cyril Cohen <cohen@crans.org>","shortMessageHtmlLink":"Add sorted_filter_sort (taken from <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2151945087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pi8027/stablesort/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pi8027/stablesort/pull/20/hovercard\" href=\"https://github.com/pi8027/stablesort/pull/20\">#20</a>)"}},{"before":"5871316423b75692219acf0d9387228e9ad93850","after":"821b4b3ecbc1b7506a86b29bba77a43b718abc14","ref":"refs/heads/usual_stable","pushedAt":"2024-02-27T11:04:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}},{"before":"4814856497c489b6e9a6d5ad4396569dc8456b58","after":"5871316423b75692219acf0d9387228e9ad93850","ref":"refs/heads/usual_stable","pushedAt":"2024-02-26T11:08:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"equivalence with usual stability","shortMessageHtmlLink":"equivalence with usual stability"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVf1kJQA","startCursor":null,"endCursor":null}},"title":"Activity · pi8027/stablesort"}