{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":461919077,"defaultBranch":"main","name":"comp2mzam","ownerLogin":"epatrizio","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-02-21T15:24:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16941058?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1682663185.0","currentOid":""},"activityList":{"items":[{"before":"2d21341c73f7deebbd99931489e9906c94dac7eb","after":null,"ref":"refs/heads/abs-inter","pushedAt":"2023-04-28T06:19:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"}},{"before":"eb4e0719fb737ce52d5ab9201b9b484b189f5fa7","after":"a41d59cd55cfdfde523f3055ca28f3b374a8876c","ref":"refs/heads/main","pushedAt":"2023-04-28T06:19:40.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Merge pull request #15 from epatrizio/abs-inter\n\nAbstract interpretation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1625169443\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epatrizio/comp2mzam/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epatrizio/comp2mzam/pull/15/hovercard\" href=\"https://github.com/epatrizio/comp2mzam/pull/15\">#15</a> from epatrizio/abs-inter"}},{"before":"083b9c5f4e4d56599d0e902f473debf93cb2b559","after":"2d21341c73f7deebbd99931489e9906c94dac7eb","ref":"refs/heads/abs-inter","pushedAt":"2023-04-28T06:18:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Add fix point with widening","shortMessageHtmlLink":"Add fix point with widening"}},{"before":"53ec2fa72de8985d73dd9db60fc7cd428ee6282c","after":"083b9c5f4e4d56599d0e902f473debf93cb2b559","ref":"refs/heads/abs-inter","pushedAt":"2023-04-26T13:28:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Interval domain (beta version)","shortMessageHtmlLink":"Interval domain (beta version)"}},{"before":"851ace3d1abb46c5484bb021e8bd50ea16260a12","after":"53ec2fa72de8985d73dd9db60fc7cd428ee6282c","ref":"refs/heads/abs-inter","pushedAt":"2023-04-26T09:16:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Constant domain (refactoring - add abstraction level)","shortMessageHtmlLink":"Constant domain (refactoring - add abstraction level)"}},{"before":"9771887ff3e2fdfbbd5b36391a37c476cf49c4e8","after":"851ace3d1abb46c5484bb021e8bd50ea16260a12","ref":"refs/heads/abs-inter","pushedAt":"2023-04-20T15:27:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Add some tests for constant domain","shortMessageHtmlLink":"Add some tests for constant domain"}},{"before":"f1231495e381bfef9eef952d8aea25d84568942e","after":"9771887ff3e2fdfbbd5b36391a37c476cf49c4e8","ref":"refs/heads/abs-inter","pushedAt":"2023-04-14T09:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Constant domain (beta version)","shortMessageHtmlLink":"Constant domain (beta version)"}},{"before":"96be7470ca764d3f2f3e7802e693d9d1e672480f","after":"f1231495e381bfef9eef952d8aea25d84568942e","ref":"refs/heads/abs-inter","pushedAt":"2023-03-31T09:59:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Add help rule","shortMessageHtmlLink":"Add help rule"}},{"before":"b25e79048690d8d3a1d65887c11481f79abcddc8","after":"96be7470ca764d3f2f3e7802e693d9d1e672480f","ref":"refs/heads/abs-inter","pushedAt":"2023-03-20T16:46:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Bug fix ebinop filter compare","shortMessageHtmlLink":"Bug fix ebinop filter compare"}},{"before":"b5d7c6c02d1be370fb63a8678bcf4b8be9e8474f","after":"b25e79048690d8d3a1d65887c11481f79abcddc8","ref":"refs/heads/abs-inter","pushedAt":"2023-03-17T16:45:26.458Z","pushType":"push","commitsCount":3,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Add rand ast expression","shortMessageHtmlLink":"Add rand ast expression"}},{"before":null,"after":"b5d7c6c02d1be370fb63a8678bcf4b8be9e8474f","ref":"refs/heads/abs-inter","pushedAt":"2023-03-15T09:56:58.370Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Init abstract interpretation (concrete domain)","shortMessageHtmlLink":"Init abstract interpretation (concrete domain)"}},{"before":"c3c4c7b708fe977985b277e34c57e3bb42176351","after":"eb4e0719fb737ce52d5ab9201b9b484b189f5fa7","ref":"refs/heads/main","pushedAt":"2023-03-07T14:48:26.600Z","pushType":"push","commitsCount":1,"pusher":{"login":"epatrizio","name":"Eric Patrizio","path":"/epatrizio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16941058?s=80&v=4"},"commit":{"message":"Bug fix compilation sequence","shortMessageHtmlLink":"Bug fix compilation sequence"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADIgrFmAA","startCursor":null,"endCursor":null}},"title":"Activity · epatrizio/comp2mzam"}