{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":237127631,"defaultBranch":"master","name":"p4-constraints","ownerLogin":"p4lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-30T02:54:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10765181?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725931043.0","currentOid":""},"activityList":{"items":[{"before":"43e0689ff65b24ce1451f9976a07ee62bae30d96","after":null,"ref":"refs/heads/cl/672175733","pushedAt":"2024-09-10T01:17:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"}},{"before":"5712d1e53c897692d155e0546edfad0baf78eca1","after":"b4dd1a351f4c18dea518844cbe00dcdc14dbe6fe","ref":"refs/heads/master","pushedAt":"2024-09-10T01:17:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"Replace undefined std::Container<const T> with std::Container<T> (#147)\n\nstd::vector<const T> (and other container types:\r\ndeque/forward_list/list/multiset/queue/set/stack) are undefined and disallowed\r\nby libstdc++. Future libc++ will report errors as well. Migrate to\r\nstd::Container<T> to bring code in-line with the C++ standard and the behavior\r\nof other C++ standard libraries. Make similar changes to absl::flat_hash_set.\r\n\r\nCo-authored-by: PINS Team <copybara-servicebot@google.com>","shortMessageHtmlLink":"Replace undefined std::Container&lt;const T&gt; with std::Container&lt;T&gt; (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2515182786\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p4lang/p4-constraints/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p4lang/p4-constraints/pull/147/hovercard\" href=\"https://github.com/p4lang/p4-constraints/pull/147\">#147</a>)"}},{"before":null,"after":"43e0689ff65b24ce1451f9976a07ee62bae30d96","ref":"refs/heads/cl/672175733","pushedAt":"2024-09-10T00:56:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"Replace undefined std::Container<const T> with std::Container<T>\n\nSee b/223663984: std::vector<const T> (and other container types:\ndeque/forward_list/list/multiset/queue/set/stack) are undefined and disallowed\nby libstdc++. Future libc++ will report errors as well. Migrate to\nstd::Container<T> to bring code in-line with the C++ standard and the behavior\nof other C++ standard libraries. Make similar changes to absl::flat_hash_set.\n\nThe clang-tidy check portability-std-allocator-const prevents backsliding.\n\nLSC: http://go/replace-std-container-const-T\n\nTested:\n    TAP --sample ran all affected tests and none failed\n    http://test/OCL:672175733:BASE:672157811:1725764372183:9462f\nPiperOrigin-RevId: 672175733","shortMessageHtmlLink":"Replace undefined std::Container&lt;const T&gt; with std::Container&lt;T&gt;"}},{"before":"bf8162e7652c05f826fc71e505fe0b4170b095ea","after":"5712d1e53c897692d155e0546edfad0baf78eca1","ref":"refs/heads/master","pushedAt":"2024-06-05T20:51:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"verios-google","name":null,"path":"/verios-google","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110698235?s=80&v=4"},"commit":{"message":"PUBLIC: [P4-Constraints] Fix reproducibility bug. (#146)\n\nUse Ordered Maps in symbolic interpreter.\r\n\r\nPiperOrigin-RevId: 640586545\r\n\r\nCo-authored-by: PINS Team <copybara-servicebot@google.com>","shortMessageHtmlLink":"PUBLIC: [P4-Constraints] Fix reproducibility bug. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336548158\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p4lang/p4-constraints/issues/146\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p4lang/p4-constraints/pull/146/hovercard\" href=\"https://github.com/p4lang/p4-constraints/pull/146\">#146</a>)"}},{"before":"9f37b1794198696c6d8635380fbc36f3851a97d7","after":null,"ref":"refs/heads/cl/640586545","pushedAt":"2024-06-05T20:51:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"verios-google","name":null,"path":"/verios-google","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110698235?s=80&v=4"}},{"before":"9269eb6b82a553b614a0d79768199bbcf4bac8c6","after":"9f37b1794198696c6d8635380fbc36f3851a97d7","ref":"refs/heads/cl/640586545","pushedAt":"2024-06-05T18:25:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"PUBLIC: [P4-Constraints] Fix reproducibility bug.\n\nUse Ordered Maps in symbolic interpreter.\n\nPiperOrigin-RevId: 640586545","shortMessageHtmlLink":"PUBLIC: [P4-Constraints] Fix reproducibility bug."}},{"before":null,"after":"9269eb6b82a553b614a0d79768199bbcf4bac8c6","ref":"refs/heads/cl/640586545","pushedAt":"2024-06-05T18:21:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"PUBLIC: [P4-Constraints] Fix reproducibility bug.\n\nUse Ordered Maps in symbolic interpreter.\n\nPiperOrigin-RevId: 640586545","shortMessageHtmlLink":"PUBLIC: [P4-Constraints] Fix reproducibility bug."}},{"before":"f10a3f62cf0587408b88e6f367ea27dbf7c3523b","after":"bf8162e7652c05f826fc71e505fe0b4170b095ea","ref":"refs/heads/master","pushedAt":"2024-05-07T00:10:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md (#145)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281703838\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p4lang/p4-constraints/issues/145\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p4lang/p4-constraints/pull/145/hovercard\" href=\"https://github.com/p4lang/p4-constraints/pull/145\">#145</a>)"}},{"before":"df814ceda4d816385c226039c69627806edce265","after":null,"ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-07T00:10:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"}},{"before":null,"after":"df814ceda4d816385c226039c69627806edce265","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T20:31:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e3217e15c37a81062bf14bf58ed49fb1fbae21cf","after":"f10a3f62cf0587408b88e6f367ea27dbf7c3523b","ref":"refs/heads/master","pushedAt":"2024-05-06T20:16:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"Add section on well-formedness constraints and their connection to P4Runtime to the language spec (#100)\n\n* Update language-specification.md\r\n\r\n@jonathan-dilorenzo PTAL.\r\n\r\nFYI, we should also update the section on \"metdata\" in case we rename it.\r\n\r\n* Update language-specification.md\r\n\r\n* Update language-specification.md\r\n\r\n* Update language-specification.md","shortMessageHtmlLink":"Add section on well-formedness constraints and their connection to P4…"}},{"before":"ce39ef1898ebd28b297f7e35ef5b212c4a7988f1","after":null,"ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T20:16:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"}},{"before":"081abfd0ea7d9cf02c25100bdff3c4ec5b9bc27b","after":"ce39ef1898ebd28b297f7e35ef5b212c4a7988f1","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T20:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"8a2147fff26b46e6816c434fa37d8328c33ed194","after":"081abfd0ea7d9cf02c25100bdff3c4ec5b9bc27b","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T18:49:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"ec846607b5a9c03a7721dc037b9fb566a197145d","after":"e3217e15c37a81062bf14bf58ed49fb1fbae21cf","ref":"refs/heads/master","pushedAt":"2024-05-06T18:49:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README with improved API and action constraints (#144)","shortMessageHtmlLink":"Update README with improved API and action constraints (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281347358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p4lang/p4-constraints/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p4lang/p4-constraints/pull/144/hovercard\" href=\"https://github.com/p4lang/p4-constraints/pull/144\">#144</a>)"}},{"before":"ee96cfd6d7bea913be369e584edbe929cf9f85ea","after":null,"ref":"refs/heads/readme","pushedAt":"2024-05-06T18:49:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"}},{"before":"2752254e73814295c693a61d64eb9dc2ae8a13e1","after":"8a2147fff26b46e6816c434fa37d8328c33ed194","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T18:42:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"4a136a4c27182fe28441421e4c988b5c5bfcdc93","after":"2752254e73814295c693a61d64eb9dc2ae8a13e1","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T18:40:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"9838071d78d27d3ffcf52ac88e8b71be00c7cdd4","after":"ee96cfd6d7bea913be369e584edbe929cf9f85ea","ref":"refs/heads/readme","pushedAt":"2024-05-06T18:03:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a588d234047db8de9c761f66b31beb0693507a58","after":"9838071d78d27d3ffcf52ac88e8b71be00c7cdd4","ref":"refs/heads/readme","pushedAt":"2024-05-06T17:53:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"19715f47485481018f0681e64ac79edad6e740f9","after":"a588d234047db8de9c761f66b31beb0693507a58","ref":"refs/heads/readme","pushedAt":"2024-05-06T17:52:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md\n\nFix spelling errors.","shortMessageHtmlLink":"Update README.md"}},{"before":"c9e6b4d566dd044b39a190dca79186f82175da66","after":"19715f47485481018f0681e64ac79edad6e740f9","ref":"refs/heads/readme","pushedAt":"2024-05-06T17:47:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"9d4234f48a8d1a898a320d655f8adbc157a9aaf1","after":"4a136a4c27182fe28441421e4c988b5c5bfcdc93","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T17:40:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md\n\n@jonathan-dilorenzo PTAL.\n\nFYI, we should also update the section on \"metdata\" in case we rename it.","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"75ad38c73edea38694438ae1ef1a42865937030e","after":"9d4234f48a8d1a898a320d655f8adbc157a9aaf1","ref":"refs/heads/smolkaj-patch-3","pushedAt":"2024-05-06T17:30:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update language-specification.md\n\n@jonathan-dilorenzo PTAL.\r\n\r\nFYI, we should also update the section on \"metdata\" in case we rename it.","shortMessageHtmlLink":"Update language-specification.md"}},{"before":"5371b09f7c46a8fda7ff54d74f3908ac6e7d0362","after":"ec846607b5a9c03a7721dc037b9fb566a197145d","ref":"refs/heads/master","pushedAt":"2024-05-06T17:20:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Fix BUILD file formatting","shortMessageHtmlLink":"Fix BUILD file formatting"}},{"before":null,"after":"c9e6b4d566dd044b39a190dca79186f82175da66","ref":"refs/heads/readme","pushedAt":"2024-05-06T17:12:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smolkaj","name":"Steffen Smolka","path":"/smolkaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6642034?s=80&v=4"},"commit":{"message":"Update README with improved API and action constraints.","shortMessageHtmlLink":"Update README with improved API and action constraints."}},{"before":"d26400c0061c6eca43f48309ccfcec750c313337","after":"5371b09f7c46a8fda7ff54d74f3908ac6e7d0362","ref":"refs/heads/master","pushedAt":"2024-05-03T19:40:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"[p4-constraints] Allow C++ compliant multi-line strings. (#143)\n\nI.e. strings like:\r\n```\r\n  \"This is the start of my string \"\r\n  \"and this is the end.\"\r\n```\r\n\r\nThis will help solve a C++ preprocessor issue we're having where it will randomly insert preprocessor directives into the `@entry_restriction` annotation string when using a single multi-line string.\r\n\r\nPiperOrigin-RevId: 628166543\r\n\r\nCo-authored-by: PINS Team <copybara-servicebot@google.com>","shortMessageHtmlLink":"[p4-constraints] Allow C++ compliant multi-line strings. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273801251\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p4lang/p4-constraints/issues/143\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p4lang/p4-constraints/pull/143/hovercard\" href=\"https://github.com/p4lang/p4-constraints/pull/143\">#143</a>)"}},{"before":"b136fd066e3c5f077c15bb1ee06af31a339038ee","after":null,"ref":"refs/heads/cl/628166543","pushedAt":"2024-05-03T19:40:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"}},{"before":"bcee3fb19d40bab76025ba04c0434b5e61eb049d","after":"b136fd066e3c5f077c15bb1ee06af31a339038ee","ref":"refs/heads/cl/628166543","pushedAt":"2024-05-03T18:57:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"[p4-constraints] Allow C++ compliant multi-line strings.\n\nI.e. strings like:\n```\n  \"This is the start of my string \"\n  \"and this is the end.\"\n```\n\nThis will help solve a C++ preprocessor issue we're having where it will randomly insert preprocessor directives into the `@entry_restriction` annotation string when using a single multi-line string.\n\nPiperOrigin-RevId: 628166543","shortMessageHtmlLink":"[p4-constraints] Allow C++ compliant multi-line strings."}},{"before":"a4ae043d3c1d466d46b201951e1eebc55b11ab62","after":"bcee3fb19d40bab76025ba04c0434b5e61eb049d","ref":"refs/heads/cl/628166543","pushedAt":"2024-05-03T14:31:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonathan-dilorenzo","name":"Jonathan DiLorenzo","path":"/jonathan-dilorenzo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2077197?s=80&v=4"},"commit":{"message":"[p4-constraints] Allow C++ compliant multi-line strings.\n\nI.e. strings like:\n```\n  \"This is the start of my string \"\n  \"and this is the end.\"\n```\n\nThis will help solve a C++ preprocessor issue we're having where it will randomly insert preprocessor directives into the `@entry_restriction` annotation string when using a single multi-line string.\n\nPiperOrigin-RevId: 628166543","shortMessageHtmlLink":"[p4-constraints] Allow C++ compliant multi-line strings."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQwMToxNzoyMy4wMDAwMDBazwAAAASxgMar","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQwMToxNzoyMy4wMDAwMDBazwAAAASxgMar","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wM1QxNDozMTo1Mi4wMDAwMDBazwAAAARA17Ni"}},"title":"Activity · p4lang/p4-constraints"}