{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":655289885,"defaultBranch":"main","name":"pctl","ownerLogin":"benmandrew","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-18T13:12:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13054139?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692382424.0","currentOid":""},"activityList":{"items":[{"before":"9d3974d6a7e0a5e1e7b5bdecc5ccd09d53beccf9","after":null,"ref":"refs/heads/parrows-protocol","pushedAt":"2023-08-18T18:13:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"}},{"before":"9a4405ebfa60475a1ea89e4eb3e49d404d62eb18","after":"4d340cc7005c4fcbbffcf95e79b1293967ecad57","ref":"refs/heads/main","pushedAt":"2023-08-18T18:13:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Test Parrow's Protocol (#3)\n\nChange atomic properties to be implemented as strings rather than variants for more flexibility.","shortMessageHtmlLink":"Test Parrow's Protocol (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1857104990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/benmandrew/pctl/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/benmandrew/pctl/pull/3/hovercard\" href=\"https://github.com/benmandrew/pctl/pull/3\">#3</a>)"}},{"before":"c3fb69b7bc59668da4ac81ebaa5ec13fcae74d50","after":"9d3974d6a7e0a5e1e7b5bdecc5ccd09d53beccf9","ref":"refs/heads/parrows-protocol","pushedAt":"2023-08-18T18:09:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Test Parrow's Protocol and change atomic properties to be implemented as strings rather than variants for more flexibility","shortMessageHtmlLink":"Test Parrow's Protocol and change atomic properties to be implemented…"}},{"before":null,"after":"c3fb69b7bc59668da4ac81ebaa5ec13fcae74d50","ref":"refs/heads/parrows-protocol","pushedAt":"2023-08-17T15:31:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Attempting to functorise models over atomic propositions","shortMessageHtmlLink":"Attempting to functorise models over atomic propositions"}},{"before":"1918e5f062c054270b41c150bfb3b62fd4f265b5","after":null,"ref":"refs/heads/infinite-paths","pushedAt":"2023-08-17T14:30:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"}},{"before":"e9e420a060d05848f3b24ffdbcf9112f69201e2b","after":"9a4405ebfa60475a1ea89e4eb3e49d404d62eb18","ref":"refs/heads/main","pushedAt":"2023-08-17T14:30:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Reasoning about formulae involving infinite paths (#2)","shortMessageHtmlLink":"Reasoning about formulae involving infinite paths (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1855127031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/benmandrew/pctl/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/benmandrew/pctl/pull/2/hovercard\" href=\"https://github.com/benmandrew/pctl/pull/2\">#2</a>)"}},{"before":"4936a695026aa85acfb52b992bdab64e5aa8d8e7","after":"1918e5f062c054270b41c150bfb3b62fd4f265b5","ref":"refs/heads/infinite-paths","pushedAt":"2023-08-17T14:25:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Removed skeleton of Parrow's protocol test","shortMessageHtmlLink":"Removed skeleton of Parrow's protocol test"}},{"before":"84938c137de4c44e1545cdac9acb686c3758c398","after":"4936a695026aa85acfb52b992bdab64e5aa8d8e7","ref":"refs/heads/infinite-paths","pushedAt":"2023-08-17T14:22:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Finalise implementation of infinite path model checking","shortMessageHtmlLink":"Finalise implementation of infinite path model checking"}},{"before":null,"after":"84938c137de4c44e1545cdac9acb686c3758c398","ref":"refs/heads/infinite-paths","pushedAt":"2023-07-28T11:08:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Initial progress with model checking for infinite paths","shortMessageHtmlLink":"Initial progress with model checking for infinite paths"}},{"before":"f4f365b2bc9aa4e15f22d37f6e4cb15315aaf6d9","after":"e9e420a060d05848f3b24ffdbcf9112f69201e2b","ref":"refs/heads/main","pushedAt":"2023-07-27T11:54:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Add interface for model.ml","shortMessageHtmlLink":"Add interface for model.ml"}},{"before":"172a96684bd9cd7d7fe704e63b4a6fa939bf1fa4","after":"f4f365b2bc9aa4e15f22d37f6e4cb15315aaf6d9","ref":"refs/heads/main","pushedAt":"2023-07-01T20:04:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Correct a few edge cases for temporal operators","shortMessageHtmlLink":"Correct a few edge cases for temporal operators"}},{"before":"91ec122eb03bc486f11bd101085def9b876d712d","after":"172a96684bd9cd7d7fe704e63b4a6fa939bf1fa4","ref":"refs/heads/main","pushedAt":"2023-07-01T19:40:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Correct a few edge cases for temporal operators","shortMessageHtmlLink":"Correct a few edge cases for temporal operators"}},{"before":"6658231a856c5dd8aa55bef397ce397707cfccd8","after":"91ec122eb03bc486f11bd101085def9b876d712d","ref":"refs/heads/main","pushedAt":"2023-07-01T19:38:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Correct a few edge cases for temporal operators","shortMessageHtmlLink":"Correct a few edge cases for temporal operators"}},{"before":"49ac9be5f122f4608bf462ef9e1edb5b87750236","after":"6658231a856c5dd8aa55bef397ce397707cfccd8","ref":"refs/heads/main","pushedAt":"2023-07-01T19:20:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Extract interfaces","shortMessageHtmlLink":"Extract interfaces"}},{"before":"6e26ed661a47d316f33777d6e9ea43429e92d66f","after":"49ac9be5f122f4608bf462ef9e1edb5b87750236","ref":"refs/heads/main","pushedAt":"2023-07-01T19:10:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Extract interfaces","shortMessageHtmlLink":"Extract interfaces"}},{"before":"858f3b4b6254fd49b1570bca0fb37761b46414df","after":"6e26ed661a47d316f33777d6e9ea43429e92d66f","ref":"refs/heads/main","pushedAt":"2023-07-01T19:00:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Various bug-fixes","shortMessageHtmlLink":"Various bug-fixes"}},{"before":null,"after":"fd878a78cb8a73b9a8987eef1ac1b5fb9519b0fc","ref":"refs/heads/functor","pushedAt":"2023-06-30T13:38:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Attempt to functorise over atomic propositions, failed so far","shortMessageHtmlLink":"Attempt to functorise over atomic propositions, failed so far"}},{"before":"b327873c39572847dcb642e566f862c99f99d820","after":"858f3b4b6254fd49b1570bca0fb37761b46414df","ref":"refs/heads/main","pushedAt":"2023-06-30T13:38:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Implemented most cases for modal operators using Dijkstra's, with tests","shortMessageHtmlLink":"Implemented most cases for modal operators using Dijkstra's, with tests"}},{"before":"7e91ac64bf203f1f4bf9fbe5c1d6b1742b22f584","after":"b327873c39572847dcb642e566f862c99f99d820","ref":"refs/heads/main","pushedAt":"2023-06-29T15:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Start implementing temporal operator special cases","shortMessageHtmlLink":"Start implementing temporal operator special cases"}},{"before":"f69a7f2eb243b2350a0f6cb72cffe3bb01ba080a","after":"7e91ac64bf203f1f4bf9fbe5c1d6b1742b22f584","ref":"refs/heads/main","pushedAt":"2023-06-19T19:27:23.056Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Add other temporal operators","shortMessageHtmlLink":"Add other temporal operators"}},{"before":"b721b30df89b333f0bb350d5e660df38925d8333","after":"f69a7f2eb243b2350a0f6cb72cffe3bb01ba080a","ref":"refs/heads/main","pushedAt":"2023-06-18T22:56:43.734Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Functorise model over atomic propositions","shortMessageHtmlLink":"Functorise model over atomic propositions"}},{"before":"c1cb0c5599f58bf86d613819359893414617fec2","after":"b721b30df89b333f0bb350d5e660df38925d8333","ref":"refs/heads/main","pushedAt":"2023-06-18T22:47:58.524Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Functorise model over atomic propositions","shortMessageHtmlLink":"Functorise model over atomic propositions"}},{"before":"f26c8dc90d0f4aae9b867dcdcec02857de3467e0","after":"c1cb0c5599f58bf86d613819359893414617fec2","ref":"refs/heads/main","pushedAt":"2023-06-18T22:43:40.435Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Functorise model over atomic propositions","shortMessageHtmlLink":"Functorise model over atomic propositions"}},{"before":"50e8804534b1c0f0797abf8bb544c168b84ab17c","after":"f26c8dc90d0f4aae9b867dcdcec02857de3467e0","ref":"refs/heads/main","pushedAt":"2023-06-18T22:40:30.013Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Functorise model over atomic propositions","shortMessageHtmlLink":"Functorise model over atomic propositions"}},{"before":"fa93a2f7714646868616c47ae43fbd93dcbda2e6","after":"50e8804534b1c0f0797abf8bb544c168b84ab17c","ref":"refs/heads/main","pushedAt":"2023-06-18T22:38:10.694Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Functorise model over atomic propositions","shortMessageHtmlLink":"Functorise model over atomic propositions"}},{"before":"a0f37994ee19eaf69999c37adf0551ed94e45da9","after":"fa93a2f7714646868616c47ae43fbd93dcbda2e6","ref":"refs/heads/main","pushedAt":"2023-06-18T22:21:59.407Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Added weak until modal operator","shortMessageHtmlLink":"Added weak until modal operator"}},{"before":"958ff48aaf2a67a4a0cd21c39bb85409fcdaa078","after":"a0f37994ee19eaf69999c37adf0551ed94e45da9","ref":"refs/heads/main","pushedAt":"2023-06-18T21:53:58.879Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Model checking and testing for until modal operator","shortMessageHtmlLink":"Model checking and testing for until modal operator"}},{"before":"048807699aee7a771a1a6715e47a2a1563cf6473","after":"958ff48aaf2a67a4a0cd21c39bb85409fcdaa078","ref":"refs/heads/main","pushedAt":"2023-06-18T19:28:20.185Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Refactor labelling function","shortMessageHtmlLink":"Refactor labelling function"}},{"before":"051f744eb4bf4e14eb4ed0b85522155536aea46c","after":"048807699aee7a771a1a6715e47a2a1563cf6473","ref":"refs/heads/main","pushedAt":"2023-06-18T19:17:45.114Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Basic formulae model-checked with testing","shortMessageHtmlLink":"Basic formulae model-checked with testing"}},{"before":"ade275ac807e88c8fd168a474869a2393214ebcb","after":"051f744eb4bf4e14eb4ed0b85522155536aea46c","ref":"refs/heads/main","pushedAt":"2023-06-18T15:39:38.093Z","pushType":"push","commitsCount":1,"pusher":{"login":"benmandrew","name":"Ben Andrew","path":"/benmandrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13054139?s=80&v=4"},"commit":{"message":"Model checking of until operator in progress","shortMessageHtmlLink":"Model checking of until operator in progress"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xOFQxODoxMzo0NC4wMDAwMDBazwAAAANtxlYa","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xOFQxODoxMzo0NC4wMDAwMDBazwAAAANtxlYa","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0xOFQxNTozOTozOC4wOTMxMzdazwAAAAND5o0M"}},"title":"Activity · benmandrew/pctl"}