{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":271232237,"defaultBranch":"master","name":"TPDB","ownerLogin":"TermCOMP","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-10T09:15:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/66314813?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718868215.0","currentOid":""},"activityList":{"items":[{"before":"4829ef0914c2fc58603f54a5c35a3038e9f189f1","after":"dc20e60b47957f208d4514b0c2e579334beb6957","ref":"refs/heads/master","pushedAt":"2024-06-19T08:00:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ffrohn","name":null,"path":"/ffrohn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1554537?s=80&v=4"},"commit":{"message":"add C_Integer examples to C\n\nsee here https://github.com/orgs/TermCOMP/discussions/91 for details","shortMessageHtmlLink":"add C_Integer examples to C"}},{"before":"f1e4f44d948b7bbf53c587cd9fe2d85908f1d15c","after":"4829ef0914c2fc58603f54a5c35a3038e9f189f1","ref":"refs/heads/master","pushedAt":"2024-06-14T12:19:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ffrohn","name":null,"path":"/ffrohn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1554537?s=80&v=4"},"commit":{"message":"Merge pull request #50 from etiennepayet/master\n\nNew benchmarks for logic programming","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2353244683\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TermCOMP/TPDB/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TermCOMP/TPDB/pull/50/hovercard\" href=\"https://github.com/TermCOMP/TPDB/pull/50\">#50</a> from etiennepayet/master"}},{"before":"456fedc012507f422547e9f71e14bdda892c09fb","after":"f1e4f44d948b7bbf53c587cd9fe2d85908f1d15c","ref":"refs/heads/master","pushedAt":"2024-05-08T14:13:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ffrohn","name":null,"path":"/ffrohn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1554537?s=80&v=4"},"commit":{"message":"fix link","shortMessageHtmlLink":"fix link"}},{"before":"0d23375f061aa7c4fe626abacb18cb89901385c0","after":"456fedc012507f422547e9f71e14bdda892c09fb","ref":"refs/heads/master","pushedAt":"2024-05-08T14:10:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ffrohn","name":null,"path":"/ffrohn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1554537?s=80&v=4"},"commit":{"message":"link to new repo","shortMessageHtmlLink":"link to new repo"}},{"before":"1800d6fd136084533a76ca69af7780616a50049a","after":"0d23375f061aa7c4fe626abacb18cb89901385c0","ref":"refs/heads/master","pushedAt":"2023-08-10T17:31:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"smallest hard size-preserving SRS","shortMessageHtmlLink":"smallest hard size-preserving SRS"}},{"before":"ba01ce4b5582287d381b3aab99058196f646ae74","after":"1800d6fd136084533a76ca69af7780616a50049a","ref":"refs/heads/master","pushedAt":"2023-08-07T06:09:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"two mystery TRS","shortMessageHtmlLink":"two mystery TRS"}},{"before":"731eedbd621adf2dedcd39d1b4314999089b4209","after":"ba01ce4b5582287d381b3aab99058196f646ae74","ref":"refs/heads/master","pushedAt":"2023-08-06T07:05:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"98 small relative SRS","shortMessageHtmlLink":"98 small relative SRS"}},{"before":"f4348a05e6245e1f4789492c9692a53ccc9bae95","after":"731eedbd621adf2dedcd39d1b4314999089b4209","ref":"refs/heads/master","pushedAt":"2023-08-04T21:56:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-2_1.pl","shortMessageHtmlLink":"Create payet-nonloop-2_1.pl"}},{"before":"4490ddf37e4caedfd3b76b567675f0f6b0a9417b","after":"f4348a05e6245e1f4789492c9692a53ccc9bae95","ref":"refs/heads/master","pushedAt":"2023-08-04T21:56:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-3_1.pl","shortMessageHtmlLink":"Create payet-nonloop-3_1.pl"}},{"before":"6667b436e15d579151f1684490474945b3ac644f","after":"4490ddf37e4caedfd3b76b567675f0f6b0a9417b","ref":"refs/heads/master","pushedAt":"2023-08-04T21:56:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-4_1.pl","shortMessageHtmlLink":"Create payet-nonloop-4_1.pl"}},{"before":"6b4e0e3db00b0da56841ccb0f15cb2421caf6183","after":"6667b436e15d579151f1684490474945b3ac644f","ref":"refs/heads/master","pushedAt":"2023-08-04T21:55:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-4_2.pl","shortMessageHtmlLink":"Create payet-nonloop-4_2.pl"}},{"before":"cb3bd041449b28924c9fcdced3802bb4699fb681","after":"6b4e0e3db00b0da56841ccb0f15cb2421caf6183","ref":"refs/heads/master","pushedAt":"2023-08-04T21:55:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_3.pl","shortMessageHtmlLink":"Create payet-nonloop-1_3.pl"}},{"before":"7a3b8f8e74cd00fda61f61dfb50843922399a83b","after":"cb3bd041449b28924c9fcdced3802bb4699fb681","ref":"refs/heads/master","pushedAt":"2023-08-04T21:55:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-2_2.pl","shortMessageHtmlLink":"Create payet-nonloop-2_2.pl"}},{"before":"e935a2d13638344573014ba0cbb3f283129c80fc","after":"7a3b8f8e74cd00fda61f61dfb50843922399a83b","ref":"refs/heads/master","pushedAt":"2023-08-04T21:55:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-3_2.pl","shortMessageHtmlLink":"Create payet-nonloop-3_2.pl"}},{"before":"1f06d22282b0f6b469bbfb75b7ef8a0d876614c4","after":"e935a2d13638344573014ba0cbb3f283129c80fc","ref":"refs/heads/master","pushedAt":"2023-08-04T21:55:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_1.xml","shortMessageHtmlLink":"Create payet-nonloop-1_1.xml"}},{"before":"9b8415f87b0f2304907c9355d4264a63ea38066a","after":"1f06d22282b0f6b469bbfb75b7ef8a0d876614c4","ref":"refs/heads/master","pushedAt":"2023-08-04T21:54:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_2.xml","shortMessageHtmlLink":"Create payet-nonloop-1_2.xml"}},{"before":"7e14d236be90cb21148bfb2f5a927aab61cfb04a","after":"9b8415f87b0f2304907c9355d4264a63ea38066a","ref":"refs/heads/master","pushedAt":"2023-08-04T21:54:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_3.xml","shortMessageHtmlLink":"Create payet-nonloop-1_3.xml"}},{"before":"22ea289ca459d586834f48ada17b61a49b18e2d3","after":"7e14d236be90cb21148bfb2f5a927aab61cfb04a","ref":"refs/heads/master","pushedAt":"2023-08-04T21:54:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_4.xml","shortMessageHtmlLink":"Create payet-nonloop-1_4.xml"}},{"before":"b3947cf0b155eee9a90d8183d169aa2160753658","after":"22ea289ca459d586834f48ada17b61a49b18e2d3","ref":"refs/heads/master","pushedAt":"2023-08-04T21:54:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-2_1.xml","shortMessageHtmlLink":"Create payet-nonloop-2_1.xml"}},{"before":"2fc60f991ce80ffd64064ba6db33b11a602a74ce","after":"b3947cf0b155eee9a90d8183d169aa2160753658","ref":"refs/heads/master","pushedAt":"2023-08-04T21:54:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-2_2.xml","shortMessageHtmlLink":"Create payet-nonloop-2_2.xml"}},{"before":"337035a90359a591ff0213fb62c16d42d8a86eaa","after":"2fc60f991ce80ffd64064ba6db33b11a602a74ce","ref":"refs/heads/master","pushedAt":"2023-08-04T21:53:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-3_2.xml","shortMessageHtmlLink":"Create payet-nonloop-3_2.xml"}},{"before":"7da87d4e1ff81c1b463dacef5629939799843baf","after":"337035a90359a591ff0213fb62c16d42d8a86eaa","ref":"refs/heads/master","pushedAt":"2023-08-04T21:53:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-3_1.xml","shortMessageHtmlLink":"Create payet-nonloop-3_1.xml"}},{"before":"0e88e7b01766d7ef45ef16df9427dad25a2c9b31","after":"7da87d4e1ff81c1b463dacef5629939799843baf","ref":"refs/heads/master","pushedAt":"2023-08-04T21:53:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-4_1.xml","shortMessageHtmlLink":"Create payet-nonloop-4_1.xml"}},{"before":"c4861a745560ee6014c10b965ec22c082638836e","after":"0e88e7b01766d7ef45ef16df9427dad25a2c9b31","ref":"refs/heads/master","pushedAt":"2023-08-04T21:53:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-4_2.xml","shortMessageHtmlLink":"Create payet-nonloop-4_2.xml"}},{"before":"e272d1b572bca617f55ca71c2fdf8dcf14f4c2b9","after":"c4861a745560ee6014c10b965ec22c082638836e","ref":"refs/heads/master","pushedAt":"2023-08-02T07:44:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_2.pl","shortMessageHtmlLink":"Create payet-nonloop-1_2.pl"}},{"before":"12ac1ea7bfb9ecc9850a93f19002c57bedba0529","after":"e272d1b572bca617f55ca71c2fdf8dcf14f4c2b9","ref":"refs/heads/master","pushedAt":"2023-08-02T07:43:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"Create payet-nonloop-1_1.pl","shortMessageHtmlLink":"Create payet-nonloop-1_1.pl"}},{"before":"a5c07b5fbd3256bf639c2329a50e4847bb6f10d6","after":"12ac1ea7bfb9ecc9850a93f19002c57bedba0529","ref":"refs/heads/master","pushedAt":"2023-07-31T09:55:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"fix example Complexity_ITS/Lommen_23/size11.koat","shortMessageHtmlLink":"fix example Complexity_ITS/Lommen_23/size11.koat"}},{"before":"fabf16d1e220c583f63e300eb265ea7810cefa3e","after":"a5c07b5fbd3256bf639c2329a50e4847bb6f10d6","ref":"refs/heads/master","pushedAt":"2023-07-24T12:11:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AkihisaYamada","name":"Akihisa Yamada","path":"/AkihisaYamada","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20781148?s=80&v=4"},"commit":{"message":"new benchmarks","shortMessageHtmlLink":"new benchmarks"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaUXS_gA","startCursor":null,"endCursor":null}},"title":"Activity · TermCOMP/TPDB"}