{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":140270526,"defaultBranch":"master","name":"gigahorse-toolchain","ownerLogin":"nevillegrech","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-07-09T10:35:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4048285?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720515987.0","currentOid":""},"activityList":{"items":[{"before":"b90d06abf8af80a3045f635f4860ca2c4b7d7cfd","after":"455c1d46f3fa4f673d2cb695d79a89416536ed68","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-21T15:25:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Fix transitive rules, Add more generality.","shortMessageHtmlLink":"Fix transitive rules, Add more generality."}},{"before":"50887ab59dcb97c1e082cfff5db9009286c1cc5f","after":"b90d06abf8af80a3045f635f4860ca2c4b7d7cfd","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T22:30:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Refine MissingProvidedJumpdest","shortMessageHtmlLink":"Refine MissingProvidedJumpdest"}},{"before":"b5916116e5ad31bfae974d6012d1f7cedc5dd9c7","after":"50887ab59dcb97c1e082cfff5db9009286c1cc5f","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T20:20:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"another attempted fix for ImmediateExitPointTransitive","shortMessageHtmlLink":"another attempted fix for ImmediateExitPointTransitive"}},{"before":"f4f1014b9cc2c02c7cd5ae7ca4c5e5a520fe3958","after":"b5916116e5ad31bfae974d6012d1f7cedc5dd9c7","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T18:50:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"fix (?) ImmediateExitPointTransitive","shortMessageHtmlLink":"fix (?) ImmediateExitPointTransitive"}},{"before":"10ea6f660c4371a4ee325cf4fd2d2d6546727b89","after":"f4f1014b9cc2c02c7cd5ae7ca4c5e5a520fe3958","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T17:48:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Fix bug in prev commit","shortMessageHtmlLink":"Fix bug in prev commit"}},{"before":"94b07196dacaca3f7235d93c7a388c68dead4a10","after":"10ea6f660c4371a4ee325cf4fd2d2d6546727b89","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T17:43:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"refine MissingProvidedJumpdest","shortMessageHtmlLink":"refine MissingProvidedJumpdest"}},{"before":"43818a65b08391e3cd2d13d5e1545ee7751994bc","after":"94b07196dacaca3f7235d93c7a388c68dead4a10","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-19T16:08:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"tweak some analytics","shortMessageHtmlLink":"tweak some analytics"}},{"before":"f4aadac59272791f316fd79e8874d9d569d84c91","after":"43818a65b08391e3cd2d13d5e1545ee7751994bc","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-18T18:01:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add pub funs as entry points","shortMessageHtmlLink":"Add pub funs as entry points"}},{"before":"b8f0926203303305d35adfbbf8a317d2f6beeca3","after":"f4aadac59272791f316fd79e8874d9d569d84c91","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-18T17:14:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Remove possible source of imprecision","shortMessageHtmlLink":"Remove possible source of imprecision"}},{"before":"ebb6031cec792a54bf4f781cebe4873ca27b07a1","after":"b8f0926203303305d35adfbbf8a317d2f6beeca3","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-16T12:37:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Fix imprecision","shortMessageHtmlLink":"Fix imprecision"}},{"before":"4495da06c477b3ef3243bc084304225aa903dc56","after":"ebb6031cec792a54bf4f781cebe4873ca27b07a1","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-16T12:03:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Optimizations","shortMessageHtmlLink":"Optimizations"}},{"before":"46ac75b36465614b022d52fb85eb05d0ebf30cee","after":"4495da06c477b3ef3243bc084304225aa903dc56","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-16T11:42:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Make external index logic work interprocedurally","shortMessageHtmlLink":"Make external index logic work interprocedurally"}},{"before":"852a8dd9afa57412f80d2cd7701f7520f1c668df","after":"46ac75b36465614b022d52fb85eb05d0ebf30cee","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-12T13:13:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"More complete, precise, needs completeness enhancements.","shortMessageHtmlLink":"More complete, precise, needs completeness enhancements."}},{"before":"493698fe2f08c036b88f82fc6b4459c529eeddbb","after":"852a8dd9afa57412f80d2cd7701f7520f1c668df","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-10T17:55:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"WIP generalization","shortMessageHtmlLink":"WIP generalization"}},{"before":null,"after":"493698fe2f08c036b88f82fc6b4459c529eeddbb","ref":"refs/heads/enhanced_local","pushedAt":"2024-07-09T09:06:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Use new component","shortMessageHtmlLink":"Use new component"}},{"before":null,"after":"fa16e47e735b29d417a23bab8fe8b787f005bb18","ref":"refs/heads/incompleteness_exp","pushedAt":"2024-07-08T14:37:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Commit some WIP code.","shortMessageHtmlLink":"Commit some WIP code."}},{"before":"0e137a75b5962c73c573cd38f9473c87208ca172","after":"c6fd99774df1b086e959da80006d2fc993b93e29","ref":"refs/heads/sub24","pushedAt":"2024-07-05T12:07:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Reintroduct inliner opt","shortMessageHtmlLink":"Reintroduct inliner opt"}},{"before":"8e865d32c04ed0696f1aaf7cd3776bed672db176","after":"0e137a75b5962c73c573cd38f9473c87208ca172","ref":"refs/heads/sub24","pushedAt":"2024-07-04T14:51:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"4e36553cc0542a8d805cf63be2570b84d7b5659f","after":"1fbf32b35ab59f3ba5f8a623e70828994903b8b3","ref":"refs/heads/elipmoc_rerun","pushedAt":"2024-07-02T12:31:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Empty out signature files to be consistent with the paper.","shortMessageHtmlLink":"Empty out signature files to be consistent with the paper."}},{"before":"7227ba63b69c07e5348afac9b759ee705dc51264","after":"8e865d32c04ed0696f1aaf7cd3776bed672db176","ref":"refs/heads/sub24","pushedAt":"2024-07-02T12:29:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Empty out signature files to be consistent with the paper.","shortMessageHtmlLink":"Empty out signature files to be consistent with the paper."}},{"before":"7735f380fcbdbf48600730d34b0232ab05072f91","after":"7227ba63b69c07e5348afac9b759ee705dc51264","ref":"refs/heads/sub24","pushedAt":"2024-06-28T20:51:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add parameter to disable the incomplete global pre analysis","shortMessageHtmlLink":"Add parameter to disable the incomplete global pre analysis"}},{"before":"ab50441f9facf4c26cbbb4e9c334dcd8cbfad67c","after":"a648c134254a91b68045376638aff68b052f6551","ref":"refs/heads/master","pushedAt":"2024-06-27T12:16:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain","shortMessageHtmlLink":"Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain"}},{"before":null,"after":"4e36553cc0542a8d805cf63be2570b84d7b5659f","ref":"refs/heads/elipmoc_rerun","pushedAt":"2024-06-27T10:26:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add missing analytics","shortMessageHtmlLink":"Add missing analytics"}},{"before":"4684227594ed609aa19408b2d4ec1f8ce05bb53d","after":"ab50441f9facf4c26cbbb4e9c334dcd8cbfad67c","ref":"refs/heads/master","pushedAt":"2024-06-25T19:51:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanniss","name":"Yannis Smaragdakis","path":"/yanniss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4835915?s=80&v=4"},"commit":{"message":"minor optimization","shortMessageHtmlLink":"minor optimization"}},{"before":"4684227594ed609aa19408b2d4ec1f8ce05bb53d","after":"afddb47aff785211d208da27e75b9fbb42ee2cd6","ref":"refs/heads/storage-modeling","pushedAt":"2024-06-21T13:07:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Fix in tight-packing","shortMessageHtmlLink":"Fix in tight-packing"}},{"before":"ce5172a6e4e9b53dd444ef8027be50830a5fbe15","after":"4684227594ed609aa19408b2d4ec1f8ce05bb53d","ref":"refs/heads/storage-modeling","pushedAt":"2024-06-21T13:05:45.000Z","pushType":"push","commitsCount":30,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add more metrics to compare-runs.py","shortMessageHtmlLink":"Add more metrics to compare-runs.py"}},{"before":"8bdfe263340696f3412b82a4b4512793a79a7bae","after":"4684227594ed609aa19408b2d4ec1f8ce05bb53d","ref":"refs/heads/master","pushedAt":"2024-06-19T12:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add more metrics to compare-runs.py","shortMessageHtmlLink":"Add more metrics to compare-runs.py"}},{"before":"fd31be1d939ba06a1d3b539bba45b6c55749c468","after":"68cc8c5c719ae00ce9ac2ad761f857f9c010a6af","ref":"refs/heads/inliner_improvements","pushedAt":"2024-06-18T22:54:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"add heuristic to inline reentrancy guard private methods to aid the analysis","shortMessageHtmlLink":"add heuristic to inline reentrancy guard private methods to aid the a…"}},{"before":"35cc700ba0b6cfc34cde9eaa295b840b482e71f1","after":"8bdfe263340696f3412b82a4b4512793a79a7bae","ref":"refs/heads/master","pushedAt":"2024-06-18T14:48:13.000Z","pushType":"pr_merge","commitsCount":21,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Merge pull request #141 from nevillegrech/inliner_improvements\n\nFunction inliner refactor","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2359949846\" data-permission-text=\"Title is private\" data-url=\"https://github.com/nevillegrech/gigahorse-toolchain/issues/141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/nevillegrech/gigahorse-toolchain/pull/141/hovercard\" href=\"https://github.com/nevillegrech/gigahorse-toolchain/pull/141\">#141</a> from nevillegrech/inliner_improvements"}},{"before":"b5f340cd669263f63a359a54bbcf557420f3b22b","after":"fd31be1d939ba06a1d3b539bba45b6c55749c468","ref":"refs/heads/inliner_improvements","pushedAt":"2024-06-18T13:55:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhRbGWAA","startCursor":null,"endCursor":null}},"title":"Activity · nevillegrech/gigahorse-toolchain"}