{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":311273994,"defaultBranch":"master","name":"Prism-modeling","ownerLogin":"d702e20","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-11-09T08:39:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/70879561?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1688460801.0","currentOid":""},"activityList":{"items":[{"before":"e0800d43f31039d4c0f652e8ff2eb7ee969418bd","after":"f22e32c5af07dc8da77683691e6951f19012b37f","ref":"refs/heads/master","pushedAt":"2023-07-05T07:51:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"add prism results","shortMessageHtmlLink":"add prism results"}},{"before":"b6eb8365a2ec5b2cad471fb446af6b967c1106d4","after":null,"ref":"refs/heads/criterion-runner","pushedAt":"2023-07-04T08:53:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"}},{"before":"61a31185fab7ecb0ca28fadec459810427b9540b","after":"e0800d43f31039d4c0f652e8ff2eb7ee969418bd","ref":"refs/heads/master","pushedAt":"2023-07-04T08:04:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"Criterion runner (#15)\n\n* Cleaned up and made macthing queries to the one in LCGS-examples\r\n\r\n* fix typo in prop and add to readme\r\n\r\n* add criterion-runner\r\n\r\n* add stdout generation per test\r\n\r\n* Renaming models and queries to same as CGAAL\r\n\r\n* fix typo\r\n\r\n* add back mexi5p1hp\r\n\r\n* add true rome5 prism path\r\n\r\n* fix multiple more typos\r\n\r\n* Added robot grid (not in bench,yet)\r\n\r\n* fix typo in RPS2\r\n\r\n* Add bigger versions of Gossip Protocol, Mexican Standoff, and Robot Coordination (#16)\r\n\r\n---------\r\n\r\nCo-authored-by: larsbpf <lbpf@cs.aau.dk>\r\nCo-authored-by: Lars Bo Frydenskov <38072340+lars4509@users.noreply.github.com>\r\nCo-authored-by: Nicolaj 'Eastvillage' Ø Jensen <nicoesterby@gmail.com>","shortMessageHtmlLink":"Criterion runner (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1756331727\" data-permission-text=\"Title is private\" data-url=\"https://github.com/d702e20/Prism-modeling/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/d702e20/Prism-modeling/pull/15/hovercard\" href=\"https://github.com/d702e20/Prism-modeling/pull/15\">#15</a>)"}},{"before":"649f62a3f229605c1e166f391b449b294d078bc7","after":null,"ref":"refs/heads/bigger_models","pushedAt":"2023-07-04T07:52:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"}},{"before":"b36153d958667e369fcddb44af025e8490b4b26a","after":"b6eb8365a2ec5b2cad471fb446af6b967c1106d4","ref":"refs/heads/criterion-runner","pushedAt":"2023-07-04T07:52:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add bigger versions of Gossip Protocol, Mexican Standoff, and Robot Coordination (#16)","shortMessageHtmlLink":"Add bigger versions of Gossip Protocol, Mexican Standoff, and Robot C…"}},{"before":"6c18267eadae6a4c43c4cfec602e6a4bd672bbef","after":"649f62a3f229605c1e166f391b449b294d078bc7","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T11:12:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add mexican standoff p5h2 and p5h3","shortMessageHtmlLink":"Add mexican standoff p5h2 and p5h3"}},{"before":"c86acc295f7cdc876ea8e3c54e28452de1e3b37d","after":"6c18267eadae6a4c43c4cfec602e6a4bd672bbef","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T10:52:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add gg6_circ to bench","shortMessageHtmlLink":"Add gg6_circ to bench"}},{"before":"63ef9c2772e888f097dba667cec05058b1111a95","after":"c86acc295f7cdc876ea8e3c54e28452de1e3b37d","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T10:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add script to generate circular gossiping models","shortMessageHtmlLink":"Add script to generate circular gossiping models"}},{"before":"49cac414505f62e28011c0c375f36c4c8119f00f","after":"63ef9c2772e888f097dba667cec05058b1111a95","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T08:40:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add script to generate circular gossip WIP","shortMessageHtmlLink":"Add script to generate circular gossip WIP"}},{"before":"3651a5a17a353e434bab9cd5131868647256c0d3","after":"49cac414505f62e28011c0c375f36c4c8119f00f","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T07:53:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add gg5 to bench","shortMessageHtmlLink":"Add gg5 to bench"}},{"before":"5c766c68faf8bb7914bcbece96cdbf8fd051f1bc","after":"3651a5a17a353e434bab9cd5131868647256c0d3","ref":"refs/heads/bigger_models","pushedAt":"2023-07-03T07:51:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Rename gg props and add gg-circ 5 to bench","shortMessageHtmlLink":"Rename gg props and add gg-circ 5 to bench"}},{"before":"08008c47efa4bd49a82ed88bf19f1c23bc309082","after":"5c766c68faf8bb7914bcbece96cdbf8fd051f1bc","ref":"refs/heads/bigger_models","pushedAt":"2023-06-30T15:45:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add robot coordination","shortMessageHtmlLink":"Add robot coordination"}},{"before":"42e041f4cd6b34fd3ff568466e16114860a1e709","after":"b36153d958667e369fcddb44af025e8490b4b26a","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-27T07:55:57.028Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"fix typo in RPS2","shortMessageHtmlLink":"fix typo in RPS2"}},{"before":null,"after":"08008c47efa4bd49a82ed88bf19f1c23bc309082","ref":"refs/heads/bigger_models","pushedAt":"2023-06-23T12:16:18.400Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"NicEastvillage","name":"Nicolaj 'Eastvillage' Ø Jensen","path":"/NicEastvillage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21122471?s=80&v=4"},"commit":{"message":"Add gossiping_circular_5.prism","shortMessageHtmlLink":"Add gossiping_circular_5.prism"}},{"before":"a3cb2cc77104cfdd612a375a993321357b52249d","after":"42e041f4cd6b34fd3ff568466e16114860a1e709","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-23T10:50:02.697Z","pushType":"push","commitsCount":2,"pusher":{"login":"lars4509","name":"Lars Bo Frydenskov","path":"/lars4509","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38072340?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/criterion-runner' into criterion-runner","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/criterion-runner' into criterion…"}},{"before":"b140b45383013f3f6dfdf9f488f9ac7e6eeb80cf","after":"a3cb2cc77104cfdd612a375a993321357b52249d","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-16T07:52:11.710Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"fix multiple more typos","shortMessageHtmlLink":"fix multiple more typos"}},{"before":"2c20656cb450e8cd6d8c35eaf1cd51a51be9ad64","after":"b140b45383013f3f6dfdf9f488f9ac7e6eeb80cf","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-15T11:18:25.377Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"add true rome5 prism path","shortMessageHtmlLink":"add true rome5 prism path"}},{"before":"1d4df7ef9fc532ebf33f035477a054cd53c7ebcf","after":"2c20656cb450e8cd6d8c35eaf1cd51a51be9ad64","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-15T11:17:29.877Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"add back mexi5p1hp","shortMessageHtmlLink":"add back mexi5p1hp"}},{"before":"2686ad9aaaaa017d1181d3e5df3666b155fdd310","after":"1d4df7ef9fc532ebf33f035477a054cd53c7ebcf","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-15T11:04:20.027Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"7132dcf5ee5586c0b53bb821309287b73b3fa73c","after":"2686ad9aaaaa017d1181d3e5df3666b155fdd310","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-15T10:40:19.258Z","pushType":"push","commitsCount":1,"pusher":{"login":"lars4509","name":"Lars Bo Frydenskov","path":"/lars4509","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38072340?s=80&v=4"},"commit":{"message":"Renaming models and queries to same as CGAAL","shortMessageHtmlLink":"Renaming models and queries to same as CGAAL"}},{"before":"77ef6f3bb06772a5f36d28383d21a66222670214","after":"7132dcf5ee5586c0b53bb821309287b73b3fa73c","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-14T11:05:37.625Z","pushType":"push","commitsCount":1,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"add stdout generation per test","shortMessageHtmlLink":"add stdout generation per test"}},{"before":null,"after":"77ef6f3bb06772a5f36d28383d21a66222670214","ref":"refs/heads/criterion-runner","pushedAt":"2023-06-14T08:19:48.250Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"falkecarlsen","name":"Falke Carlsen","path":"/falkecarlsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11318702?s=80&v=4"},"commit":{"message":"add criterion-runner","shortMessageHtmlLink":"add criterion-runner"}},{"before":null,"after":"5eb2671f50061fb28e3bb87811e3cf388cd0f644","ref":"refs/heads/comparison_bench","pushedAt":"2023-06-13T10:53:53.991Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lars4509","name":"Lars Bo Frydenskov","path":"/lars4509","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38072340?s=80&v=4"},"commit":{"message":"Cleaned up and made macthing queries to the one in LCGS-examples","shortMessageHtmlLink":"Cleaned up and made macthing queries to the one in LCGS-examples"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADTv2OGgA","startCursor":null,"endCursor":null}},"title":"Activity · d702e20/Prism-modeling"}