{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":122990273,"defaultBranch":"master","name":"reglang","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-26T15:36:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721657958.0","currentOid":""},"activityList":{"items":[{"before":"46dcb39e01635ce4a3def7b66da8db013b61b68c","after":null,"ref":"refs/heads/regexp-der-fix","pushedAt":"2024-07-22T14:19:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"8b6b8a31f396b2ed88b314bb0c0373c4964d16df","after":"5c83ad4abfd6cadeaf6be145c665b7448e0654c9","ref":"refs/heads/master","pushedAt":"2024-07-22T14:19:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"generalize derE to eqType, add mem_der language inclusion check (#74)","shortMessageHtmlLink":"generalize derE to eqType, add mem_der language inclusion check (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2422977274\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/74/hovercard\" href=\"https://github.com/coq-community/reglang/pull/74\">#74</a>)"}},{"before":"de3b9afb2c2ecb1db7a74a5a160e9dd0a49d3650","after":"46dcb39e01635ce4a3def7b66da8db013b61b68c","ref":"refs/heads/regexp-der-fix","pushedAt":"2024-07-22T14:07:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"generalize derE to eqType, add mem_der language inclusion check","shortMessageHtmlLink":"generalize derE to eqType, add mem_der language inclusion check"}},{"before":null,"after":"de3b9afb2c2ecb1db7a74a5a160e9dd0a49d3650","ref":"refs/heads/regexp-der-fix","pushedAt":"2024-07-22T14:06:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"generalize derE to eqType, add mem_der language inclusion check","shortMessageHtmlLink":"generalize derE to eqType, add mem_der language inclusion check"}},{"before":"eb70236e98b83b9409ff0a7a70abccfb71f8ee14","after":null,"ref":"refs/heads/re-deriv","pushedAt":"2024-07-22T13:29:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"db8be63ec40349e529b6a57c8bcee1acb3f90ceb","after":"8b6b8a31f396b2ed88b314bb0c0373c4964d16df","ref":"refs/heads/master","pushedAt":"2024-07-22T13:29:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add definition and result about regexp derivatives (#73)\n\n* add definition and result about regexp derivatives, rename cat-based residual to avoid name shadowing\r\n\r\n* remove nix-action-master CI for now\r\n\r\n* rename residual_cat to residual_lang","shortMessageHtmlLink":"add definition and result about regexp derivatives (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2422558331\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/73/hovercard\" href=\"https://github.com/coq-community/reglang/pull/73\">#73</a>)"}},{"before":"6b1a61bb289994ca1d9ed58073740cfe1764b891","after":"eb70236e98b83b9409ff0a7a70abccfb71f8ee14","ref":"refs/heads/re-deriv","pushedAt":"2024-07-22T11:14:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"rename residual_cat to residual_lang","shortMessageHtmlLink":"rename residual_cat to residual_lang"}},{"before":"bfe0e6d9b65187144996f0ce02954885769b4167","after":"6b1a61bb289994ca1d9ed58073740cfe1764b891","ref":"refs/heads/re-deriv","pushedAt":"2024-07-22T11:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"remove nix-action-master CI for now","shortMessageHtmlLink":"remove nix-action-master CI for now"}},{"before":null,"after":"bfe0e6d9b65187144996f0ce02954885769b4167","ref":"refs/heads/re-deriv","pushedAt":"2024-07-22T10:44:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add definition and result about regexp derivatives, rename cat-based residual to avoid name shadowing","shortMessageHtmlLink":"add definition and result about regexp derivatives, rename cat-based …"}},{"before":"60750ae1f4bbd900ec5f94c26b6157f5e96421b5","after":null,"ref":"refs/heads/ci-mc-2.2","pushedAt":"2024-01-19T08:06:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"126f815aba429d4f31b9c7f9109bc16efca0c31d","after":"db8be63ec40349e529b6a57c8bcee1acb3f90ceb","ref":"refs/heads/master","pushedAt":"2024-01-19T08:06:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add CI for MathComp 2.2.0 (#70)","shortMessageHtmlLink":"add CI for MathComp 2.2.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089195586\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/70\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/70/hovercard\" href=\"https://github.com/coq-community/reglang/pull/70\">#70</a>)"}},{"before":null,"after":"60750ae1f4bbd900ec5f94c26b6157f5e96421b5","ref":"refs/heads/ci-mc-2.2","pushedAt":"2024-01-18T22:47:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add CI for MathComp 2.2.0","shortMessageHtmlLink":"add CI for MathComp 2.2.0"}},{"before":"db2d8bb3773bbf87637ec3616020835fae697bc0","after":"126f815aba429d4f31b9c7f9109bc16efca0c31d","ref":"refs/heads/master","pushedAt":"2024-01-02T13:22:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"use elpi version 1.18.1 (#69)","shortMessageHtmlLink":"use elpi version 1.18.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2062274174\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/69/hovercard\" href=\"https://github.com/coq-community/reglang/pull/69\">#69</a>)"}},{"before":"c2fe1beecd612ed63ac1bf51cd15b780e5548c5c","after":null,"ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T14:09:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"892b5e02b048d0a631894b98d4cd64c2f7ea0633","after":"db2d8bb3773bbf87637ec3616020835fae697bc0","ref":"refs/heads/master","pushedAt":"2024-01-01T14:09:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"refresh boilerplate and ci (#68)","shortMessageHtmlLink":"refresh boilerplate and ci (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061562168\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/68\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/68/hovercard\" href=\"https://github.com/coq-community/reglang/pull/68\">#68</a>)"}},{"before":"83bd057f8c01c92107610c1d3377004e62493c9a","after":"c2fe1beecd612ed63ac1bf51cd15b780e5548c5c","ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T13:43:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"refresh boilerplate and ci","shortMessageHtmlLink":"refresh boilerplate and ci"}},{"before":"30ae282035a6b00be3175a22def1c4da58594173","after":"83bd057f8c01c92107610c1d3377004e62493c9a","ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T13:33:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"refresh boilerplate and ci","shortMessageHtmlLink":"refresh boilerplate and ci"}},{"before":null,"after":"30ae282035a6b00be3175a22def1c4da58594173","ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T13:28:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"refresh boilerplate and ci","shortMessageHtmlLink":"refresh boilerplate and ci"}},{"before":"cc0ecd72461c433c0616d1b9587fb022f7603c8a","after":null,"ref":"refs/heads/update_nix_ci","pushedAt":"2023-11-22T10:56:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"897778dfb9bd2129833b66217246302ff6416aca","after":"892b5e02b048d0a631894b98d4cd64c2f7ea0633","ref":"refs/heads/master","pushedAt":"2023-11-22T10:56:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Update HB branch in Nix CI (#67)","shortMessageHtmlLink":"Update HB branch in Nix CI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2005991010\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/67\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/67/hovercard\" href=\"https://github.com/coq-community/reglang/pull/67\">#67</a>)"}},{"before":"641db14f0e5cc12aede6164ce70e57d28832fc52","after":"cc0ecd72461c433c0616d1b9587fb022f7603c8a","ref":"refs/heads/update_nix_ci","pushedAt":"2023-11-22T10:07:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Update HB branch in Nix CI","shortMessageHtmlLink":"Update HB branch in Nix CI"}},{"before":null,"after":"641db14f0e5cc12aede6164ce70e57d28832fc52","ref":"refs/heads/update_nix_ci","pushedAt":"2023-11-22T10:06:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Update HB branch in Nix CI","shortMessageHtmlLink":"Update HB branch in Nix CI"}},{"before":"4f16eda4b48f593d589bdbed9a584081e8995f38","after":null,"ref":"refs/heads/mc_1046","pushedAt":"2023-11-22T09:58:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"bc1161b05884c7d69588f6211c948d08992b3a50","after":"897778dfb9bd2129833b66217246302ff6416aca","ref":"refs/heads/master","pushedAt":"2023-11-22T09:58:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1046 (#66)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1788219740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1046\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1046/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1046\">math-comp/math-comp#1046</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2005860550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/66/hovercard\" href=\"https://github.com/coq-community/reglang/pull/66\">#66</a>)"}},{"before":null,"after":"4f16eda4b48f593d589bdbed9a584081e8995f38","ref":"refs/heads/mc_1046","pushedAt":"2023-11-22T08:54:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1046","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1788219740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1046\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1046/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1046\">math-comp/math-comp#1046</a>"}},{"before":"ca047a65dee95d02d9dddfd8f1c790490655904d","after":null,"ref":"refs/heads/dfa-accept","pushedAt":"2023-11-08T16:35:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"529f2068559d2f1fb28b494b73942261423cd9a0","after":"bc1161b05884c7d69588f6211c948d08992b3a50","ref":"refs/heads/master","pushedAt":"2023-11-08T16:34:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"clearer hypothesis of right-quotient dfa proof (#65)","shortMessageHtmlLink":"clearer hypothesis of right-quotient dfa proof (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1981089384\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/65\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/65/hovercard\" href=\"https://github.com/coq-community/reglang/pull/65\">#65</a>)"}},{"before":null,"after":"ca047a65dee95d02d9dddfd8f1c790490655904d","ref":"refs/heads/dfa-accept","pushedAt":"2023-11-07T10:58:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"clearer hypothesis of right-quotient dfa proof","shortMessageHtmlLink":"clearer hypothesis of right-quotient dfa proof"}},{"before":"1f186640129c7f2f2e19678229e2d45686f1ff3f","after":null,"ref":"refs/heads/ci-8.18","pushedAt":"2023-08-09T15:03:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"555c33ff3fbfe6279e1a75a823c80a3091ddcffe","after":"529f2068559d2f1fb28b494b73942261423cd9a0","ref":"refs/heads/master","pushedAt":"2023-08-09T15:03:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add CI for Coq 8.18 (#63)","shortMessageHtmlLink":"add CI for Coq 8.18 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1843337006\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/reglang/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/reglang/pull/63/hovercard\" href=\"https://github.com/coq-community/reglang/pull/63\">#63</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhd2GwAA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/reglang"}