{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":670036245,"defaultBranch":"main","name":"PacPMA","ownerLogin":"iscas-tis","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-24T06:45:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33856091?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1690181936.0","currentOid":""},"activityList":{"items":[{"before":"be7509d7025cd4c57412da3e8fdf47453ca5fafb","after":"7c019a0412f869281c6933bcf311fb53c985c0c6","ref":"refs/heads/main","pushedAt":"2024-06-12T01:50:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Added synthetic model checker","shortMessageHtmlLink":"Added synthetic model checker"}},{"before":"1f59ae6094b396b65fbbf5fdbe0d0b66b8e997f7","after":"be7509d7025cd4c57412da3e8fdf47453ca5fafb","ref":"refs/heads/main","pushedAt":"2024-06-12T01:49:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Added option to select Prism smc engine","shortMessageHtmlLink":"Added option to select Prism smc engine"}},{"before":"d64592412e6994754bc4f5294835c82a99593bb9","after":"1f59ae6094b396b65fbbf5fdbe0d0b66b8e997f7","ref":"refs/heads/main","pushedAt":"2024-06-11T08:28:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"More logging","shortMessageHtmlLink":"More logging"}},{"before":"73228950558de9e4d5055959f0d43dbb92713426","after":"d64592412e6994754bc4f5294835c82a99593bb9","ref":"refs/heads/main","pushedAt":"2024-06-03T08:16:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Improved log management","shortMessageHtmlLink":"Improved log management"}},{"before":"440fbbbbe99c111095c4c23941ebcbe8070eee11","after":"73228950558de9e4d5055959f0d43dbb92713426","ref":"refs/heads/main","pushedAt":"2024-06-03T02:36:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Run smc script","shortMessageHtmlLink":"Run smc script"}},{"before":"ea538a9ce328e0113ba989ed37d00c4bc7be3221","after":"440fbbbbe99c111095c4c23941ebcbe8070eee11","ref":"refs/heads/main","pushedAt":"2024-05-31T04:44:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"d748e8896b282d61648d10c136531a5f4d91daab","after":"ea538a9ce328e0113ba989ed37d00c4bc7be3221","ref":"refs/heads/main","pushedAt":"2024-05-31T03:38:45.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Add Storm SMC solver","shortMessageHtmlLink":"Add Storm SMC solver"}},{"before":"8af842979cdde28e48bf4e69fefb70b211ac47d8","after":"d748e8896b282d61648d10c136531a5f4d91daab","ref":"refs/heads/main","pushedAt":"2024-05-31T02:03:37.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Remove unused include","shortMessageHtmlLink":"Remove unused include"}},{"before":"a84136f2274de7a1cac203fd40e286fa5596b3fe","after":"8af842979cdde28e48bf4e69fefb70b211ac47d8","ref":"refs/heads/main","pushedAt":"2024-05-29T03:06:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Run script","shortMessageHtmlLink":"Run script"}},{"before":"f2e36f9c00d4a68c72b8a939ef456b174f139244","after":"a84136f2274de7a1cac203fd40e286fa5596b3fe","ref":"refs/heads/main","pushedAt":"2024-05-28T09:47:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Reporting model checker range","shortMessageHtmlLink":"Reporting model checker range"}},{"before":"79f74ce66525b4abe3e682a21fe5229f554826b3","after":"f2e36f9c00d4a68c72b8a939ef456b174f139244","ref":"refs/heads/main","pushedAt":"2023-09-05T02:31:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"Allow to immediately dump LP problems to file while creating them","shortMessageHtmlLink":"Allow to immediately dump LP problems to file while creating them"}},{"before":"d2dd892e7787c8bbd5217f6b726842fff18f8671","after":"79f74ce66525b4abe3e682a21fe5229f554826b3","ref":"refs/heads/main","pushedAt":"2023-08-07T08:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"More information in case the called tool fails","shortMessageHtmlLink":"More information in case the called tool fails"}},{"before":"5a95ff0e031a2b095558e7b7de2bd21b667dfe76","after":"d2dd892e7787c8bbd5217f6b726842fff18f8671","ref":"refs/heads/main","pushedAt":"2023-08-07T07:40:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"More ignored content","shortMessageHtmlLink":"More ignored content"}},{"before":null,"after":"5a95ff0e031a2b095558e7b7de2bd21b667dfe76","ref":"refs/heads/main","pushedAt":"2023-07-24T06:58:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreat","name":"Andrea Turrini","path":"/andreat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/469213?s=80&v=4"},"commit":{"message":"PacPMA ATVA'23 version","shortMessageHtmlLink":"PacPMA ATVA'23 version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMlQwMTo1MDowOC4wMDAwMDBazwAAAARizmDq","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMlQwMTo1MDowOC4wMDAwMDBazwAAAARizmDq","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0yNFQwNjo1ODo1Ni4wMDAwMDBazwAAAANblqqE"}},"title":"Activity · iscas-tis/PacPMA"}