{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":105173883,"defaultBranch":"master","name":"macaw","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-09-28T16:42:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716563396.0","currentOid":""},"activityList":{"items":[{"before":"3b0933d95c85c8e9e892e1aea662dab4e266de5c","after":null,"ref":"refs/heads/llvm-pretty-migration","pushedAt":"2024-05-24T15:09:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"}},{"before":"77a6c62352fd68ca5bc59796fb683726b08984fc","after":"d04f097ba70b2bce7088c8cbf4d1b84867cd9bc8","ref":"refs/heads/master","pushedAt":"2024-05-24T15:09:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Merge pull request #383 from GaloisInc/llvm-pretty-migration\n\nUpdate llvm-pretty submodule target","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314012440\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/383\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/383/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/383\">#383</a> from GaloisInc/llvm-pretty-migration"}},{"before":null,"after":"3b0933d95c85c8e9e892e1aea662dab4e266de5c","ref":"refs/heads/llvm-pretty-migration","pushedAt":"2024-05-23T23:23:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Update llvm-pretty submodule target","shortMessageHtmlLink":"Update llvm-pretty submodule target"}},{"before":"616b266559de33f160e4d7e35ea7d7c7afeaf654","after":null,"ref":"refs/heads/fix/refinement-cfg-panic","pushedAt":"2024-05-22T17:48:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"eddfb9caa50ee731cb2ea948909b562974803cea","after":null,"ref":"refs/heads/vr/parse-subroutine-formals","pushedAt":"2024-05-22T17:47:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"4b2f7df44ea2077c22cbbd94862cf96c0e6bb131","after":"77a6c62352fd68ca5bc59796fb683726b08984fc","ref":"refs/heads/master","pushedAt":"2024-05-22T17:47:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"parse subroutine type declaration formal parameters (#382)\n\n* parse subroutine type declaration formal parameters\r\n\r\nThis is useful for Reopt as we want to get more accurate type\r\ninformation for library functions.","shortMessageHtmlLink":"parse subroutine type declaration formal parameters (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2306907972\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/382\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/382/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/382\">#382</a>)"}},{"before":"831e9a227bf8b07c72c00b6455a4208c035e0606","after":"eddfb9caa50ee731cb2ea948909b562974803cea","ref":"refs/heads/vr/parse-subroutine-formals","pushedAt":"2024-05-22T17:21:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"document change","shortMessageHtmlLink":"document change"}},{"before":null,"after":"831e9a227bf8b07c72c00b6455a4208c035e0606","ref":"refs/heads/vr/parse-subroutine-formals","pushedAt":"2024-05-20T22:30:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"parse subroutine type declaration formal parameters\n\nThis is useful for Reopt as we want to get more accurate type\ninformation for library functions.","shortMessageHtmlLink":"parse subroutine type declaration formal parameters"}},{"before":"442b0e9f00c1aa9dbe71a62edcb4e0039452691b","after":"4b2f7df44ea2077c22cbbd94862cf96c0e6bb131","ref":"refs/heads/master","pushedAt":"2024-05-10T23:49:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"staslyakhov","name":"Stanislav Lyakhov","path":"/staslyakhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19846456?s=80&v=4"},"commit":{"message":"Merge pull request #381 from GaloisInc/fix/refinement-cfg-panic\n\nFix refinement panic caused by duplicate cfg edges","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288224192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/381\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/381/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/381\">#381</a> from GaloisInc/fix/refinement-cfg-panic"}},{"before":"3fa52215af1c94d3d4d7852dc34e3c412c37f69f","after":"616b266559de33f160e4d7e35ea7d7c7afeaf654","ref":"refs/heads/fix/refinement-cfg-panic","pushedAt":"2024-05-10T22:41:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"staslyakhov","name":"Stanislav Lyakhov","path":"/staslyakhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19846456?s=80&v=4"},"commit":{"message":"Fix refinement panic caused by duplicate cfg edges\n\nRefinement frequently tried to add duplicate edges to the cfg\nwhen encountering jump tables, since jump tables often have common targets\n(e.g. because of a `default` case).\n\nInstead of panicking, this is now handled as a benign case where no edge\ninsertion is needed.","shortMessageHtmlLink":"Fix refinement panic caused by duplicate cfg edges"}},{"before":null,"after":"3fa52215af1c94d3d4d7852dc34e3c412c37f69f","ref":"refs/heads/fix/refinement-cfg-panic","pushedAt":"2024-05-09T18:18:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"staslyakhov","name":"Stanislav Lyakhov","path":"/staslyakhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19846456?s=80&v=4"},"commit":{"message":"Fix refinement panic with parallel CFG edges\n\n`insertLabeledEdge` returns `None` in two cases:\n- When either the source or destination vertex doesn't exist\n- When an edge between source and destination already exists\n\nBy using `replaceLabeledEdge` instead, we avoid panicking in the second\ncase where refinement execution can proceed without issue.","shortMessageHtmlLink":"Fix refinement panic with parallel CFG edges"}},{"before":null,"after":"07db1bad5912404aa32993f5258113451f02b8d8","ref":"refs/heads/refinement-reopt","pushedAt":"2024-04-26T16:15:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"staslyakhov","name":"Stanislav Lyakhov","path":"/staslyakhov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19846456?s=80&v=4"},"commit":{"message":"Populate relocation memory with symbolic bytes\n\nTo allow refinement to run on dynamically linked binaries, we have to\ninitialize the global memory.\nWe take the simplest approach of installing a hook that returns symbolic\nbytes.","shortMessageHtmlLink":"Populate relocation memory with symbolic bytes"}},{"before":"33b306fd617d43606517cbcaca993dc98ec86303","after":null,"ref":"refs/heads/T316","pushedAt":"2024-04-11T13:06:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"e7c40053591ad3f380e6c18240330b9d95cceed5","after":"442b0e9f00c1aa9dbe71a62edcb4e0039452691b","ref":"refs/heads/master","pushedAt":"2024-04-11T13:06:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"macaw-base: Fix R_X86_64_RELATIVE offset computation\n\nFixes #316.","shortMessageHtmlLink":"macaw-base: Fix R_X86_64_RELATIVE offset computation"}},{"before":null,"after":"33b306fd617d43606517cbcaca993dc98ec86303","ref":"refs/heads/T316","pushedAt":"2024-04-10T18:53:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"macaw-base: Fix R_X86_64_RELATIVE offset computation\n\nFixes #316.","shortMessageHtmlLink":"macaw-base: Fix R_X86_64_RELATIVE offset computation"}},{"before":"8e5d9de534429052f190fb7884352bb583d6c244","after":null,"ref":"refs/heads/vr/bump-ci-actions","pushedAt":"2024-04-08T20:09:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"da66e03973bef2a81ae47ab195f59c93e116c1ab","after":"e7c40053591ad3f380e6c18240330b9d95cceed5","ref":"refs/heads/master","pushedAt":"2024-04-08T20:09:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Merge pull request #379 from GaloisInc/vr/bump-ci-actions\n\nbump CI actions versions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2231984347\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/379\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/379/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/379\">#379</a> from GaloisInc/vr/bump-ci-actions"}},{"before":null,"after":"8e5d9de534429052f190fb7884352bb583d6c244","ref":"refs/heads/vr/bump-ci-actions","pushedAt":"2024-04-08T18:25:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"bump CI actions versions","shortMessageHtmlLink":"bump CI actions versions"}},{"before":"0b9d062426d95ce674b85872037c5ba42a5c21c5","after":null,"ref":"refs/heads/vr/fix-doc","pushedAt":"2024-04-08T18:24:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"ae380e8e2668272b56ceee9741652a9128b7632f","after":"da66e03973bef2a81ae47ab195f59c93e116c1ab","ref":"refs/heads/master","pushedAt":"2024-04-08T18:24:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Merge pull request #377 from GaloisInc/vr/fix-doc\n\nfix copy-pasted docstring","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2231701795\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/377\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/377/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/377\">#377</a> from GaloisInc/vr/fix-doc"}},{"before":"4fa43a439dd43253a9a4c172c025e620496cc062","after":null,"ref":"refs/heads/vr/show-memsymbol","pushedAt":"2024-04-08T18:23:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"67f36b50a4565ebbc99341448da71d823b0b2a00","after":"ae380e8e2668272b56ceee9741652a9128b7632f","ref":"refs/heads/master","pushedAt":"2024-04-08T18:23:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Merge pull request #378 from GaloisInc/vr/show-memsymbol\n\nShow instance for MemSymbol","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2231705611\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/378\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/378/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/378\">#378</a> from GaloisInc/vr/show-memsymbol"}},{"before":"f755427a26d4463681e77799e4188ab0fb9f82d2","after":"4fa43a439dd43253a9a4c172c025e620496cc062","ref":"refs/heads/vr/show-memsymbol","pushedAt":"2024-04-08T17:07:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Show instance for MemSymbol","shortMessageHtmlLink":"Show instance for MemSymbol"}},{"before":null,"after":"f755427a26d4463681e77799e4188ab0fb9f82d2","ref":"refs/heads/vr/show-memsymbol","pushedAt":"2024-04-08T17:06:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Show instance for MemSymbol","shortMessageHtmlLink":"Show instance for MemSymbol"}},{"before":"856972788504b11f7f860d08bc07cb9e252fe35b","after":"0b9d062426d95ce674b85872037c5ba42a5c21c5","ref":"refs/heads/vr/fix-doc","pushedAt":"2024-04-08T17:04:52.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"fix copy-pasted docstring","shortMessageHtmlLink":"fix copy-pasted docstring"}},{"before":null,"after":"856972788504b11f7f860d08bc07cb9e252fe35b","ref":"refs/heads/vr/fix-doc","pushedAt":"2024-04-08T17:03:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"fix incorrect documentation","shortMessageHtmlLink":"fix incorrect documentation"}},{"before":"1ab280b5f8bc4a74515548db38da9c63030c1d3b","after":"67f36b50a4565ebbc99341448da71d823b0b2a00","ref":"refs/heads/master","pushedAt":"2024-04-04T21:17:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Update .gitmodules\n\nIt appears that Galois took over maintenance of this repo. the submodule is being updated to reflect that and resolve docker build errors","shortMessageHtmlLink":"Update .gitmodules"}},{"before":"1d3f2a333174449ccc6c634cef040a58b533b379","after":null,"ref":"refs/heads/vr/showf-floatinforepr","pushedAt":"2024-03-18T18:16:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"}},{"before":"7e1694b0ef87e4e431b73d1df14e55d47670e4b1","after":"1ab280b5f8bc4a74515548db38da9c63030c1d3b","ref":"refs/heads/master","pushedAt":"2024-03-18T18:16:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Merge pull request #373 from GaloisInc/vr/showf-floatinforepr\n\nadd ShowF instance for FloatInfoRepr","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2185015289\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/macaw/issues/373\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/macaw/pull/373/hovercard\" href=\"https://github.com/GaloisInc/macaw/pull/373\">#373</a> from GaloisInc/vr/showf-floatinforepr"}},{"before":null,"after":"1d3f2a333174449ccc6c634cef040a58b533b379","ref":"refs/heads/vr/showf-floatinforepr","pushedAt":"2024-03-13T22:42:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"add ShowF instance for FloatInfoRepr","shortMessageHtmlLink":"add ShowF instance for FloatInfoRepr"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUyrZ3wA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/macaw"}