{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":772594355,"defaultBranch":"main","name":"Failure-SSIL-Analyser","ownerLogin":"Alex23087","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-15T13:59:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/44084921?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723290678.0","currentOid":""},"activityList":{"items":[{"before":"3d3a222b905d755f90122e5dbe837d6d65f96dfc","after":null,"ref":"refs/heads/parser-tests","pushedAt":"2024-08-10T11:51:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"67ccfb31be7ad46a305b206baf9b56ce5fb8d34c","after":null,"ref":"refs/heads/devel_2","pushedAt":"2024-08-10T11:50:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"91dcc9869f04206e9a8efd95da5796327c41a40e","after":null,"ref":"refs/heads/cfg-node-data-conversion","pushedAt":"2024-08-10T11:50:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"cc277f8b1819041747b9ddf51e9cc6cb40604fb5","after":null,"ref":"refs/heads/ast-validation","pushedAt":"2024-08-10T11:50:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"27055af4bddd4923100137510846f107c9b78fdb","after":null,"ref":"refs/heads/formula-simplification","pushedAt":"2024-08-10T11:50:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"1b493f0df7e844bb811363cbe3e8440cd43a923d","after":null,"ref":"refs/heads/ast-to-cfg","pushedAt":"2024-08-10T11:50:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"1b493f0df7e844bb811363cbe3e8440cd43a923d","after":null,"ref":"refs/heads/heap-analysis","pushedAt":"2024-08-10T11:50:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"1b493f0df7e844bb811363cbe3e8440cd43a923d","after":null,"ref":"refs/heads/ssil-functional-tests","pushedAt":"2024-08-10T11:50:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"b588173b7ee418da22f63e1170f37adce001eaba","after":null,"ref":"refs/heads/analysis","pushedAt":"2024-08-10T11:50:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"}},{"before":"f731c305fa9104aa08a4a8bdc49e1c87f5adf183","after":"be3ca31821aa8de0026fce8bdac4007934dc8fee","ref":"refs/heads/main","pushedAt":"2024-08-10T11:43:07.000Z","pushType":"pr_merge","commitsCount":327,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge pull request #38 from Alex23087/analysis\n\nMerge the working tool from the development branch 'analysis'","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2372832762\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Alex23087/Failure-SSIL-Analyser/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Alex23087/Failure-SSIL-Analyser/pull/38/hovercard\" href=\"https://github.com/Alex23087/Failure-SSIL-Analyser/pull/38\">#38</a> from Alex23087/analysis"}},{"before":"201cdecddcbadaebe56bb471c31bd660feccc0af","after":"b588173b7ee418da22f63e1170f37adce001eaba","ref":"refs/heads/analysis","pushedAt":"2024-07-01T14:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Add tests for equation simplification","shortMessageHtmlLink":"Add tests for equation simplification"}},{"before":"14fa9e33f70379963d9c55fd572e41e91068090b","after":"201cdecddcbadaebe56bb471c31bd660feccc0af","ref":"refs/heads/analysis","pushedAt":"2024-07-01T10:30:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Add comments for equation and expression simplifications","shortMessageHtmlLink":"Add comments for equation and expression simplifications"}},{"before":"771d1205d54da4539c42df215239a3aaeed25a34","after":"14fa9e33f70379963d9c55fd572e41e91068090b","ref":"refs/heads/analysis","pushedAt":"2024-07-01T10:18:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Fix disequation solver, Add tests","shortMessageHtmlLink":"Fix disequation solver, Add tests"}},{"before":"040320bf794d2685fd9abb7f9afd69babe4021ea","after":"771d1205d54da4539c42df215239a3aaeed25a34","ref":"refs/heads/analysis","pushedAt":"2024-07-01T09:34:27.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Add tests for ZeroAnd semplification","shortMessageHtmlLink":"Add tests for ZeroAnd semplification"}},{"before":"1b05e621786957859402f98cbca4376f78aedb40","after":"040320bf794d2685fd9abb7f9afd69babe4021ea","ref":"refs/heads/analysis","pushedAt":"2024-07-01T09:14:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Add tests for removal of same expr comparisons","shortMessageHtmlLink":"Add tests for removal of same expr comparisons"}},{"before":"cd2b690f60f8ed461b4489757ab242e722b84984","after":"1b05e621786957859402f98cbca4376f78aedb40","ref":"refs/heads/analysis","pushedAt":"2024-06-25T16:41:03.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Add tests for removal of duplicate Trues in AndSeparately","shortMessageHtmlLink":"Add tests for removal of duplicate Trues in AndSeparately"}},{"before":"1b493f0df7e844bb811363cbe3e8440cd43a923d","after":"cd2b690f60f8ed461b4489757ab242e722b84984","ref":"refs/heads/analysis","pushedAt":"2024-06-25T13:39:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Update project name in dune and source files. Remove auto-generated opam files","shortMessageHtmlLink":"Update project name in dune and source files. Remove auto-generated o…"}},{"before":"87474b780854b67c231629ec0f9f7578ebae83bd","after":"1b493f0df7e844bb811363cbe3e8440cd43a923d","ref":"refs/heads/ssil-functional-tests","pushedAt":"2024-06-19T23:02:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"87474b780854b67c231629ec0f9f7578ebae83bd","after":"1b493f0df7e844bb811363cbe3e8440cd43a923d","ref":"refs/heads/heap-analysis","pushedAt":"2024-06-19T23:02:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"5aa9436b9b071596a41e7cf04884937846051f18","after":"1b493f0df7e844bb811363cbe3e8440cd43a923d","ref":"refs/heads/ast-to-cfg","pushedAt":"2024-06-19T22:59:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"87474b780854b67c231629ec0f9f7578ebae83bd","after":"1b493f0df7e844bb811363cbe3e8440cd43a923d","ref":"refs/heads/analysis","pushedAt":"2024-06-19T22:58:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"87474b780854b67c231629ec0f9f7578ebae83bd","after":"5aa9436b9b071596a41e7cf04884937846051f18","ref":"refs/heads/ast-to-cfg","pushedAt":"2024-06-19T20:34:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elvilio","name":"Elvilio","path":"/elvilio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23727164?s=80&v=4"},"commit":{"message":"Small fix to test","shortMessageHtmlLink":"Small fix to test"}},{"before":"148919bca289bebfdae8440243eed83ccfb969ba","after":"87474b780854b67c231629ec0f9f7578ebae83bd","ref":"refs/heads/ssil-functional-tests","pushedAt":"2024-06-19T19:59:34.000Z","pushType":"push","commitsCount":27,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"919e8eaf0bc000cd2e575f945e21de924e6d17e6","after":"27055af4bddd4923100137510846f107c9b78fdb","ref":"refs/heads/formula-simplification","pushedAt":"2024-06-19T19:58:57.000Z","pushType":"push","commitsCount":66,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge branch 'analysis' into formula-simplification","shortMessageHtmlLink":"Merge branch 'analysis' into formula-simplification"}},{"before":"2509ce479b4baad6ef18632348c9d6e9d016aa49","after":"87474b780854b67c231629ec0f9f7578ebae83bd","ref":"refs/heads/heap-analysis","pushedAt":"2024-06-19T19:58:36.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"f2ea7dfa6c9269919ad44598c5b7507e2a27d309","after":"87474b780854b67c231629ec0f9f7578ebae83bd","ref":"refs/heads/ast-to-cfg","pushedAt":"2024-06-19T19:57:58.000Z","pushType":"push","commitsCount":92,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"f20400da5086560d9f7ffe21cea5baa68a5acd63","after":"87474b780854b67c231629ec0f9f7578ebae83bd","ref":"refs/heads/analysis","pushedAt":"2024-06-19T19:57:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/ast-to-cfg' into analysis"}},{"before":"d16ff09c34404d8f44961a2270164b91d944183c","after":"f2ea7dfa6c9269919ad44598c5b7507e2a27d309","ref":"refs/heads/ast-to-cfg","pushedAt":"2024-06-19T15:21:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elvilio","name":"Elvilio","path":"/elvilio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23727164?s=80&v=4"},"commit":{"message":"Fix to the simplification bug","shortMessageHtmlLink":"Fix to the simplification bug"}},{"before":"9f50d3bc580a21de1ed9789189e4f5cdd4a5995e","after":"d16ff09c34404d8f44961a2270164b91d944183c","ref":"refs/heads/ast-to-cfg","pushedAt":"2024-06-19T12:48:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elvilio","name":"Elvilio","path":"/elvilio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23727164?s=80&v=4"},"commit":{"message":"Possible buf with star command","shortMessageHtmlLink":"Possible buf with star command"}},{"before":"6a3773fd7efb04b2891c1583113b111f64e76b18","after":"f20400da5086560d9f7ffe21cea5baa68a5acd63","ref":"refs/heads/analysis","pushedAt":"2024-06-19T00:07:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yurand2000","name":"Yuri Andriaccio","path":"/Yurand2000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21251055?s=80&v=4"},"commit":{"message":"Update test runner, fix some outputs","shortMessageHtmlLink":"Update test runner, fix some outputs"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAElu3MZQA","startCursor":null,"endCursor":null}},"title":"Activity · Alex23087/Failure-SSIL-Analyser"}