{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":37799274,"defaultBranch":"master","name":"P","ownerLogin":"p-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-21T06:26:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12985075?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726166425.0","currentOid":""},"activityList":{"items":[{"before":"fae101884bc62c01dda115251b739849b7c5fdf8","after":null,"ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-12T18:40:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"}},{"before":"89bccd917792903d74798eb65a53d570dc7b2861","after":"9122a7570f3ec2a8e00dba623a6ce35af844110f","ref":"refs/heads/cleanup/Simplify_PChecker","pushedAt":"2024-09-12T18:40:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"},"commit":{"message":"[Cleanup] Remove statemachine factory, runtime factory, and name resolver (#774)\n\nCo-authored-by: Christine Zhou <zhouchrs@amazon.com>","shortMessageHtmlLink":"[Cleanup] Remove statemachine factory, runtime factory, and name reso…"}},{"before":null,"after":"fae101884bc62c01dda115251b739849b7c5fdf8","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-11T19:52:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Remove statemachine factory, runtime factory, and name resolver","shortMessageHtmlLink":"[Cleanup] Remove statemachine factory, runtime factory, and name reso…"}},{"before":"325ae22438f2166fb0015bad05dc13660c59aac8","after":null,"ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-11T17:56:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"}},{"before":"68b85778b6a9a4029012e954971c4076167c6006","after":"89bccd917792903d74798eb65a53d570dc7b2861","ref":"refs/heads/cleanup/Simplify_PChecker","pushedAt":"2024-09-11T17:56:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"},"commit":{"message":"[Cleanup] Minor cleanups (#773)\n\nOrganized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P; Remove Coyote references from comments\r\n\r\nCo-authored-by: Christine Zhou <zhouchrs@amazon.com>","shortMessageHtmlLink":"[Cleanup] Minor cleanups (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2518138847\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p-org/P/issues/773\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p-org/P/pull/773/hovercard\" href=\"https://github.com/p-org/P/pull/773\">#773</a>)"}},{"before":"900df8cb47c349754f650dbbfae77194352dc143","after":"325ae22438f2166fb0015bad05dc13660c59aac8","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-10T22:19:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Minor cleanups\n\nOrganized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P; Remove Coyote references from comments","shortMessageHtmlLink":"[Cleanup] Minor cleanups"}},{"before":"b31a05fc84e1a6a56d1c54a02fea2cbb81f06181","after":"900df8cb47c349754f650dbbfae77194352dc143","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-10T22:01:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Minor cleanups\n\nOrganized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P; remove Coyote references from comments","shortMessageHtmlLink":"[Cleanup] Minor cleanups"}},{"before":"637c4633753c61a84e0fd2005ae6f4d9c8c1f293","after":"b31a05fc84e1a6a56d1c54a02fea2cbb81f06181","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-10T18:31:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Minor cleanups\n\nOrganized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P","shortMessageHtmlLink":"[Cleanup] Minor cleanups"}},{"before":null,"after":"637c4633753c61a84e0fd2005ae6f4d9c8c1f293","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-10T17:28:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Minor cleanups\n\nOrganized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P","shortMessageHtmlLink":"[Cleanup] Minor cleanups"}},{"before":"39411b7e74b9b4940b0132c269d3efef9a0ac138","after":null,"ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-10T17:19:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"}},{"before":"d809879e285179651d4010cb8a2e1a0170daac3a","after":"68b85778b6a9a4029012e954971c4076167c6006","ref":"refs/heads/cleanup/Simplify_PChecker","pushedAt":"2024-09-10T17:19:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"},"commit":{"message":"Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor (#772)\n\n* [Cleanup] Remove GodMachine, reformat PChecker folder, add assert false after raise test case\r\n\r\n* [Cleanup] Remove IStateMachineRuntime, ICyoteRuntime, CyoteRuntime\r\n\r\n* [Cleanup] Fixing monitor Raise statement + unit tests\r\n\r\n---------\r\n\r\nCo-authored-by: Christine Zhou <zhouchrs@amazon.com>","shortMessageHtmlLink":"Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2515114098\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p-org/P/issues/772\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p-org/P/pull/772/hovercard\" href=\"https://github.com/p-org/P/pull/772\">#772</a>)"}},{"before":"e55fe1d5e8fbad087d850fdb1865dc6c7d77db9d","after":"1e8aec735c918a41801c4bb4a5cb19292079e2e9","ref":"refs/heads/dev/aman","pushedAt":"2024-09-09T23:44:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Update cli default\n\nChange each task to 2K schedules by default","shortMessageHtmlLink":"[PEx] Update cli default"}},{"before":"c599395dbde8267752ef8569e245a2810ce79675","after":"39411b7e74b9b4940b0132c269d3efef9a0ac138","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-09T23:38:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Fixing monitor Raise statement + unit tests","shortMessageHtmlLink":"[Cleanup] Fixing monitor Raise statement + unit tests"}},{"before":"2aa8b5fef93d42341e800c8ba8ac718b1c69e180","after":"e55fe1d5e8fbad087d850fdb1865dc6c7d77db9d","ref":"refs/heads/dev/aman","pushedAt":"2024-09-09T23:35:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Refactoring and formatting changes","shortMessageHtmlLink":"[PEx] Refactoring and formatting changes"}},{"before":null,"after":"2aa8b5fef93d42341e800c8ba8ac718b1c69e180","ref":"refs/heads/dev/aman","pushedAt":"2024-09-09T23:13:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Several updates to logging, PEx config\n\nChanges default max choices limit to 20 per call and 250 per schedule (to account for open-source protocols with monolithic transition relation modeled as single action)\n\nAdds logging support to print choose(.) location info for easy debugging TooManyChoicesException via replayer log\n\nMinor correction","shortMessageHtmlLink":"[PEx] Several updates to logging, PEx config"}},{"before":"9aed4f331de4955b586571f497d373a144075e2a","after":"c599395dbde8267752ef8569e245a2810ce79675","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-09T20:28:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Remove IStateMachineRuntime, ICyoteRuntime, CyoteRuntime","shortMessageHtmlLink":"[Cleanup] Remove IStateMachineRuntime, ICyoteRuntime, CyoteRuntime"}},{"before":"fd0304af0c684b494e20dc042540866627b59d55","after":"9aed4f331de4955b586571f497d373a144075e2a","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-09T18:50:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Remove IStateMachineRuntime","shortMessageHtmlLink":"[Cleanup] Remove IStateMachineRuntime"}},{"before":"07a070ce4e6cd9eac621b0b9db6853f713628032","after":null,"ref":"refs/heads/dev/aman","pushedAt":"2024-09-09T17:47:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"}},{"before":"ed1b2090f286abc3b297b782db67be90f8b8a2f4","after":"5c8abf093ba225b277f9f22124d26c834cbe6d9b","ref":"refs/heads/dev/pexplicit_checker","pushedAt":"2024-09-09T17:47:41.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[Tutorial] Update hints for PEx\n\n[PEx] minor change","shortMessageHtmlLink":"[Tutorial] Update hints for PEx"}},{"before":null,"after":"fd0304af0c684b494e20dc042540866627b59d55","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-08T18:34:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Remove GodMachine, reformat PChecker folder, add assert false after raise test case","shortMessageHtmlLink":"[Cleanup] Remove GodMachine, reformat PChecker folder, add assert fal…"}},{"before":"00f65cbb511f3b0a3c878e4584dff6ebe6c7661b","after":null,"ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-05T23:52:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"}},{"before":"19a24f0d5b69d6433b23d5ce850e5694a10b9fb9","after":"d809879e285179651d4010cb8a2e1a0170daac3a","ref":"refs/heads/cleanup/Simplify_PChecker","pushedAt":"2024-09-05T23:52:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ankushdesai","name":"Ankush Desai","path":"/ankushdesai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12651260?s=80&v=4"},"commit":{"message":"[Cleanup] Merging PMachine with StateMachine (#770)\n\nCo-authored-by: Christine Zhou <zhouchrs@amazon.com>","shortMessageHtmlLink":"[Cleanup] Merging PMachine with StateMachine (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2508141415\" data-permission-text=\"Title is private\" data-url=\"https://github.com/p-org/P/issues/770\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/p-org/P/pull/770/hovercard\" href=\"https://github.com/p-org/P/pull/770\">#770</a>)"}},{"before":"3fc6eece914a708c07dd6ec24a0a2ddf4fc7d0bd","after":"00f65cbb511f3b0a3c878e4584dff6ebe6c7661b","ref":"refs/heads/cleanup/Simplify_PChecker_Christine","pushedAt":"2024-09-05T23:44:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChristineZh0u","name":null,"path":"/ChristineZh0u","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48167738?s=80&v=4"},"commit":{"message":"[Cleanup] Merging PMachine with StateMachine","shortMessageHtmlLink":"[Cleanup] Merging PMachine with StateMachine"}},{"before":"9cfb8eff0ee7b749ce10789e25e5c4f3ec9ea40a","after":"07a070ce4e6cd9eac621b0b9db6853f713628032","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T21:31:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[Tutorial] Update hints for PEx\n\n[PEx] minor change","shortMessageHtmlLink":"[Tutorial] Update hints for PEx"}},{"before":"4c15796450cf666d24fd4aa4dd56054d67bf2340","after":"9cfb8eff0ee7b749ce10789e25e5c4f3ec9ea40a","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T20:57:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Correct return codes, [Tst] Limit choose choices","shortMessageHtmlLink":"[PEx] Correct return codes, [Tst] Limit choose choices"}},{"before":"7a0a39cdc63653d88ca4b77c520085cf34b9237c","after":"4c15796450cf666d24fd4aa4dd56054d67bf2340","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T20:14:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Changes return codes\n\n0: ok, 2: bug, 3: bug (too_many_choices), 4: timeout, 5: memout, 6: error","shortMessageHtmlLink":"[PEx] Changes return codes"}},{"before":"73fcf76f38c2fa0541c0920d94621a913c743c72","after":"7a0a39cdc63653d88ca4b77c520085cf34b9237c","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T20:05:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] Minor logging changes","shortMessageHtmlLink":"[PEx] Minor logging changes"}},{"before":"c5ba444a6eb18226e1725ea6406f07864c417c2b","after":"73fcf76f38c2fa0541c0920d94621a913c743c72","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T20:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] minor logging changes, [Tst] Change choose(100) to choose(10)","shortMessageHtmlLink":"[PEx] minor logging changes, [Tst] Change choose(100) to choose(10)"}},{"before":"e97c887995d5e41c8c56c65cd8d88c9e0ba4af0c","after":"c5ba444a6eb18226e1725ea6406f07864c417c2b","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T19:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] code cleanup and refactoring","shortMessageHtmlLink":"[PEx] code cleanup and refactoring"}},{"before":"9a38e6824fe34c7f4707546efc76ecba737a055a","after":"e97c887995d5e41c8c56c65cd8d88c9e0ba4af0c","ref":"refs/heads/dev/aman","pushedAt":"2024-09-05T19:27:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aman-goel","name":"Aman Goel","path":"/aman-goel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22667198?s=80&v=4"},"commit":{"message":"[PEx] bump version, change cli defaults\n\nChange max choices per choose statement to 10 per call and 100 per schedule by default\n\nMinor renaming","shortMessageHtmlLink":"[PEx] bump version, change cli defaults"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMlQxODo0MDoyNS4wMDAwMDBazwAAAAS0u1lv","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMlQxODo0MDoyNS4wMDAwMDBazwAAAAS0u1lv","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNVQxOToyNzo0NC4wMDAwMDBazwAAAASuORub"}},"title":"Activity · p-org/P"}