{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":12087405,"defaultBranch":"master","name":"klee","ownerLogin":"MartinNowack","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2013-08-13T17:00:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2443641?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1727185178.0","currentOid":""},"activityList":{"items":[{"before":"bd34ba6f5d2bec04375a24e6f65b253a5558bf86","after":"c7914b0ad3ac0497c37f2bd79196a8606ea6d876","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-25T10:55:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Fix bug in PATH cleaning, more robust installation detection\n\nThe previous implementation gobbled up the first entry of the PATH by interpreting the second argument as pattern.\nNew implementation avoids this and is more robust in detecting existing KLEE installations.","shortMessageHtmlLink":"Fix bug in PATH cleaning, more robust installation detection"}},{"before":"395983d52ecf7ebb3347c1ee6b18bef6be89809b","after":"bd34ba6f5d2bec04375a24e6f65b253a5558bf86","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-25T10:40:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"667464cfb5baffa476a8509f949882fc372f9c22","after":"395983d52ecf7ebb3347c1ee6b18bef6be89809b","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-25T10:14:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"4bccacde991d48e097b42ad10331e9a672bec3e7","after":"667464cfb5baffa476a8509f949882fc372f9c22","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-25T09:27:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"8ccb6f2934dd3aa77b6dbee0a21888e90e4d59d7","after":"4bccacde991d48e097b42ad10331e9a672bec3e7","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-25T09:05:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"218b11b85c1a71fa9a356cff299e65041d6adf28","after":"8ccb6f2934dd3aa77b6dbee0a21888e90e4d59d7","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T17:01:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"802d3411906c2d5e56de60acf663cf6d9daabb16","after":"218b11b85c1a71fa9a356cff299e65041d6adf28","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T16:57:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"e34b9c116bd72628a82de31b9b95554bf92be480","after":"802d3411906c2d5e56de60acf663cf6d9daabb16","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T16:10:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"873e62e7dc7d65f30b64daaf0c6b5f1a9d74db7b","after":"e34b9c116bd72628a82de31b9b95554bf92be480","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T14:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"fcb0cb5a93e894f10ccf0a53f9aff0b7965d7aeb","after":"873e62e7dc7d65f30b64daaf0c6b5f1a9d74db7b","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T14:35:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"fd2b1ed7448f98c97d06d83bac3634e7b1b7d2a3","after":"fcb0cb5a93e894f10ccf0a53f9aff0b7965d7aeb","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T14:24:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"c66526e31fbdac48a01a0a8180b2ae3eb62f6bc6","after":"fd2b1ed7448f98c97d06d83bac3634e7b1b7d2a3","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T14:21:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Use virtualenv for MacOS","shortMessageHtmlLink":"Use virtualenv for MacOS"}},{"before":"440bad78d5d523c72c0354ec9015f5c4282990a5","after":"c66526e31fbdac48a01a0a8180b2ae3eb62f6bc6","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T13:54:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"[REMOVE ME] Get debug info","shortMessageHtmlLink":"[REMOVE ME] Get debug info"}},{"before":null,"after":"440bad78d5d523c72c0354ec9015f5c4282990a5","ref":"refs/heads/fix_python_macos_builder","pushedAt":"2024-09-24T13:39:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Simplify Python version handling on MacOS","shortMessageHtmlLink":"Simplify Python version handling on MacOS"}},{"before":"6d92472fda17ec12f4e23f400336635657a7b057","after":"7021a89be8b545902d8709d4984979320928ee7f","ref":"refs/heads/fix_concretizing_external_symbols","pushedAt":"2024-02-29T17:52:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?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":"9b73c9c0288a6d6b57c5434195de7851e1593328","after":"6d92472fda17ec12f4e23f400336635657a7b057","ref":"refs/heads/fix_concretizing_external_symbols","pushedAt":"2024-02-29T10:23:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Fix test cases as required by stricter call policy handling","shortMessageHtmlLink":"Fix test cases as required by stricter call policy handling"}},{"before":"1d93749f75f7e5e40ed6186b81cdf2df758e4bc2","after":"9b73c9c0288a6d6b57c5434195de7851e1593328","ref":"refs/heads/fix_concretizing_external_symbols","pushedAt":"2024-02-27T21:22:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?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":"813338289aadddbec956a5b74cb509f3171e7d5b","after":"1d93749f75f7e5e40ed6186b81cdf2df758e4bc2","ref":"refs/heads/fix_concretizing_external_symbols","pushedAt":"2024-02-27T16:31:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Add support to fully concretise objects if modified externally\n\nPropage ExternalCallPolicy to allow user-based selection.","shortMessageHtmlLink":"Add support to fully concretise objects if modified externally"}},{"before":"5f7d0b2c8c72328dc944ceaac43228e20a95368b","after":null,"ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-08T14:21:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"}},{"before":"47219f4deae75b4136b013f6b6bab6ffdcecf454","after":"5f7d0b2c8c72328dc944ceaac43228e20a95368b","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:34:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?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":"a8b53dcd68f959232da2a1fdb2d2b43253b8825a","after":"47219f4deae75b4136b013f6b6bab6ffdcecf454","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:23:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update test/regression/2017-02-21-pathOS-id.c\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update test/regression/2017-02-21-pathOS-id.c"}},{"before":"46b2ba048e2e17fa7f908333cd4d07d99d3ecee6","after":"a8b53dcd68f959232da2a1fdb2d2b43253b8825a","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:23:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update test/regression/2015-08-30-empty-constraints.c\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update test/regression/2015-08-30-empty-constraints.c"}},{"before":"ba5ce0375d61d3df5c3dbfd217ec0dfac76ffca6","after":"46b2ba048e2e17fa7f908333cd4d07d99d3ecee6","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:23:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update test/regression/2017-11-01-test-with-empty-varname.c\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update test/regression/2017-11-01-test-with-empty-varname.c"}},{"before":"2cccbff4409cb90b673d5deee7ee39a0444c7e7b","after":"ba5ce0375d61d3df5c3dbfd217ec0dfac76ffca6","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update lib/Core/Executor.cpp\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Core/Executor.cpp"}},{"before":"5d61fb6114bafbf67c59899d15e397684d4ceb28","after":"2cccbff4409cb90b673d5deee7ee39a0444c7e7b","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:23:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update lib/Module/OptimizeLegacy.cpp\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Module/OptimizeLegacy.cpp"}},{"before":"b49fdf40895355ef2879c78e3d48554762cdb098","after":"5d61fb6114bafbf67c59899d15e397684d4ceb28","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update lib/Module/OptimizeLegacy.cpp\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Module/OptimizeLegacy.cpp"}},{"before":"1ea1a7576300a4da01d925df42db109660ef54d2","after":"b49fdf40895355ef2879c78e3d48554762cdb098","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:22:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update test/regression/2014-07-04-unflushed-error-report.c\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update test/regression/2014-07-04-unflushed-error-report.c"}},{"before":"a9d6d70ff383bb9314a3012e1c7641654de85f4e","after":"1ea1a7576300a4da01d925df42db109660ef54d2","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:22:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update test/regression/2015-08-30-sdiv-1.c\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update test/regression/2015-08-30-sdiv-1.c"}},{"before":"2432e8db09f23e7f36f639703072c7fbd5b286a5","after":"a9d6d70ff383bb9314a3012e1c7641654de85f4e","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:22:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update lib/Core/Executor.cpp\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Core/Executor.cpp"}},{"before":"4ad33e7600d7587fdfab290a5fadbc009ae26a98","after":"2432e8db09f23e7f36f639703072c7fbd5b286a5","ref":"refs/heads/llvm_15_16_support","pushedAt":"2024-02-05T10:22:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartinNowack","name":null,"path":"/MartinNowack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2443641?s=80&v=4"},"commit":{"message":"Update lib/Core/Executor.cpp\n\nCo-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>","shortMessageHtmlLink":"Update lib/Core/Executor.cpp"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQxMDo1NTo0Mi4wMDAwMDBazwAAAATAM98C","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNVQxMDoyMjowNC4wMDAwMDBazwAAAAPyH25c"}},"title":"Activity · MartinNowack/klee"}