{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":95927803,"defaultBranch":"master","name":"clam","ownerLogin":"seahorn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-06-30T22:19:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11098044?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695136750.0","currentOid":""},"activityList":{"items":[{"before":"d089f8c000b317adb88b5ade1f4330766d117b04","after":"263e14b1b6acf03bbdf874e67dbf40ed59f5219c","ref":"refs/heads/dev14","pushedAt":"2024-04-21T18:24:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix issue#92\n\nThe bug was when the flag --crab-singleton-aliases was enabled In this\ncase, global variables are modeled as integers or references in CrabIR\nTherefore, bitcasts must be modeled as non-op, otherwise it will\ngenerate gep_ref CrabIR instructions which expect regions.","shortMessageHtmlLink":"fix issue#92"}},{"before":"4497e6f68a870d24d1e643edb44a6977c91e1796","after":"d089f8c000b317adb88b5ade1f4330766d117b04","ref":"refs/heads/dev14","pushedAt":"2024-04-19T19:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: crab variable linked to WeakVH instead of Value\n\nWeakVH is a smart pointer that knows when the tracked Value* becomes\ninvalid.  This makes the code more robust if LLVM IR changes.\n\nThis solves issue#99","shortMessageHtmlLink":"fix: crab variable linked to WeakVH instead of Value"}},{"before":"6759beac6349bb0154cb194ef8bd587f6e6a8f39","after":"4497e6f68a870d24d1e643edb44a6977c91e1796","ref":"refs/heads/dev14","pushedAt":"2024-04-18T19:09:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: null dereference in getCrabVariable.\n\nThis closes issue #98","shortMessageHtmlLink":"fix: null dereference in getCrabVariable."}},{"before":"147c42e82baa2d32783d3bebbe5eb655928d7e14","after":"6759beac6349bb0154cb194ef8bd587f6e6a8f39","ref":"refs/heads/dev14","pushedAt":"2024-04-12T20:32:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"cmake: error if imcompatible options","shortMessageHtmlLink":"cmake: error if imcompatible options"}},{"before":"e32aa831d2d634bdceb852cb3f66d7f70931e395","after":"147c42e82baa2d32783d3bebbe5eb655928d7e14","ref":"refs/heads/dev14","pushedAt":"2024-04-04T02:47:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: stack-use-after-scope by AddressSanitizer","shortMessageHtmlLink":"fix: stack-use-after-scope by AddressSanitizer"}},{"before":"b41adfd16fb6e6c74081113f04597e7c5c73f972","after":"e32aa831d2d634bdceb852cb3f66d7f70931e395","ref":"refs/heads/dev14","pushedAt":"2024-03-19T16:14:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix(cfg-builder): self-loops\n\nThe assignment originated from a PHI value should be always inserted\nafter the assume inserted by execEdge.\n\nThis fixes issue #94.\n\nNote that this commit reverts commit cbab732.\n\nUnfortunately, I do not remember the reason for that commit and it did\nnot include any test case.","shortMessageHtmlLink":"fix(cfg-builder): self-loops"}},{"before":"3a64ddbc7729aa942eab25c0e2fe7071109a83b8","after":"b41adfd16fb6e6c74081113f04597e7c5c73f972","ref":"refs/heads/dev14","pushedAt":"2024-02-19T15:10:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"test: do not generate temp files in source dir","shortMessageHtmlLink":"test: do not generate temp files in source dir"}},{"before":"3fde3046e3a4d10690d1a95d3697ba591b534d69","after":"3a64ddbc7729aa942eab25c0e2fe7071109a83b8","ref":"refs/heads/dev14","pushedAt":"2023-12-19T15:18:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix(cfg-builder): caching of integers\n\nThis fixes issue #91","shortMessageHtmlLink":"fix(cfg-builder): caching of integers"}},{"before":"a4420033655e7f285c55803ce53ce9ca1e94b2a6","after":"3fde3046e3a4d10690d1a95d3697ba591b534d69","ref":"refs/heads/dev14","pushedAt":"2023-10-10T23:34:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: issue #89\n\nSome comparison instructions were not translated to CrabIR because\nthey were considered redundant. This problem was not affecting\nsoundness but it was affecting precision.","shortMessageHtmlLink":"fix: issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1935645890\" data-permission-text=\"Title is private\" data-url=\"https://github.com/seahorn/clam/issues/89\" data-hovercard-type=\"issue\" data-hovercard-url=\"/seahorn/clam/issues/89/hovercard\" href=\"https://github.com/seahorn/clam/issues/89\">#89</a>"}},{"before":"7a7880a2a5af5465a1c6c3a2a247e67e9abf2876","after":"a4420033655e7f285c55803ce53ce9ca1e94b2a6","ref":"refs/heads/dev14","pushedAt":"2023-09-19T15:24:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"ci: remove unused travis yaml file","shortMessageHtmlLink":"ci: remove unused travis yaml file"}},{"before":"2cd1c6b8f418a0b215829e8120da6872a072deb1","after":null,"ref":"refs/heads/dev14-fix-lower-unsigned","pushedAt":"2023-09-19T15:19:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"}},{"before":"c34f99e432cd0eb988b081b92ba0c3cb714331de","after":"7a7880a2a5af5465a1c6c3a2a247e67e9abf2876","ref":"refs/heads/dev14","pushedAt":"2023-09-19T15:10:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: lowering of unsigned comparisons\n\nAdded more comments and tests","shortMessageHtmlLink":"fix: lowering of unsigned comparisons"}},{"before":null,"after":"2cd1c6b8f418a0b215829e8120da6872a072deb1","ref":"refs/heads/dev14-fix-lower-unsigned","pushedAt":"2023-09-18T15:44:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: lowering of unsigned comparisons\n\nAdded more comments and tests","shortMessageHtmlLink":"fix: lowering of unsigned comparisons"}},{"before":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","after":"9ce8172cb1658a62687d0420121e038f793ae4fc","ref":"refs/heads/master","pushedAt":"2023-09-16T17:42:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"ci: split into more actions","shortMessageHtmlLink":"ci: split into more actions"}},{"before":null,"after":"00a18c46b48f4696d4ebbde57ee164105e4751b1","ref":"refs/heads/dev14-devirt-callargs","pushedAt":"2023-08-14T16:34:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"feat: new option --clam-devirt-callargs\n\nTransform a call foo(fptr, ....) where fptr is a function pointer to:\n    if (fptr == fn_1) {\n       foo(fn_1, ...);\n    } else if (fptr == fn_2) {\n       foo(fn_2, ...);\n    }  else {\n       foo(fn_N, ...);\n    }\n\nwhere fn_1,fn_2,...,fn_N are the possible function addresses to which\nptr might point to.\n\nBy default, it only transforms calls to EXTERNAL functions.","shortMessageHtmlLink":"feat: new option --clam-devirt-callargs"}},{"before":"bada78e52c4ee32b9364a069064a50fddf26e2b2","after":null,"ref":"refs/heads/dev14-fix-issue-85","pushedAt":"2023-08-11T00:54:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"}},{"before":"d2144935a3bb1927b44feaf607d80932e4dfdf0c","after":"c34f99e432cd0eb988b081b92ba0c3cb714331de","ref":"refs/heads/dev14","pushedAt":"2023-08-11T00:49:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: https://github.com/seahorn/clam/issues/85\n\nImportant: this fix requires to change the public Clam API","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #85.\">fix</span>: <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1832358555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/seahorn/clam/issues/85\" data-hovercard-type=\"issue\" data-hovercard-url=\"/seahorn/clam/issues/85/hovercard\" href=\"https://github.com/seahorn/clam/issues/85\">#85</a>"}},{"before":null,"after":"bada78e52c4ee32b9364a069064a50fddf26e2b2","ref":"refs/heads/dev14-fix-issue-85","pushedAt":"2023-08-10T19:33:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: https://github.com/seahorn/clam/issues/85\n\nImportant: this fix requires to change the public Clam API","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #85.\">fix</span>: <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1832358555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/seahorn/clam/issues/85\" data-hovercard-type=\"issue\" data-hovercard-url=\"/seahorn/clam/issues/85/hovercard\" href=\"https://github.com/seahorn/clam/issues/85\">#85</a>"}},{"before":"981bff91cc4f095e6d740d7ba5a73fbcd0157b9e","after":"d2144935a3bb1927b44feaf607d80932e4dfdf0c","ref":"refs/heads/dev14","pushedAt":"2023-08-10T19:29:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"style: clang-format","shortMessageHtmlLink":"style: clang-format"}},{"before":"6bd350f5096a550b73073d0d82edfbedcf4f1d8c","after":"981bff91cc4f095e6d740d7ba5a73fbcd0157b9e","ref":"refs/heads/dev14","pushedAt":"2023-07-23T21:26:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix: property instrumentation of is_deref\n\nBefore this fix, we were generating the CrabIR\n\nb := is_deref(reg, ref, offset):\ncheck1 := ref.offset >= 0\ncheck2 := ref.offset + offset <= ref.size\nb := check1 && check2\n\nSo the variable b was re-assigned and thus, the call to is_deref was\ndead code. We now remove the call to is_deref since it doesn't have\nany effect\n\nIf the instrumentation of is_deref is disabled then the call to\nis_deref is kept.","shortMessageHtmlLink":"fix: property instrumentation of is_deref"}},{"before":"ac11a0abb73790aceeb0577e9fd188c2bfcfc2de","after":"6bd350f5096a550b73073d0d82edfbedcf4f1d8c","ref":"refs/heads/dev14","pushedAt":"2023-07-09T19:47:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"refactor(domain): change configuration for boxes","shortMessageHtmlLink":"refactor(domain): change configuration for boxes"}},{"before":null,"after":"b37d8df75a1b351cf4bad0ba896d642204eb433d","ref":"refs/heads/dev14-decoupling","pushedAt":"2023-06-19T22:42:03.215Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"feat: new flag to enable decoupling between fixpoint phases","shortMessageHtmlLink":"feat: new flag to enable decoupling between fixpoint phases"}},{"before":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","after":"ac11a0abb73790aceeb0577e9fd188c2bfcfc2de","ref":"refs/heads/dev14","pushedAt":"2023-06-19T20:10:58.820Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"fix warning","shortMessageHtmlLink":"fix warning"}},{"before":"5c2bc02a6ff0d834144b41162b2a472343ab1edc","after":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","ref":"refs/heads/master","pushedAt":"2023-06-19T19:28:12.641Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"chore: adapt to crab api changes","shortMessageHtmlLink":"chore: adapt to crab api changes"}},{"before":"bcf03b60f2932858455a5a616d105854a742103c","after":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","ref":"refs/heads/dev14","pushedAt":"2023-06-19T19:27:42.348Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"chore: adapt to crab api changes","shortMessageHtmlLink":"chore: adapt to crab api changes"}},{"before":"779e8344fe2db4389b6878f683ff554d40b10b10","after":"bcf03b60f2932858455a5a616d105854a742103c","ref":"refs/heads/dev14","pushedAt":"2023-06-19T19:12:48.858Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"ci: run only dev14 on ci","shortMessageHtmlLink":"ci: run only dev14 on ci"}},{"before":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","after":"779e8344fe2db4389b6878f683ff554d40b10b10","ref":"refs/heads/dev14","pushedAt":"2023-06-19T19:01:05.305Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"ci: run only dev14 on ci","shortMessageHtmlLink":"ci: run only dev14 on ci"}},{"before":"5c2bc02a6ff0d834144b41162b2a472343ab1edc","after":"cbfcb561b434708eba8d561fa53d6b54b8ae99bb","ref":"refs/heads/dev14","pushedAt":"2023-06-19T18:10:51.227Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"chore: adapt to crab api changes","shortMessageHtmlLink":"chore: adapt to crab api changes"}},{"before":"c6a9df0add4817a44c67f9bc357ca0faaef71791","after":"5c2bc02a6ff0d834144b41162b2a472343ab1edc","ref":"refs/heads/dev14","pushedAt":"2023-06-19T17:03:58.594Z","pushType":"push","commitsCount":3,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"feat(script): script for llvm-reduce","shortMessageHtmlLink":"feat(script): script for llvm-reduce"}},{"before":"75f8f50babfb00a0a6732e6c5f8182ce0dcd3ebe","after":"5c2bc02a6ff0d834144b41162b2a472343ab1edc","ref":"refs/heads/master","pushedAt":"2023-06-19T17:03:31.458Z","pushType":"push","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"feat(script): script for llvm-reduce","shortMessageHtmlLink":"feat(script): script for llvm-reduce"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENmM3PwA","startCursor":null,"endCursor":null}},"title":"Activity · seahorn/clam"}