{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":37095372,"defaultBranch":"main","name":"reopt","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-08T22:01:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716402969.0","currentOid":""},"activityList":{"items":[{"before":"8ff316cc00adfb02c30626ccd3a2d59aa801b0d0","after":null,"ref":"refs/heads/vr/dwarf-funptr-types","pushedAt":"2024-05-22T18:36:09.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":"0a749164a33005b0ae27bd71e38f688036d2eb00","after":"20f949736c1455b2dffa0b3fb6d1f3821f899995","ref":"refs/heads/main","pushedAt":"2024-05-22T18:36:06.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 #309 from GaloisInc/vr/dwarf-funptr-types\n\nadd support for function pointer types from DWARF","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311147791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/309\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/reopt/pull/309/hovercard\" href=\"https://github.com/GaloisInc/reopt/pull/309\">#309</a> from GaloisInc/vr/dwarf-funptr-types"}},{"before":"86a6dace7b03cb9fe88cd5c82cb4d558e55bc9fc","after":"8ff316cc00adfb02c30626ccd3a2d59aa801b0d0","ref":"refs/heads/vr/dwarf-funptr-types","pushedAt":"2024-05-22T17:51:26.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":"add support for function pointer types from DWARF\n\nBefore:\n__libc_start_main ↦ i32 (main : void*, argc : i32, argv : void*, init : void*, fini : void*, rtld_fini : void*, stack_end : void*)\n\nAfter:\n__libc_start_main ↦ i32 (main : i32 (i32,i8**,i8**), argc : i32, argv : i8**, init : i32 (i32,i8**,i8**), fini : void (), rtld_fini : void (), stack_end : void*)","shortMessageHtmlLink":"add support for function pointer types from DWARF"}},{"before":"d1083d9dec44c5d557714fe775d36d745eb667ec","after":"86a6dace7b03cb9fe88cd5c82cb4d558e55bc9fc","ref":"refs/heads/vr/dwarf-funptr-types","pushedAt":"2024-05-22T17:50:08.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":"add support for function pointer types from DWARF\n\nBefore:\n__libc_start_main ↦ i32 (main : void*, argc : i32, argv : void*, init : void*, fini : void*, rtld_fini : void*, stack_end : void*)\n\nAfter:\n__libc_start_main ↦ i32 (main : i32 (i32,i8**,i8**), argc : i32, argv : i8**, init : i32 (i32,i8**,i8**), fini : void (), rtld_fini : void (), stack_end : void*)","shortMessageHtmlLink":"add support for function pointer types from DWARF"}},{"before":null,"after":"d1083d9dec44c5d557714fe775d36d745eb667ec","ref":"refs/heads/vr/dwarf-funptr-types","pushedAt":"2024-05-22T17:49:07.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 support for function pointer types from DWARF\n\nBefore:\n__libc_start_main ↦ i32 (main : void*, argc : i32, argv : void*, init : void*, fini : void*, rtld_fini : void*, stack_end : void*)\n\nAfter:\n__libc_start_main ↦ i32 (main : i32 (i32,i8**,i8**), argc : i32, argv : i8**, init : i32 (i32,i8**,i8**), fini : void (), rtld_fini : void (), stack_end : void*)","shortMessageHtmlLink":"add support for function pointer types from DWARF"}},{"before":"8d587c0d6e0bce684aa993994f74a24a44363af1","after":null,"ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-04-04T21:39:24.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":"a57db855cea92eecd7b2fd88a00ab4f2e68cb63a","after":"db48dc712412cd0ce5a2846859d61850818b4e3a","ref":"refs/heads/vr/infer-float-types","pushedAt":"2024-03-21T21:08:18.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":"attempt to support Floats in type inference","shortMessageHtmlLink":"attempt to support Floats in type inference"}},{"before":null,"after":"a57db855cea92eecd7b2fd88a00ab4f2e68cb63a","ref":"refs/heads/vr/infer-float-types","pushedAt":"2024-03-21T21:01:59.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":"attempt to support Floats in type inference","shortMessageHtmlLink":"attempt to support Floats in type inference"}},{"before":"c0668cd400b5a138b044ce9224a145054bc611fd","after":null,"ref":"refs/heads/revert-306-vr/modernize-reopt","pushedAt":"2024-03-14T01:14:11.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":null,"after":"c0668cd400b5a138b044ce9224a145054bc611fd","ref":"refs/heads/revert-306-vr/modernize-reopt","pushedAt":"2024-03-14T00:29:07.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":"Revert \"make reopt compatible with recent GHCs and dependencies\"","shortMessageHtmlLink":"Revert \"make reopt compatible with recent GHCs and dependencies\""}},{"before":null,"after":"8d587c0d6e0bce684aa993994f74a24a44363af1","ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-03-14T00:29:04.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":"also remove what4 dependency, fixes #236","shortMessageHtmlLink":"also remove what4 dependency, <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #236.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1671816034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/236\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/reopt/issues/236/hovercard\" href=\"https://github.com/GaloisInc/reopt/issues/236\">#236</a>"}},{"before":"8d587c0d6e0bce684aa993994f74a24a44363af1","after":null,"ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-03-14T00:28:56.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":"492b35a8ba73bacc729c3098cf57d4330559ae30","after":"0a749164a33005b0ae27bd71e38f688036d2eb00","ref":"refs/heads/main","pushedAt":"2024-03-14T00:28:53.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Ptival","name":"Valentin Robert","path":"/Ptival","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478606?s=80&v=4"},"commit":{"message":"Merge pull request #306 from GaloisInc/vr/modernize-reopt\n\nmake reopt compatible with recent GHCs and dependencies","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2184839824\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/306\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/reopt/pull/306/hovercard\" href=\"https://github.com/GaloisInc/reopt/pull/306\">#306</a> from GaloisInc/vr/modernize-reopt"}},{"before":"33908e85343bf48dbc6f940f358096d9d0df8142","after":"8d587c0d6e0bce684aa993994f74a24a44363af1","ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-03-13T20:51:54.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":"also remove what4 dependency, fixes #236","shortMessageHtmlLink":"also remove what4 dependency, <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #236.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1671816034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/236\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/reopt/issues/236/hovercard\" href=\"https://github.com/GaloisInc/reopt/issues/236\">#236</a>"}},{"before":"18a7eb8f86056d2ced4a6950f1e3fdb475bd548f","after":"33908e85343bf48dbc6f940f358096d9d0df8142","ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-03-13T20:24:41.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":"make reopt compatible with recent GHCs and dependencies","shortMessageHtmlLink":"make reopt compatible with recent GHCs and dependencies"}},{"before":null,"after":"18a7eb8f86056d2ced4a6950f1e3fdb475bd548f","ref":"refs/heads/vr/modernize-reopt","pushedAt":"2024-03-13T20:21: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":"make reopt compatible with recent GHCs and dependencies","shortMessageHtmlLink":"make reopt compatible with recent GHCs and dependencies"}},{"before":null,"after":"24a8e51b42bc7b1797781ca5243140c7d5b61471","ref":"refs/heads/feature/dump-gt-protobuf","pushedAt":"2024-03-11T21:41: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":"Add `ground-truth` as new `reopt-explore` mode of operation\n\n```\ncabal run -v0 reopt:exe:reopt-explore --\n    ground-truth [<paths>] --export-fn-results <export-dir>\n```\n\nRuns Reopt's analysis on all files in `[<paths>]` and exports the protobuf results\ninto the `<export-dir>` directory.\nThe protobufs follow the schema defines in `GroundTruth/schema/blocks.proto`\nand are designed to be used to compare with ground-truth binaries\ncompiled using https://github.com/junxzm1990/x86-sok .","shortMessageHtmlLink":"Add <code>ground-truth</code> as new <code>reopt-explore</code> mode of operation"}},{"before":"ee1d46fa631d7f0c00d71944e451b03fce6bcb39","after":"acf680df650e5a708d5c44f14a690b4b2fddc5df","ref":"refs/heads/vr/bump","pushedAt":"2024-02-22T21:42:06.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":"bump elf-edit and macaw","shortMessageHtmlLink":"bump elf-edit and macaw"}},{"before":"fc517594a03e32f43accee3df7922bcc1593d9df","after":"ee1d46fa631d7f0c00d71944e451b03fce6bcb39","ref":"refs/heads/vr/bump","pushedAt":"2024-02-22T21:41:08.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":"bump elf-edit and macaw","shortMessageHtmlLink":"bump elf-edit and macaw"}},{"before":"de0ce059b1a81fdb3188ff77e2a150cf3b299d5b","after":null,"ref":"refs/heads/vr/details-on-finding-addrs","pushedAt":"2024-02-22T21:40:50.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":"f1443f86bfbceb3cb8f6da786a6de636cdd43790","after":"492b35a8ba73bacc729c3098cf57d4330559ae30","ref":"refs/heads/main","pushedAt":"2024-02-22T21:40:48.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 #304 from GaloisInc/vr/details-on-finding-addrs\n\nmake info output of type-based code discovery more explicit","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2149389765\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/304\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/reopt/pull/304/hovercard\" href=\"https://github.com/GaloisInc/reopt/pull/304\">#304</a> from GaloisInc/vr/details-on-finding-addrs"}},{"before":null,"after":"fc517594a03e32f43accee3df7922bcc1593d9df","ref":"refs/heads/vr/bump","pushedAt":"2024-02-22T21:38:04.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 elf-edit and macaw","shortMessageHtmlLink":"bump elf-edit and macaw"}},{"before":null,"after":"de0ce059b1a81fdb3188ff77e2a150cf3b299d5b","ref":"refs/heads/vr/details-on-finding-addrs","pushedAt":"2024-02-22T15:56:29.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":"make info output of type-based code discovery more explicit","shortMessageHtmlLink":"make info output of type-based code discovery more explicit"}},{"before":"e28a989f4ce872cee5f46242fac5e9ee3d37138e","after":null,"ref":"refs/heads/vr/pretty","pushedAt":"2024-01-05T22:52:28.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":"3aa9bb901466dfbb93eb791f051d2a21b9dce8b9","after":"f1443f86bfbceb3cb8f6da786a6de636cdd43790","ref":"refs/heads/main","pushedAt":"2024-01-05T22:52:25.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 #303 from GaloisInc/vr/pretty\n\npretty-print Reopt's maps","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2068084745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/303\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/reopt/pull/303/hovercard\" href=\"https://github.com/GaloisInc/reopt/pull/303\">#303</a> from GaloisInc/vr/pretty"}},{"before":null,"after":"e28a989f4ce872cee5f46242fac5e9ee3d37138e","ref":"refs/heads/vr/pretty","pushedAt":"2024-01-05T21:54:50.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":"pretty-print Reopt's maps","shortMessageHtmlLink":"pretty-print Reopt's maps"}},{"before":"f0da3d2b432a70980e7a441d47402bb37b7caa1f","after":null,"ref":"refs/heads/vr/bump","pushedAt":"2024-01-05T21:49:17.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":"8f37a1768b689460d5beb24a41b8dacb2a12ac4c","after":"3aa9bb901466dfbb93eb791f051d2a21b9dce8b9","ref":"refs/heads/main","pushedAt":"2024-01-05T21:49:15.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 #302 from GaloisInc/vr/bump\n\nbump macaw","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2068062405\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/reopt/issues/302\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/reopt/pull/302/hovercard\" href=\"https://github.com/GaloisInc/reopt/pull/302\">#302</a> from GaloisInc/vr/bump"}},{"before":null,"after":"f0da3d2b432a70980e7a441d47402bb37b7caa1f","ref":"refs/heads/vr/bump","pushedAt":"2024-01-05T21:31:21.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 macaw","shortMessageHtmlLink":"bump macaw"}},{"before":"8013ba55cd5a093da1fc507393cfbfe3eac326f1","after":null,"ref":"refs/heads/vr/comment-classify-instrs","pushedAt":"2023-12-18T16:30:43.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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUUP_lAA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/reopt"}