{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":97805224,"defaultBranch":"master","name":"the-power-of-prolog","ownerLogin":"triska","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-20T07:35:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7482140?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1637447793.210761","currentOid":""},"activityList":{"items":[{"before":"6011e42a80123eed12b223e83a3c656b6f41eb99","after":"1a3ed58fd6d39b010e71b733938a95195667cb60","ref":"refs/heads/master","pushedAt":"2024-04-21T12:00:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"link to Scryer Prolog's library(debug)","shortMessageHtmlLink":"link to Scryer Prolog's library(debug)"}},{"before":"9defb8cd2fac6cbaba3e7d8a9d5946c1289d18ac","after":"6011e42a80123eed12b223e83a3c656b6f41eb99","ref":"refs/heads/master","pushedAt":"2024-04-21T12:00:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use double quoted lists for convenience","shortMessageHtmlLink":"use double quoted lists for convenience"}},{"before":"1e7d59641eb4794e1ee9cb01190ad07782f0b1f5","after":"9defb8cd2fac6cbaba3e7d8a9d5946c1289d18ac","ref":"refs/heads/master","pushedAt":"2024-03-17T08:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"support for bytes is deprecated, use strings instead for greater efficiency and type consistency","shortMessageHtmlLink":"support for bytes is deprecated, use strings instead for greater effi…"}},{"before":"558ad9201c45a95488801f3a67f93f9e942aab4f","after":"1e7d59641eb4794e1ee9cb01190ad07782f0b1f5","ref":"refs/heads/master","pushedAt":"2024-03-03T17:30:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"mention the responsible predicate","shortMessageHtmlLink":"mention the responsible predicate"}},{"before":"72f6a1985730e7d82b658a370374b4d382ea4fd3","after":"558ad9201c45a95488801f3a67f93f9e942aab4f","ref":"refs/heads/master","pushedAt":"2024-02-18T09:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"link to newly available paper on analysis of dose-escalation protocols\n\nMany thanks to @dcnorris for this great application and cooperation!","shortMessageHtmlLink":"link to newly available paper on analysis of dose-escalation protocols"}},{"before":"a60c4f412649330eac803b447301c2d4fbc7d346","after":"72f6a1985730e7d82b658a370374b4d382ea4fd3","ref":"refs/heads/master","pushedAt":"2024-02-18T09:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"update link to concolic testing paper, addressing #47\n\nMany thanks to @haijinSk for the notification!","shortMessageHtmlLink":"update link to concolic testing paper, addressing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2140356206\" data-permission-text=\"Title is private\" data-url=\"https://github.com/triska/the-power-of-prolog/issues/47\" data-hovercard-type=\"issue\" data-hovercard-url=\"/triska/the-power-of-prolog/issues/47/hovercard\" href=\"https://github.com/triska/the-power-of-prolog/issues/47\">#47</a>"}},{"before":"a12f21439dbef542c0f045cedae3de420699a947","after":"a60c4f412649330eac803b447301c2d4fbc7d346","ref":"refs/heads/master","pushedAt":"2024-02-01T18:33:00.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use Scryer Prolog interactions","shortMessageHtmlLink":"use Scryer Prolog interactions"}},{"before":"8bf82e42763418b544292944bdac9382e686736b","after":"a12f21439dbef542c0f045cedae3de420699a947","ref":"refs/heads/master","pushedAt":"2023-11-29T20:27:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use Scryer Prolog timings","shortMessageHtmlLink":"use Scryer Prolog timings"}},{"before":"20464b1383db8cf6f3054566b71189ddb8682965","after":"8bf82e42763418b544292944bdac9382e686736b","ref":"refs/heads/master","pushedAt":"2023-11-29T20:19:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"mention newly available papers with combinatorial theorems","shortMessageHtmlLink":"mention newly available papers with combinatorial theorems"}},{"before":"dcdb87010384b2a3a3328e6d0c710d2337111e43","after":"20464b1383db8cf6f3054566b71189ddb8682965","ref":"refs/heads/master","pushedAt":"2023-10-07T20:16:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use latest Scryer Prolog interactions","shortMessageHtmlLink":"use latest Scryer Prolog interactions"}},{"before":"bd0977554b830cc2720a2a8b831cecc981f47c64","after":"dcdb87010384b2a3a3328e6d0c710d2337111e43","ref":"refs/heads/master","pushedAt":"2023-09-24T19:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use Scryer Prolog interactions","shortMessageHtmlLink":"use Scryer Prolog interactions"}},{"before":"3d233b039c3c11b6dd3c525f609452a2d739d75b","after":"bd0977554b830cc2720a2a8b831cecc981f47c64","ref":"refs/heads/master","pushedAt":"2023-09-16T19:27:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"pull constraints into findall/3 so that no residual goals remain","shortMessageHtmlLink":"pull constraints into findall/3 so that no residual goals remain"}},{"before":"8854afc470edbe6b93dbb25f8d1496c9017f7441","after":"3d233b039c3c11b6dd3c525f609452a2d739d75b","ref":"refs/heads/master","pushedAt":"2023-09-11T21:03:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"update answers, using the latest Scryer Prolog version","shortMessageHtmlLink":"update answers, using the latest Scryer Prolog version"}},{"before":"61f0b1b62a3dfaa39cd2704b81a702c2089abebf","after":"8854afc470edbe6b93dbb25f8d1496c9017f7441","ref":"refs/heads/master","pushedAt":"2023-09-10T20:27:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"update answers, using the latest Scryer Prolog development version","shortMessageHtmlLink":"update answers, using the latest Scryer Prolog development version"}},{"before":"4bb120912b21220158691154e6122786bc57827e","after":"61f0b1b62a3dfaa39cd2704b81a702c2089abebf","ref":"refs/heads/master","pushedAt":"2023-08-15T15:47:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"ADDED: New video, \"Datalog\". Enjoy!","shortMessageHtmlLink":"ADDED: New video, \"Datalog\". Enjoy!"}},{"before":"d9ce530db222aa62e23ceafad584bb2e69837698","after":"4bb120912b21220158691154e6122786bc57827e","ref":"refs/heads/master","pushedAt":"2023-07-30T19:03:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"add ichiban/prolog","shortMessageHtmlLink":"add ichiban/prolog"}},{"before":"7c51553e70b50c34551f2ac3ef98dd8b561b9a63","after":"d9ce530db222aa62e23ceafad584bb2e69837698","ref":"refs/heads/master","pushedAt":"2023-07-30T08:56:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use ~n in format control sequences","shortMessageHtmlLink":"use ~n in format control sequences"}},{"before":"e424c5c4711c16b17727457d4593400e7819299a","after":"7c51553e70b50c34551f2ac3ef98dd8b561b9a63","ref":"refs/heads/master","pushedAt":"2023-07-30T08:55:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"more","shortMessageHtmlLink":"more"}},{"before":"132b95269a6e123c9385f0f190549ac95f9cbe76","after":"e424c5c4711c16b17727457d4593400e7819299a","ref":"refs/heads/master","pushedAt":"2023-06-27T22:02:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"introduce and use nonterminal rn//0","shortMessageHtmlLink":"introduce and use nonterminal rn//0"}},{"before":"202a58aee3055984fd5b14eac3a9f8ed99f95f83","after":"132b95269a6e123c9385f0f190549ac95f9cbe76","ref":"refs/heads/master","pushedAt":"2023-06-27T21:30:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"update queries and timings, using the latest Scryer version","shortMessageHtmlLink":"update queries and timings, using the latest Scryer version"}},{"before":"6e6c7720206ce5d5e7770d73c41c585f5dc755d3","after":"202a58aee3055984fd5b14eac3a9f8ed99f95f83","ref":"refs/heads/master","pushedAt":"2023-06-27T21:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"update timing for the latest Scryer version\n\nThis is due to improved compilation of disjunctions.","shortMessageHtmlLink":"update timing for the latest Scryer version"}},{"before":"18052c71f6dcfa55d11903a1e124b6f6a481020a","after":"6e6c7720206ce5d5e7770d73c41c585f5dc755d3","ref":"refs/heads/master","pushedAt":"2023-06-27T21:13:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"read_line_to_chars/3 --> get_line_to_chars/3","shortMessageHtmlLink":"read_line_to_chars/3 --&gt; get_line_to_chars/3"}},{"before":"321169b3a6d6eb2a6e58720474315ad0391e4c5c","after":"18052c71f6dcfa55d11903a1e124b6f6a481020a","ref":"refs/heads/master","pushedAt":"2023-06-27T20:55:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"read_line_to_chars/2 --> get_line_to_chars/2","shortMessageHtmlLink":"read_line_to_chars/2 --&gt; get_line_to_chars/2"}},{"before":"1da51e949a55b74a42469a2750e38f9dd5973217","after":"321169b3a6d6eb2a6e58720474315ad0391e4c5c","ref":"refs/heads/master","pushedAt":"2023-06-20T17:35:05.585Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use Scryer Prolog interactions","shortMessageHtmlLink":"use Scryer Prolog interactions"}},{"before":"5e94b6d92f9a6072e7b7bfdafc3d0882200c08ee","after":"1da51e949a55b74a42469a2750e38f9dd5973217","ref":"refs/heads/master","pushedAt":"2023-04-02T21:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"triska","name":"Markus Triska","path":"/triska","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482140?s=80&v=4"},"commit":{"message":"use continuation escape sequences","shortMessageHtmlLink":"use continuation escape sequences"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENj4deAA","startCursor":null,"endCursor":null}},"title":"Activity · triska/the-power-of-prolog"}