{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":19705688,"defaultBranch":"master","name":"multinomials","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-05-12T16:08:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713519847.0","currentOid":""},"activityList":{"items":[{"before":"f184b73da36ca0d0abc2774e8cd8b83a4c02ab02","after":"3ed0118c6cac5497da2387d98d673f635f936aa1","ref":"refs/heads/semiring-monalg","pushedAt":"2024-04-23T11:54: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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"3b79f76b0b87de2c18291b590de88819212166f9","after":null,"ref":"refs/heads/hb-semilattices","pushedAt":"2024-04-19T09:44:07.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":"e671c7be16bcda54832c601cbfe3ed0c39ae9983","after":"05ce627de8aa877d261b59bd8fd3a45c826fc71e","ref":"refs/heads/master","pushedAt":"2024-04-19T09:44:00.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 #88 from math-comp/hb-semilattices\n\nAdapt to math-comp/math-comp#1166","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2188521960\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/88\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/88/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/88\">#88</a> from math-comp/hb-semilattices"}},{"before":"fdc49295918855f94033f29f76ddeb2ebd1523c1","after":"3b79f76b0b87de2c18291b590de88819212166f9","ref":"refs/heads/hb-semilattices","pushedAt":"2024-04-10T13:05:25.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":"Adapt to math-comp/math-comp#1166","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2112455204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1166/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1166\">math-comp/math-comp#1166</a>"}},{"before":"07713f4d789afc6c6794e9161035f73a84f6e588","after":"e671c7be16bcda54832c601cbfe3ed0c39ae9983","ref":"refs/heads/master","pushedAt":"2024-04-02T13:10:13.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 #89 from proux01/mc_1201\n\nRemove notations deprecated in MathComp 1.17.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220390491\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/89\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/89/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/89\">#89</a> from proux01/mc_1201"}},{"before":null,"after":"fdc49295918855f94033f29f76ddeb2ebd1523c1","ref":"refs/heads/hb-semilattices","pushedAt":"2024-03-15T13:29:34.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":"Adapt to math-comp/math-comp#1166","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2112455204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1166/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1166\">math-comp/math-comp#1166</a>"}},{"before":"3973f2145db78d6084dadfd9fdaea1de09bec526","after":"f184b73da36ca0d0abc2774e8cd8b83a4c02ab02","ref":"refs/heads/semiring-monalg","pushedAt":"2024-01-18T15:57:42.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"b91bd3732738a6c3f3ddf93d4886cb3d13db28f8","after":"07713f4d789afc6c6794e9161035f73a84f6e588","ref":"refs/heads/master","pushedAt":"2024-01-17T19:35:21.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 #87 from proux01/coq819\n\n[CI] Add Coq 8.19 and MC 2.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2086498066\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/87\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/87/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/87\">#87</a> from proux01/coq819"}},{"before":"250c3b6315e10d8593d15fe445222454e7d5070b","after":"3973f2145db78d6084dadfd9fdaea1de09bec526","ref":"refs/heads/semiring-monalg","pushedAt":"2023-12-08T15:54:31.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"6212162e79da5923bf65b3cad8d778b8b7a05881","after":null,"ref":"refs/heads/function_scope","pushedAt":"2023-12-08T15:54:09.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":"4c8c7e9815b6afa322e406366e7767eb42fe8722","after":"b91bd3732738a6c3f3ddf93d4886cb3d13db28f8","ref":"refs/heads/master","pushedAt":"2023-12-08T15:36:49.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 #86 from math-comp/function_scope\n\nAdapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2032569665\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/86\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/86/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/86\">#86</a> from math-comp/function_scope"}},{"before":"f803b688fb8cab7541920b6596fc4f53f61cf4eb","after":"6212162e79da5923bf65b3cad8d778b8b7a05881","ref":"refs/heads/function_scope","pushedAt":"2023-12-08T12:26:16.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":"Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2028717739\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1133/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1133\">math-comp/math-comp#1133</a> (replace fun_scope with function_sc…"}},{"before":null,"after":"f803b688fb8cab7541920b6596fc4f53f61cf4eb","ref":"refs/heads/function_scope","pushedAt":"2023-12-08T12:25:21.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 fun_scope with function_scope","shortMessageHtmlLink":"Replace fun_scope with function_scope"}},{"before":"434bd967282d4d85252ea9fd07c9f21144624c50","after":"250c3b6315e10d8593d15fe445222454e7d5070b","ref":"refs/heads/semiring-monalg","pushedAt":"2023-12-08T12:22: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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"9893f5f2aa89b06b2c769e144ce393478f9c66a8","after":"4c8c7e9815b6afa322e406366e7767eb42fe8722","ref":"refs/heads/master","pushedAt":"2023-11-30T13:02:01.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #79 from Alizter/dune-3-8\n\ndune: bump to 3.8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1722120156\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/79/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/79\">#79</a> from Alizter/dune-3-8"}},{"before":"02bcb5ab43a149eef5b9c11091d998ac19302d4e","after":"9893f5f2aa89b06b2c769e144ce393478f9c66a8","ref":"refs/heads/master","pushedAt":"2023-11-29T14:03:23.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 #85 from proux01/mc_1046\n\nAdapt to https://github.com/math-comp/math-comp/pull/1046","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2016536785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/85\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/85/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/85\">#85</a> from proux01/mc_1046"}},{"before":"a61a00832ec335e2530acde1a302d7a8f01c6209","after":"434bd967282d4d85252ea9fd07c9f21144624c50","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-24T15:45:01.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"9841ccf405b61ee9fd5bb2081aa3a93e7fc6ffcb","after":null,"ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-22T21:44:06.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":"ad689be65da060db5b92931cafa92f77ef9f6104","after":"a61a00832ec335e2530acde1a302d7a8f01c6209","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-22T21:43:47.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"5ceb9d7975a907f76cb986c3d47b5ec0cf2111c9","after":"02bcb5ab43a149eef5b9c11091d998ac19302d4e","ref":"refs/heads/master","pushedAt":"2023-11-22T21:43:10.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 #84 from math-comp/cleanup-phantom\n\nCleanup some phantom related stuff and proofs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2003843921\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/multinomials/issues/84\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/multinomials/pull/84/hovercard\" href=\"https://github.com/math-comp/multinomials/pull/84\">#84</a> from math-comp/cleanup-phantom"}},{"before":"b0db488a706468627828725418c55da361a64239","after":"9841ccf405b61ee9fd5bb2081aa3a93e7fc6ffcb","ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-22T13:50:39.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":"Cleanup proofs","shortMessageHtmlLink":"Cleanup proofs"}},{"before":"c75366dbda3b49ee0e46233c05f9aa3b25433619","after":"ad689be65da060db5b92931cafa92f77ef9f6104","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-22T13:50:39.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"4d5bb55f7e019291dbc04f179ba87e1453c0b62c","after":"b0db488a706468627828725418c55da361a64239","ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-22T13:08:35.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":"Cleanup proofs","shortMessageHtmlLink":"Cleanup proofs"}},{"before":"e51d1420a4d68ae23e11c61bcb0b52599e17c2fb","after":"c75366dbda3b49ee0e46233c05f9aa3b25433619","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-22T13:08:35.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"262d08f719496c83c7bc190908ef2349d362ce24","after":"4d5bb55f7e019291dbc04f179ba87e1453c0b62c","ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-21T18:21:35.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":"Cleanup proofs","shortMessageHtmlLink":"Cleanup proofs"}},{"before":"7f52199941bc85ee15219080a5a87e900469fbd8","after":"e51d1420a4d68ae23e11c61bcb0b52599e17c2fb","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-21T18:21:35.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"440d81bed398872422d68f69c0d6c025ff5d80e8","after":"262d08f719496c83c7bc190908ef2349d362ce24","ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-21T18:09:46.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":"Cleanup proofs","shortMessageHtmlLink":"Cleanup proofs"}},{"before":"8667f1b1b2b404df74a165a83c11be5359babc83","after":"7f52199941bc85ee15219080a5a87e900469fbd8","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-21T18:09:46.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}},{"before":"8192ea806a6835811bebc00e02e2907c58ba89d2","after":"440d81bed398872422d68f69c0d6c025ff5d80e8","ref":"refs/heads/cleanup-phantom","pushedAt":"2023-11-21T11:24:59.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":"Cleanup proofs","shortMessageHtmlLink":"Cleanup proofs"}},{"before":"685dbb3a723f92b08ee4c631f05ff584275206bd","after":"8667f1b1b2b404df74a165a83c11be5359babc83","ref":"refs/heads/semiring-monalg","pushedAt":"2023-11-21T11:24:59.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":"Generalize some results in monalg to nmodType and semiRingType","shortMessageHtmlLink":"Generalize some results in monalg to nmodType and semiRingType"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOAL5VwA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/multinomials"}