{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":72476365,"defaultBranch":"master","name":"crucible","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-31T20:43:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716565215.0","currentOid":""},"activityList":{"items":[{"before":"2163926306debebac5ee62f78afb0be3bda509a1","after":"20b8dac61795e02608ec1cfaec67854a111106fb","ref":"refs/heads/master","pushedAt":"2024-06-06T19:46:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1208 from langston-barrett/lb/conc-helpers\n\nAdditional helpers for concretization","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338944210\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1208\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1208/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1208\">#1208</a> from langston-barrett/lb/conc-helpers"}},{"before":"3ed848aee186f63a543ccebf334e3b62b38400e7","after":"2163926306debebac5ee62f78afb0be3bda509a1","ref":"refs/heads/master","pushedAt":"2024-06-06T18:29:14.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1207 from langston-barrett/lb/concretize\n\nConcretization: Getting concrete `RegValue`s from a model","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2334282134\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1207\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1207/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1207\">#1207</a> from langston-barrett/lb/concretize"}},{"before":"f8fca6ea1e107e63cb9d9908836793130ce3ba3b","after":"3ed848aee186f63a543ccebf334e3b62b38400e7","ref":"refs/heads/master","pushedAt":"2024-05-24T15:40:15.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":"crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg.assign (#1205)\n\nThis adds `llvm.experimental.noalias.scope.decl` and `llvm.dbg.assign` to the\r\nlist of LLVM intrinsics that `crucible-llvm` skips over during simulation.\r\nDoing so unlocks more support for recent LLVM versions.\r\n\r\nIt is conceivable that we may want to reason about these intrinsics at a deeper level some\r\nday. If so, see:\r\n\r\n* https://github.com/GaloisInc/crucible/issues/1196#issuecomment-2129665566 for\r\n  how this would be done for `llvm.experimental.noalias.scope.decl`\r\n* https://github.com/GaloisInc/crucible/issues/1204#issue-2315526875 for how\r\n  this would be done for `llvm.dbg.assign`\r\n\r\nFixes #1196. Fixes #1204.","shortMessageHtmlLink":"crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg…"}},{"before":"f057cfd62e71c84cd309bb30ab67e4d33406ec69","after":null,"ref":"refs/heads/T1196-T1204-skip-more-debug-intrinsics","pushedAt":"2024-05-24T15:40:15.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":"ac948b4363745e10e2226c843339bad16bf198fa","after":"f8fca6ea1e107e63cb9d9908836793130ce3ba3b","ref":"refs/heads/master","pushedAt":"2024-05-24T15:10:11.000Z","pushType":"pr_merge","commitsCount":1,"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 (#1203)","shortMessageHtmlLink":"Update llvm-pretty submodule target (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314010930\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1203/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1203\">#1203</a>)"}},{"before":"9f1f48ee1866c4b4414d984a0ad88c66defe766c","after":null,"ref":"refs/heads/llvm-pretty-migration","pushedAt":"2024-05-24T15:10:11.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":null,"after":"f057cfd62e71c84cd309bb30ab67e4d33406ec69","ref":"refs/heads/T1196-T1204-skip-more-debug-intrinsics","pushedAt":"2024-05-24T14:41:22.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":"crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg.assign\n\nThis adds `llvm.experimental.noalias.scope.decl` and `llvm.dbg.assign` to the\nlist of LLVM intrinsics that `crucible-llvm` skips over during simulation.\nDoing so unlocks more support for recent LLVM versions.\n\nIt is conceivable that we may want to reason about these intrinsics at a deeper level some\nday. If so, see:\n\n* https://github.com/GaloisInc/crucible/issues/1196#issuecomment-2129665566 for\n  how this would be done for `llvm.experimental.noalias.scope.decl`\n* https://github.com/GaloisInc/crucible/issues/1204#issue-2315526875 for how\n  this would be done for `llvm.dbg.assign`\n\nFixes #1196. Fixes #1204.","shortMessageHtmlLink":"crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg…"}},{"before":null,"after":"9f1f48ee1866c4b4414d984a0ad88c66defe766c","ref":"refs/heads/llvm-pretty-migration","pushedAt":"2024-05-23T23:21:40.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":"5c2c29c11c28a307ae412538fc253ccb824e8317","after":null,"ref":"refs/heads/match-concrete-size-array","pushedAt":"2024-05-14T17:40:49.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":"7617969fbe9756f5e0e2cd25eb6969f54bd59069","after":null,"ref":"refs/heads/sygus2","pushedAt":"2024-05-14T17:40:41.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":"c2c11dc1fedf870d73a1d788d8711a3d019e535b","after":null,"ref":"refs/heads/sygus-prep","pushedAt":"2024-05-14T17:39:58.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":"e5345da70a88fe7bc51c2d7c38c19fe04bc499aa","after":"ac948b4363745e10e2226c843339bad16bf198fa","ref":"refs/heads/master","pushedAt":"2024-05-14T17:39:57.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":"SyGuS, match concrete size array (#1178)\n\n* Code refactoring.\r\n\r\n* Find SMT array write of a fixed size.\r\n\r\n* Cache tail traversal in findArrayStore.\r\n\r\n* Load SMT array with concrete size.\r\n\r\n* Load SMT array with 0 size.\r\n\r\n* Add cache for base pointers with array stores.\r\n\r\n* Add noSatisfyingWriteFreshConstant option.\r\n\r\n* wip\r\n\r\n* Cleanup.\r\n\r\n* Derive Show.\r\n\r\n* Add updateHandleMap.\r\n\r\n* Add parentWTOComponent.\r\n\r\n* Export writeSourceSize.\r\n\r\n* Add runCHC and helpers.\r\n\r\n* Bump what4.\r\n\r\n* wip\r\n\r\n* Fix build error with GHC 8.10\r\n\r\n* Bump what4 submodule to incorporate GaloisInc/what4#256\r\n\r\nThis also reverts the test output changes from commit\r\n23cc439654abbc0c3714a7035d026453c234d9c4, as the option which caused the change\r\nis no longer enabled by default.\r\n\r\n* Fix build warnings introduced in #1165\r\n\r\n* crucible: Clearer error messages for runCHC\r\n\r\n* Additional documentation\r\n\r\n* Comment out putStrLns\r\n\r\n* Remove redundant export\r\n\r\n* More accurate logReason\r\n\r\n* Remove redundant import\r\n\r\n* Don't log everything to foo.* files\r\n\r\n* Pass pointer size to writeSouceSize\r\n\r\n* Replace putStrLn's with ?logMessage's\r\n\r\n* Fix build warnings\r\n\r\n* Rename SimpleLoopFixpoint to SimpleLoopFixpointCHC\r\n\r\nSimpleLoopFixpointCHC is not quite suitable for being a full replacement for\r\nSimpleLoopFixpoint as of yet. For now, we will offer the CHC functionality in a\r\nseparate module, and we will restore the old SimpleLoopFixpoint functionality\r\nin a subsequent commit.\r\n\r\n* Restore previous SimpleLoopFixpoint functionality\r\n\r\n* Fix -Wunused-do-bind warning\r\n\r\n* Bump what4 to bring in latest changes from GaloisInc/what4#256\r\n\r\n* Remove commented-out exports\r\n\r\n* Review comments\r\n\r\n---------\r\n\r\nCo-authored-by: Andrei Stefanescu <andrei@stefanescu.io>","shortMessageHtmlLink":"SyGuS, match concrete size array (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2163951612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1178\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1178/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1178\">#1178</a>)"}},{"before":"384456e2847e27b7bcf55dfeb9e6ab919a4bbe98","after":"c2c11dc1fedf870d73a1d788d8711a3d019e535b","ref":"refs/heads/sygus-prep","pushedAt":"2024-05-14T16:43:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Review comments","shortMessageHtmlLink":"Review comments"}},{"before":"1f39b6b6a773bb2a1e48f6eaedcbd59dff197a7f","after":"384456e2847e27b7bcf55dfeb9e6ab919a4bbe98","ref":"refs/heads/sygus-prep","pushedAt":"2024-05-14T15:18:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge branch 'master' into sygus-prep","shortMessageHtmlLink":"Merge branch 'master' into sygus-prep"}},{"before":"5040e5709ed839241ce6e1042a635141f22ac6ea","after":"1f39b6b6a773bb2a1e48f6eaedcbd59dff197a7f","ref":"refs/heads/sygus-prep","pushedAt":"2024-05-14T15:13:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Remove commented-out exports","shortMessageHtmlLink":"Remove commented-out exports"}},{"before":"b0e3818278402223ea01b0201f2a5729270daf2c","after":"e5345da70a88fe7bc51c2d7c38c19fe04bc499aa","ref":"refs/heads/master","pushedAt":"2024-05-14T13:12:14.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":"Export bindLLVMFunPtr (#1202)\n\nPR #1198 moved `bindLLVMFunPtr` to `Lang.Crucible.LLVM.Functions`, but it did\r\nnot export it publicly. This function is used by SAW, so it would be nice to\r\ncontinue to offer it as part of the public API.","shortMessageHtmlLink":"Export bindLLVMFunPtr (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295127150\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1202\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1202/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1202\">#1202</a>)"}},{"before":"84b5103408a464bff8fe69384d0f0bac85ad20c5","after":null,"ref":"refs/heads/export-bindLLVMFunPtr","pushedAt":"2024-05-14T13:12:14.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":null,"after":"84b5103408a464bff8fe69384d0f0bac85ad20c5","ref":"refs/heads/export-bindLLVMFunPtr","pushedAt":"2024-05-14T11:03:13.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":"Export bindLLVMFunPtr\n\nPR #1198 moved `bindLLVMFunPtr` to `Lang.Crucible.LLVM.Functions`, but it did\nnot export it publicly. This function is used by SAW, so it would be nice to\ncontinue to offer it as part of the public API.","shortMessageHtmlLink":"Export bindLLVMFunPtr"}},{"before":"9913bbc60b293db332ae127d7eae0b950964155a","after":"5040e5709ed839241ce6e1042a635141f22ac6ea","ref":"refs/heads/sygus-prep","pushedAt":"2024-05-13T20:56:57.000Z","pushType":"push","commitsCount":39,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Fix -Wunused-do-bind warning","shortMessageHtmlLink":"Fix -Wunused-do-bind warning"}},{"before":"e3032f7ec792ef3e5acc3729fab2569741bd2971","after":null,"ref":"refs/heads/T1177-llvm.vector.reduce","pushedAt":"2024-05-09T16:39:46.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":"63f7c86800897d0c2b19296415527c01d211187a","after":"b0e3818278402223ea01b0201f2a5729270daf2c","ref":"refs/heads/master","pushedAt":"2024-05-09T16:39:45.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #1201 from GaloisInc/T1177-llvm.vector.reduce\n\n`crucible-llvm`: Add integer-related `llvm.vector.reduce.*` intrinsics","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287633986\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1201\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1201/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1201\">#1201</a> from GaloisInc/T1177-llvm.vector.reduce"}},{"before":"f72bda188e58345290bafaef84d8e247b27d3187","after":"e3032f7ec792ef3e5acc3729fab2569741bd2971","ref":"refs/heads/T1177-llvm.vector.reduce","pushedAt":"2024-05-09T12:50:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics\n\nThis patch:\n\n* Adds the ability to register polymorphic LLVM overrides involving vector\n  types. (Previously, the polymorphic LLVM machinery was able to handle\n  overrides that vary over a single integer type, but they did not handle\n  vector types with varying sizes.)\n* Adds polymorphic overrides for all of the integer-related\n  `llvm.vector.reduce.*` intrinsics, which work over any vector or integer\n  size.\n* Adds a `T1177.c` test case to the `crux-llvm` test suite which provides\n  some assurance that the `crucible-llvm` semantics work as expected.\n\nFixes #1177.","shortMessageHtmlLink":"crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics"}},{"before":null,"after":"f72bda188e58345290bafaef84d8e247b27d3187","ref":"refs/heads/T1177-llvm.vector.reduce","pushedAt":"2024-05-06T20:54:25.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":"crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics\n\nThis patch:\n\n* Adds the ability to register polymorphic LLVM overrides involving vector\n  types. (Previously, the polymorphic LLVM machinery was able to handle\n  overrides that vary over a single integer type, but they did not handle\n  vector types with varying sizes.)\n* Adds polymorphic overrides for all of the integer-related\n  `llvm.vector.reduce.*` intrinsics, which work over any vector or integer\n  size.\n* Adds a `T1177.c` test case to the `crux-llvm` test suite which provides\n  some assurance that the `crucible-llvm` semantics work as expected.\n\nFixes #1177.","shortMessageHtmlLink":"crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics"}},{"before":"a42279a86b864ee863d4562805a0d9c02b308d82","after":"63f7c86800897d0c2b19296415527c01d211187a","ref":"refs/heads/master","pushedAt":"2024-04-26T18:09:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1199 from langston-barrett/lb/matched-ovs\n\nllvm: Return the list of overrides that were applied","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2266007250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1199/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1199\">#1199</a> from langston-barrett/lb/matched-ovs"}},{"before":"de3610ed0241f7fafd924db9ed368bb27affa623","after":"a42279a86b864ee863d4562805a0d9c02b308d82","ref":"refs/heads/master","pushedAt":"2024-04-26T15:16:06.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1198 from langston-barrett/lb/llvm-bind-fns\n\nllvm: Refactor and document binding functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2264496552\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1198/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1198\">#1198</a> from langston-barrett/lb/llvm-bind-fns"}},{"before":"03141916846da45b782bb9a313168f79afdd0f8e","after":"de3610ed0241f7fafd924db9ed368bb27affa623","ref":"refs/heads/master","pushedAt":"2024-04-25T20:18:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"llvm: Refactor override matching (#1197)\n\n* llvm: Factor override name matching into its own module\r\n\r\nFor clarity and separate compilation.\r\n\r\n* llvm: Refactor override matching\r\n\r\nFiguring out whether a given override should apply to a given `define`\r\nor `declare` in an LLVM module is not as easy as seeing if their names\r\nmatch. For some C++ overrides, for example, checking if the override\r\nshould apply requires demangling the function name, which is an\r\nexpensive proposition.\r\n\r\nFor this reason, override matching happens in two \"phases\" in\r\nCrucible-LLVM: first, there is an initial, fast, string-based\r\n`TemplateMatcher` that is used to filter out overrides that definitely\r\n*don't* apply. Then, if any remain, there is a second phase that\r\ninspects the declaration in more detail to see if the override matches.\r\n\r\nPreviously, this second phase consisted of a `RegOverrideM` (i.e.,\r\n`OverrideSim`) action that would actually perform the registration.\r\nThis is unnecessarily flexible. The second phase is only really supposed\r\nto perform the inspection of the declaration, construct an override, and\r\nregister it. Therefore, it's been replaced by a pure function that\r\nreturns a `Maybe (SomeLLVMOverride ...)`, which can then be registered\r\nby client code, if desired.\r\n\r\nThis more restrictive type should help clarify the intent of the\r\noverride matching code, and reduce the potential for superfluous use\r\nof `OverrideSim` effects.\r\n\r\n* uc-crux-llvm: Adapt to new override matching code\r\n\r\n* llvm: Respond to review comments re: override matching changes\r\n\r\n* llvm: Note breaking changes to override registration in the CHANGELOG","shortMessageHtmlLink":"llvm: Refactor override matching (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262211609\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1197/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1197\">#1197</a>)"}},{"before":"383ddb8b1eb5bfb0ec869052625aa300894f1644","after":"03141916846da45b782bb9a313168f79afdd0f8e","ref":"refs/heads/master","pushedAt":"2024-04-04T13:29:41.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1195 from langston-barrett/lb/bv-helpers\n\nBump What4 submodule, use new bitvector helpers, hlint","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2223700307\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1195/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1195\">#1195</a> from langston-barrett/lb/bv-helpers"}},{"before":"5f5447db682d0a5a46f5cd405a5f7cff7cb533d9","after":"383ddb8b1eb5bfb0ec869052625aa300894f1644","ref":"refs/heads/master","pushedAt":"2024-03-27T17:57:41.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Merge pull request #1193 from langston-barrett/lb/llvm-casts\n\ncrucible-llvm: Refactor and export override pipe-fitting code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2211005133\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1193\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1193/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1193\">#1193</a> from langston-barrett/lb/llvm-casts"}},{"before":"e03b20fced145190366983362a335c877ce21591","after":"5f5447db682d0a5a46f5cd405a5f7cff7cb533d9","ref":"refs/heads/master","pushedAt":"2024-03-27T13:15:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"crucible-llvm: Generalize override registration code (#1189)\n\n`bind_llvm_{handle,func}` now:\r\n\r\n- Don't require a whole `LLVMContext`, just a `GlobalVar Mem`\r\n- Are polymorphic over `ext`","shortMessageHtmlLink":"crucible-llvm: Generalize override registration code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2209347160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1189\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1189/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1189\">#1189</a>)"}},{"before":null,"after":"9fce5999ab1327221f7f321b94b9386d23f3e079","ref":"refs/heads/dholland-cast","pushedAt":"2024-03-27T01:03:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Implement byte-to-char casts for crucible-mir.","shortMessageHtmlLink":"Implement byte-to-char casts for crucible-mir."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXpBRFgA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/crucible"}