{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":15316402,"defaultBranch":"master","name":"klee.github.io","ownerLogin":"klee","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-12-19T16:14:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6224192?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716055885.0","currentOid":""},"activityList":{"items":[{"before":"e6b86b6280f18ab8cf465367df4c1784cecac3e5","after":"67d89c778f89ee357820e157b7140f7eebe00752","ref":"refs/heads/master","pushedAt":"2024-06-10T07:51:29.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":"Link Coreutils patching required for older versions","shortMessageHtmlLink":"Link Coreutils patching required for older versions"}},{"before":"c0f77826dc6e6f153bfb26c3c1091ab4fe6f018b","after":"e6b86b6280f18ab8cf465367df4c1784cecac3e5","ref":"refs/heads/master","pushedAt":"2024-06-01T16:29:30.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":"Use `xfv` for `tar` sandbox extraction","shortMessageHtmlLink":"Use <code>xfv</code> for <code>tar</code> sandbox extraction"}},{"before":"e0f33e7f946a449ffb35d01f560918a83c04beb5","after":null,"ref":"refs/heads/dependabot/bundler/rexml-3.2.8","pushedAt":"2024-05-18T18:11:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"4348adefcb9011964c1baf49fe4fcbfa121be00e","after":"c0f77826dc6e6f153bfb26c3c1091ab4fe6f018b","ref":"refs/heads/master","pushedAt":"2024-05-18T18:11:18.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":"build(deps-dev): bump rexml from 3.2.5 to 3.2.8\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.5 to 3.2.8.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.5...v3.2.8)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump rexml from 3.2.5 to 3.2.8"}},{"before":null,"after":"e0f33e7f946a449ffb35d01f560918a83c04beb5","ref":"refs/heads/dependabot/bundler/rexml-3.2.8","pushedAt":"2024-05-16T18:54:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump rexml from 3.2.5 to 3.2.8\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.5 to 3.2.8.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.5...v3.2.8)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump rexml from 3.2.5 to 3.2.8"}},{"before":"6fdb987eb6447ec588997e5fcbb104325410aa8b","after":null,"ref":"refs/heads/dependabot/bundler/nokogiri-1.16.5","pushedAt":"2024-05-14T08:29:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"c247df4fd5d2e1c5cd7372f21d3df0697688a1ed","after":"4348adefcb9011964c1baf49fe4fcbfa121be00e","ref":"refs/heads/master","pushedAt":"2024-05-14T07:48:29.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":"build(deps): bump nokogiri from 1.16.2 to 1.16.5\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.16.2 to 1.16.5.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.16.2...v1.16.5)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump nokogiri from 1.16.2 to 1.16.5"}},{"before":null,"after":"6fdb987eb6447ec588997e5fcbb104325410aa8b","ref":"refs/heads/dependabot/bundler/nokogiri-1.16.5","pushedAt":"2024-05-13T23:38:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump nokogiri from 1.16.2 to 1.16.5\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.16.2 to 1.16.5.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.16.2...v1.16.5)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump nokogiri from 1.16.2 to 1.16.5"}},{"before":"524b95de702682b71f6aebdfae5cdf612ef52644","after":"c247df4fd5d2e1c5cd7372f21d3df0697688a1ed","ref":"refs/heads/master","pushedAt":"2024-03-09T10:20:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Create CNAME","shortMessageHtmlLink":"Create CNAME"}},{"before":"90b91fea7f021c20fba8cdf4a47b7a0c8e81ca8f","after":"524b95de702682b71f6aebdfae5cdf612ef52644","ref":"refs/heads/master","pushedAt":"2024-02-29T21:34:19.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"Added an entry for 3.1 in the Releases page","shortMessageHtmlLink":"Added an entry for 3.1 in the Releases page"}},{"before":"6542ad303d0607b1d516812e6d2b312e1dec15df","after":"90b91fea7f021c20fba8cdf4a47b7a0c8e81ca8f","ref":"refs/heads/master","pushedAt":"2024-02-29T20:08:04.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":"Updated documentation for the execution tree options & tool, to be in sync with the code","shortMessageHtmlLink":"Updated documentation for the execution tree options &amp; tool, to be in…"}},{"before":"6ba37e9b97996c43e4c83f94669e49164e1f7def","after":"6542ad303d0607b1d516812e6d2b312e1dec15df","ref":"refs/heads/master","pushedAt":"2024-02-16T21:31:54.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":"Fix some execution tree options","shortMessageHtmlLink":"Fix some execution tree options"}},{"before":"5bf79414d8bea27e0ec924a043c1c36c1ea6dcb7","after":"6ba37e9b97996c43e4c83f94669e49164e1f7def","ref":"refs/heads/master","pushedAt":"2024-02-16T21:29: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":"Replace references to \"llvm-lit\" by \"lit\" in the documentation","shortMessageHtmlLink":"Replace references to \"llvm-lit\" by \"lit\" in the documentation"}},{"before":"086547363559340383407a1ddb30a7a2b63c4568","after":"5bf79414d8bea27e0ec924a043c1c36c1ea6dcb7","ref":"refs/heads/master","pushedAt":"2024-02-16T21:03:12.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 ptree description","shortMessageHtmlLink":"add ptree description"}},{"before":"8ce128b68393cfa669486d8af8f3692f9efffedb","after":null,"ref":"refs/heads/dependabot/bundler/nokogiri-1.16.2","pushedAt":"2024-02-06T09:26:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"e5c4777a9421390e68658e1487d9b3576e837a3e","after":"086547363559340383407a1ddb30a7a2b63c4568","ref":"refs/heads/master","pushedAt":"2024-02-06T09:26:38.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":"build(deps): bump nokogiri from 1.14.5 to 1.16.2\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.14.5 to 1.16.2.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.14.5...v1.16.2)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump nokogiri from 1.14.5 to 1.16.2"}},{"before":null,"after":"8ce128b68393cfa669486d8af8f3692f9efffedb","ref":"refs/heads/dependabot/bundler/nokogiri-1.16.2","pushedAt":"2024-02-06T03:35:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump nokogiri from 1.14.5 to 1.16.2\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.14.5 to 1.16.2.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.14.5...v1.16.2)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump nokogiri from 1.14.5 to 1.16.2"}},{"before":"1b35411314263bd58ee6d3e2a0c68d73e0b98392","after":"e5c4777a9421390e68658e1487d9b3576e837a3e","ref":"refs/heads/master","pushedAt":"2024-01-04T16:47:10.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":"adding publication","shortMessageHtmlLink":"adding publication"}},{"before":"f950fc526bb47236c45aacc16a91c63558a487b0","after":"1b35411314263bd58ee6d3e2a0c68d73e0b98392","ref":"refs/heads/master","pushedAt":"2023-12-08T00:19: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":"Add snap installation method to Getting Started page","shortMessageHtmlLink":"Add snap installation method to Getting Started page"}},{"before":"2aa054ba76a2eea33f09e31ee8d84b18b6355c67","after":"f950fc526bb47236c45aacc16a91c63558a487b0","ref":"refs/heads/master","pushedAt":"2023-09-13T14:05:20.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":"announce 4th KLEE workshop","shortMessageHtmlLink":"announce 4th KLEE workshop"}},{"before":"4290ea921db94965e7bd2afbe36bcf7a1809d1e0","after":null,"ref":"refs/heads/dependabot/bundler/activesupport-7.0.7.2","pushedAt":"2023-08-24T07:51:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"70d9445a462ce83f83ac74920e7bb59d1d91297c","after":"2aa054ba76a2eea33f09e31ee8d84b18b6355c67","ref":"refs/heads/master","pushedAt":"2023-08-24T07:51:48.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":"build(deps-dev): bump activesupport from 7.0.5 to 7.0.7.2\n\nBumps [activesupport](https://github.com/rails/rails) from 7.0.5 to 7.0.7.2.\n- [Release notes](https://github.com/rails/rails/releases)\n- [Changelog](https://github.com/rails/rails/blob/v7.0.7.2/activesupport/CHANGELOG.md)\n- [Commits](https://github.com/rails/rails/compare/v7.0.5...v7.0.7.2)\n\n---\nupdated-dependencies:\n- dependency-name: activesupport\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump activesupport from 7.0.5 to 7.0.7.2"}},{"before":null,"after":"4290ea921db94965e7bd2afbe36bcf7a1809d1e0","ref":"refs/heads/dependabot/bundler/activesupport-7.0.7.2","pushedAt":"2023-08-23T21:45:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump activesupport from 7.0.5 to 7.0.7.2\n\nBumps [activesupport](https://github.com/rails/rails) from 7.0.5 to 7.0.7.2.\n- [Release notes](https://github.com/rails/rails/releases)\n- [Changelog](https://github.com/rails/rails/blob/v7.0.7.2/activesupport/CHANGELOG.md)\n- [Commits](https://github.com/rails/rails/compare/v7.0.5...v7.0.7.2)\n\n---\nupdated-dependencies:\n- dependency-name: activesupport\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump activesupport from 7.0.5 to 7.0.7.2"}},{"before":"cac0ebb7bbbeb015c226f5177bbd8121edf1cbe8","after":"70d9445a462ce83f83ac74920e7bb59d1d91297c","ref":"refs/heads/master","pushedAt":"2023-08-11T11:37:52.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ccadar","name":"Cristian Cadar","path":"/ccadar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5022313?s=80&v=4"},"commit":{"message":"paper: Applying Symbolic Execution to Semantic Code Clone Detection","shortMessageHtmlLink":"paper: Applying Symbolic Execution to Semantic Code Clone Detection"}},{"before":"a71a27ec2d64d3fa80029331d21f5bdedaed9c58","after":"cac0ebb7bbbeb015c226f5177bbd8121edf1cbe8","ref":"refs/heads/master","pushedAt":"2023-08-10T13:19:49.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":"Reflect CLI option name changes in KLEE 2.0","shortMessageHtmlLink":"Reflect CLI option name changes in KLEE 2.0"}},{"before":"0da0911f92fee6f8627a9171ea53e5dbbdaeb052","after":null,"ref":"refs/heads/dependabot/bundler/commonmarker-0.23.10","pushedAt":"2023-08-09T14:47:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"0d057203b95aa96689b8b4434e20ba601c8f2515","after":"a71a27ec2d64d3fa80029331d21f5bdedaed9c58","ref":"refs/heads/master","pushedAt":"2023-08-09T14:47:27.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":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10\n\nBumps [commonmarker](https://github.com/gjtorikian/commonmarker) from 0.23.9 to 0.23.10.\n- [Release notes](https://github.com/gjtorikian/commonmarker/releases)\n- [Changelog](https://github.com/gjtorikian/commonmarker/blob/v0.23.10/CHANGELOG.md)\n- [Commits](https://github.com/gjtorikian/commonmarker/compare/v0.23.9...v0.23.10)\n\n---\nupdated-dependencies:\n- dependency-name: commonmarker\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10"}},{"before":null,"after":"0da0911f92fee6f8627a9171ea53e5dbbdaeb052","ref":"refs/heads/dependabot/bundler/commonmarker-0.23.10","pushedAt":"2023-08-08T20:25:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10\n\nBumps [commonmarker](https://github.com/gjtorikian/commonmarker) from 0.23.9 to 0.23.10.\n- [Release notes](https://github.com/gjtorikian/commonmarker/releases)\n- [Changelog](https://github.com/gjtorikian/commonmarker/blob/v0.23.10/CHANGELOG.md)\n- [Commits](https://github.com/gjtorikian/commonmarker/compare/v0.23.9...v0.23.10)\n\n---\nupdated-dependencies:\n- dependency-name: commonmarker\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10"}},{"before":"d8b96b4902d06e626bb34f892b921849700575c7","after":"0d057203b95aa96689b8b4434e20ba601c8f2515","ref":"refs/heads/master","pushedAt":"2023-07-12T20:31:50.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":"Updated the new option --external-call-warnings=none|once-per-function|all","shortMessageHtmlLink":"Updated the new option --external-call-warnings=none|once-per-functio…"}},{"before":"f2427529af244184b1ba8ce1660fba3c02534d7e","after":"d8b96b4902d06e626bb34f892b921849700575c7","ref":"refs/heads/master","pushedAt":"2023-06-09T13:57:25.194Z","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":"update Docker output","shortMessageHtmlLink":"update Docker output"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYNUryAA","startCursor":null,"endCursor":null}},"title":"Activity · klee/klee.github.io"}