{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":11568417,"defaultBranch":"master","name":"klee","ownerLogin":"klee","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-07-21T22:03:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6224192?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709243018.0","currentOid":""},"activityList":{"items":[{"before":"cc7f3ff55170c476aa01cf1973ee16e5c31cb0d0","after":"7cc669ba153918988cfb480cb018aee16da5eaf7","ref":"refs/heads/master","pushedAt":"2024-04-28T13:21:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Add handler for _Exit(3)","shortMessageHtmlLink":"Add handler for _Exit(3)"}},{"before":"d5347d233083c4abb4e13bfee1e36f9365ba80e3","after":"cc7f3ff55170c476aa01cf1973ee16e5c31cb0d0","ref":"refs/heads/master","pushedAt":"2024-04-18T07:56:43.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"ci: update actions/checkout to v4\n\nTo mitigate the following warning:\n\n```\nNode.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.\n```","shortMessageHtmlLink":"ci: update actions/checkout to v4"}},{"before":"27a66461f73dcc3d43bd68d9fb3cb80ca9bfe787","after":"d5347d233083c4abb4e13bfee1e36f9365ba80e3","ref":"refs/heads/master","pushedAt":"2024-04-07T18:40:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Switch to LLVM 13 as the default version in the CI","shortMessageHtmlLink":"Switch to LLVM 13 as the default version in the CI"}},{"before":"37e1fa0552e25efc2675fa3073c256d34ab98395","after":"27a66461f73dcc3d43bd68d9fb3cb80ca9bfe787","ref":"refs/heads/master","pushedAt":"2024-03-27T11:14:16.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"Renamed test/Expr to test/kleaver and move ReadExprConsistency.c to test/Feature","shortMessageHtmlLink":"Renamed test/Expr to test/kleaver and move ReadExprConsistency.c to t…"}},{"before":"94471322356a27b8fe47ae447427fe1a7086b3e5","after":"37e1fa0552e25efc2675fa3073c256d34ab98395","ref":"refs/heads/master","pushedAt":"2024-03-20T22:12:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"Workaround for MSan failures due to https://github.com/llvm/llvm-project/issues/78354","shortMessageHtmlLink":"Workaround for MSan failures due to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2085025189\" data-permission-text=\"Title is private\" data-url=\"https://github.com/llvm/llvm-project/issues/78354\" data-hovercard-type=\"issue\" data-hovercard-url=\"/llvm/llvm-project/issues/78354/hovercard\" href=\"https://github.com/llvm/llvm-project/issues/78354\">llvm/llvm-project#78354</a>"}},{"before":"f4f14095873c933869204ba7faf6a45b7ab8683f","after":"94471322356a27b8fe47ae447427fe1a7086b3e5","ref":"refs/heads/master","pushedAt":"2024-03-15T21:09:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"add pythonpath to lit forwarded env vars","shortMessageHtmlLink":"add pythonpath to lit forwarded env vars"}},{"before":"56b3b2304d4812a90e4a34d8f189fa9014ae48e5","after":"f4f14095873c933869204ba7faf6a45b7ab8683f","ref":"refs/heads/master","pushedAt":"2024-03-13T12:14:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15","shortMessageHtmlLink":"TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15"}},{"before":"c7873a17fde8bf3748dc619ff7183d34304f6f90","after":"56b3b2304d4812a90e4a34d8f189fa9014ae48e5","ref":"refs/heads/master","pushedAt":"2024-03-13T12:11:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"New domain name klee-se.org, updating links.","shortMessageHtmlLink":"New domain name klee-se.org, updating links."}},{"before":"a8648707f29e5839d64675c43fa7d244b162bc63","after":"c7873a17fde8bf3748dc619ff7183d34304f6f90","ref":"refs/heads/master","pushedAt":"2024-03-04T18:03:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available anymore.","shortMessageHtmlLink":"Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be a…"}},{"before":"fe22b90764887ab69c20b1eccd773d47a8378b95","after":"a8648707f29e5839d64675c43fa7d244b162bc63","ref":"refs/heads/master","pushedAt":"2024-02-29T22:21:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Setting version to 3.2-pre","shortMessageHtmlLink":"Setting version to 3.2-pre"}},{"before":null,"after":"fe22b90764887ab69c20b1eccd773d47a8378b95","ref":"refs/heads/3.1.x","pushedAt":"2024-02-29T21:36:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Final changes to release notes for v3.1","shortMessageHtmlLink":"Final changes to release notes for v3.1"}},{"before":"76a2adef91dc987083e8e30f40c4143742e4e726","after":"fe22b90764887ab69c20b1eccd773d47a8378b95","ref":"refs/heads/master","pushedAt":"2024-02-29T21:35:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Final changes to release notes for v3.1","shortMessageHtmlLink":"Final changes to release notes for v3.1"}},{"before":"7b8edeb2a7cc8f0cf6374b3be7fe8e3b358b8f94","after":"76a2adef91dc987083e8e30f40c4143742e4e726","ref":"refs/heads/master","pushedAt":"2024-02-29T19:57:08.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Add support to fully concretise objects if modified externally\n\nPropagate ExternalCallPolicy to allow user-based selection.","shortMessageHtmlLink":"Add support to fully concretise objects if modified externally"}},{"before":"a01f46c09137d521e736042bfb0395321f21e0fc","after":"7b8edeb2a7cc8f0cf6374b3be7fe8e3b358b8f94","ref":"refs/heads/master","pushedAt":"2024-02-29T18:14:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"251","name":"Frank Busse","path":"/251","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4990858?s=80&v=4"},"commit":{"message":"Release notes for KLEE 3.1","shortMessageHtmlLink":"Release notes for KLEE 3.1"}},{"before":"399ea405d485474350a58a590d50154732000c2f","after":"a01f46c09137d521e736042bfb0395321f21e0fc","ref":"refs/heads/master","pushedAt":"2024-02-28T10:11:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Compare LLVM_VERSION_SHORT to \"140\" rather than \"14\".\n\nIn commit 2b07721, support was added to p-libcxx.inc & p-llvm.inc\nfor LLVM versions 14+ (in which, apparently, certain build flags\nwere changed). To detect these recent versions, the variable\nLLVM_VERSION_SHORT was compared numerically to \"14\"-- the intent\nobviously being to express \"LLVM version 14 or later\".\n\nHowever, in both v-clang.inc & v-llvm.inc, LLVM_VERSION_SHORT\nis defined as the concatenation of LLVM_VERSION_MAJOR and\nLLVM_VERSION_MINOR. Therefore, on a machine with, say, LLVM\n13.0 installed, LLVM_VERSION_SHORT will be \"130\" which compares\nas larger than \"14\".\n\nThis patch changes the comparison to be against \"140\".","shortMessageHtmlLink":"Compare LLVM_VERSION_SHORT to \"140\" rather than \"14\"."}},{"before":"38c0f6796e15c409e05aea39c670ac0063a336e0","after":"399ea405d485474350a58a590d50154732000c2f","ref":"refs/heads/master","pushedAt":"2024-02-27T09:45:01.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Small refactorings and reformatting in callExternalFunction","shortMessageHtmlLink":"Small refactorings and reformatting in callExternalFunction"}},{"before":"7679d0b5da6d7fd3e17d7cc66392b1df97694c75","after":"38c0f6796e15c409e05aea39c670ac0063a336e0","ref":"refs/heads/master","pushedAt":"2024-02-19T21:26:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution-tree to --compress-exec-tree.  Fix an incorrect reference to --write-exec-tree.","shortMessageHtmlLink":"Rename --ptree-batch-size to --exec-tree-batch size, and --compress-e…"}},{"before":"df8a73840ae2fa3461ff724913884fd47a0765ac","after":"7679d0b5da6d7fd3e17d7cc66392b1df97694c75","ref":"refs/heads/master","pushedAt":"2024-02-17T10:08:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Remove the not Darwin requirement for the test TargetMismatch.c","shortMessageHtmlLink":"Remove the not Darwin requirement for the test TargetMismatch.c"}},{"before":"325c6cdcab632a6824be8ca9a926f4c4573adbdb","after":"df8a73840ae2fa3461ff724913884fd47a0765ac","ref":"refs/heads/master","pushedAt":"2024-02-17T10:06:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Fixed incorrect reference in ExternalCallWarnings","shortMessageHtmlLink":"Fixed incorrect reference in ExternalCallWarnings"}},{"before":"c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a","after":"325c6cdcab632a6824be8ca9a926f4c4573adbdb","ref":"refs/heads/master","pushedAt":"2024-02-16T21:35:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"drop llvm 9 and 10","shortMessageHtmlLink":"drop llvm 9 and 10"}},{"before":"9336cd28f6e58c2f9bc01ec3dbf3930688ad0287","after":"c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a","ref":"refs/heads/master","pushedAt":"2024-02-12T12:00:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Fix brittleness in Feature/VarArgByVal test","shortMessageHtmlLink":"Fix brittleness in Feature/VarArgByVal test"}},{"before":"3ca81c2dc3881aec0bbf94646c73a148d706c76d","after":"9336cd28f6e58c2f9bc01ec3dbf3930688ad0287","ref":"refs/heads/master","pushedAt":"2024-02-08T13:17:19.000Z","pushType":"pr_merge","commitsCount":26,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Add space between include and main function for updated test cases\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>\n(cherry picked from commit 1ea1a7576300a4da01d925df42db109660ef54d2)","shortMessageHtmlLink":"Add space between include and main function for updated test cases"}},{"before":"f813c88c8cb868fc9c0be78fbf92a94d72ac02b0","after":"3ca81c2dc3881aec0bbf94646c73a148d706c76d","ref":"refs/heads/master","pushedAt":"2024-01-30T21:40:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Change `GetConstraintLog` to work with `std::string`s instead of `char*`s","shortMessageHtmlLink":"Change <code>GetConstraintLog</code> to work with <code>std::string</code>s instead of `cha…"}},{"before":"cb5e898561f9b8769d8838bc1bdca17a6f4f5d20","after":"f813c88c8cb868fc9c0be78fbf92a94d72ac02b0","ref":"refs/heads/master","pushedAt":"2024-01-30T17:56:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Avoid generating array names in solver builders that could accidently collide\n\nIf an array name ended with a number, adding a number-only suffix could\ngenerate the same name used as part of the solvers.\n\nIn the specific testcase `val_1` became solver array `val_111` which\ncollided with array `val_11` that became `val_111` as well.\n\nUsing an `_` as prefix for the suffix, solves that problem in general,\ni.e. `val_1` becomes `val_1_11` and `val_11` becomes `val_11_1`.\n\nFixes #1668","shortMessageHtmlLink":"Avoid generating array names in solver builders that could accidently…"}},{"before":"72b6207d49ce204b13dc2017033211f1b2cbd935","after":"cb5e898561f9b8769d8838bc1bdca17a6f4f5d20","ref":"refs/heads/master","pushedAt":"2024-01-30T17:30:12.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Modify getValueFromSeeds() to include more functionality and simplify its callers","shortMessageHtmlLink":"Modify getValueFromSeeds() to include more functionality and simplify…"}},{"before":"dd4bf4cb183e604cd44795988e55cde929084fe7","after":"72b6207d49ce204b13dc2017033211f1b2cbd935","ref":"refs/heads/master","pushedAt":"2024-01-30T17:15:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Switch to FreeBSD 14 and 13.2; Use LLVM 13","shortMessageHtmlLink":"Switch to FreeBSD 14 and 13.2; Use LLVM 13"}},{"before":"3fa03d12d28658694f2bf2085e8634cc267e3f16","after":"dd4bf4cb183e604cd44795988e55cde929084fe7","ref":"refs/heads/master","pushedAt":"2024-01-12T14:07:50.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Remove check for the number of solver queries","shortMessageHtmlLink":"Remove check for the number of solver queries"}},{"before":"fc83f06b17221bf5ef20e30d9da1ccff927beb17","after":"3fa03d12d28658694f2bf2085e8634cc267e3f16","ref":"refs/heads/master","pushedAt":"2024-01-12T12:00:35.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Renamed PTree to ExecutionTree (and similar)","shortMessageHtmlLink":"Renamed PTree to ExecutionTree (and similar)"}},{"before":"9edf8e8bba51f2d217ead0a9b2469b0b551ad255","after":"fc83f06b17221bf5ef20e30d9da1ccff927beb17","ref":"refs/heads/master","pushedAt":"2023-10-23T20:35:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_standard_layout","shortMessageHtmlLink":"replace deprecated (as of c++20) std::is_pod with std::trivial &amp;&amp; std…"}},{"before":"9912da3912436a71949b1b97d96975bddcb169e3","after":"9edf8e8bba51f2d217ead0a9b2469b0b551ad255","ref":"refs/heads/master","pushedAt":"2023-09-11T10:23:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Make KDAlloc the default memory allocator","shortMessageHtmlLink":"Make KDAlloc the default memory allocator"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPEXYGAA","startCursor":null,"endCursor":null}},"title":"Activity · klee/klee"}