{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":27371166,"defaultBranch":"8.0.0","name":"JetKlee","ownerLogin":"staticafi","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2014-12-01T09:05:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15049001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714238209.0","currentOid":""},"activityList":{"items":[{"before":"92973e57b3951d43a40571ff9ddc4e8b626e2b4e","after":"080a5f8bfffd70f429b62afec36263eded33efc9","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-05-06T07:52:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Refactor byte difference (use set)","shortMessageHtmlLink":"Refactor byte difference (use set)"}},{"before":"ced6aa00008d35693e9f6f60e28235b7f6147127","after":null,"ref":"refs/tags/Complete_Recording","pushedAt":"2024-04-27T17:12:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"}},{"before":"50ece54288cbf042cdbf3d64b33973a131466154","after":"92973e57b3951d43a40571ff9ddc4e8b626e2b4e","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-27T16:56:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Refactor shorted bytes recording format","shortMessageHtmlLink":"Refactor shorted bytes recording format"}},{"before":"90ed62799fb5e7a21b9b1f0f720a61cd91e7d60d","after":"50ece54288cbf042cdbf3d64b33973a131466154","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-27T16:47:13.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Merge branch 'ema/progress_recording' of https://github.com/staticafi/JetKlee into ema/progress_recording","shortMessageHtmlLink":"Merge branch 'ema/progress_recording' of <a href=\"https://github.com/staticafi/JetKlee\">https://github.com/staticafi…</a>"}},{"before":"f29a671a20aaab7a0a40a9df327de14386b0bf3d","after":"90ed62799fb5e7a21b9b1f0f720a61cd91e7d60d","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-27T11:35:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Refactor shorted bytes recording format","shortMessageHtmlLink":"Refactor shorted bytes recording format"}},{"before":"7240d131bd6abbc5c26bcf997c16eba49bb9334d","after":"f29a671a20aaab7a0a40a9df327de14386b0bf3d","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-24T09:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Update gitignore","shortMessageHtmlLink":"Update gitignore"}},{"before":"4d8475a37c79532f6ccb0d64ff7ff4956d478e61","after":"7240d131bd6abbc5c26bcf997c16eba49bb9334d","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-22T22:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Shorter bytes recording format","shortMessageHtmlLink":"Shorter bytes recording format"}},{"before":"e3b4834df2117df225ab86aa0d808079674ff859","after":"4d8475a37c79532f6ccb0d64ff7ff4956d478e61","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-11T16:40:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Refactor effective saving","shortMessageHtmlLink":"Refactor effective saving"}},{"before":"376ef3895aadf0c5ebc1a1daf60a63d5f7f8d89a","after":"e3b4834df2117df225ab86aa0d808079674ff859","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-09T07:54:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Delete parent's bytes","shortMessageHtmlLink":"Delete parent's bytes"}},{"before":"ced6aa00008d35693e9f6f60e28235b7f6147127","after":"376ef3895aadf0c5ebc1a1daf60a63d5f7f8d89a","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-08T22:35:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"More effective recording, In progress","shortMessageHtmlLink":"More effective recording, In progress"}},{"before":"7c6b0cfca9df65e22d2032199e4c17fe1df86311","after":"ced6aa00008d35693e9f6f60e28235b7f6147127","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-04-03T16:54:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Copy .i file to results folder","shortMessageHtmlLink":"Copy .i file to results folder"}},{"before":"5e69b50b8462b039b611e9e79177c6e7f1b99803","after":"7c6b0cfca9df65e22d2032199e4c17fe1df86311","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-02-24T07:37:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Added more memory recording (Execution state)","shortMessageHtmlLink":"Added more memory recording (Execution state)"}},{"before":"747f444762d3af2c76e68217f7b1989c3474d1c6","after":"5e69b50b8462b039b611e9e79177c6e7f1b99803","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-02-22T23:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"More memory recording (AddressSpace)","shortMessageHtmlLink":"More memory recording (AddressSpace)"}},{"before":null,"after":"747f444762d3af2c76e68217f7b1989c3474d1c6","ref":"refs/heads/ema/progress_recording","pushedAt":"2024-02-14T14:05:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Copy .c and .ll to recording folder","shortMessageHtmlLink":"Copy .c and .ll to recording folder"}},{"before":"a18ff148bdb6a8d05bc2bc3d78c89192b04dd454","after":"b4367a7a6bb3ef24cbf8cb426eda8c9073457e66","ref":"refs/heads/marek/progress_recording","pushedAt":"2023-12-12T08:52:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Copy .c and .ll to recording folder","shortMessageHtmlLink":"Copy .c and .ll to recording folder"}},{"before":"3250a6b1b61a27d0a0c5cfb58d3a0a5db372191e","after":"a18ff148bdb6a8d05bc2bc3d78c89192b04dd454","ref":"refs/heads/marek/progress_recording","pushedAt":"2023-11-28T14:12:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmaJasekova","name":"Ema Jašeková","path":"/EmaJasekova","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76879372?s=80&v=4"},"commit":{"message":"Added more memory recording","shortMessageHtmlLink":"Added more memory recording"}},{"before":"94069146583e9036e91552aef5f93a9ad761c901","after":"9868687e5908cdae65694ec1f51e288e8a3510bb","ref":"refs/heads/svcomp24","pushedAt":"2023-11-23T16:39:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Mark log1p* as external.","shortMessageHtmlLink":"Mark log1p* as external."}},{"before":"795a62444d782c72ffe7cf5d7f73e88f5206b944","after":"94069146583e9036e91552aef5f93a9ad761c901","ref":"refs/heads/svcomp24","pushedAt":"2023-11-17T10:15:44.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Merge pull request #21 from ayazip/witness-generation\n\nGenerating waypoints for YAML witnesses","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1995626768\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/JetKlee/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/JetKlee/pull/21/hovercard\" href=\"https://github.com/staticafi/JetKlee/pull/21\">#21</a> from ayazip/witness-generation"}},{"before":"248facd70321f8c658f9d82059e33a2f2a0bd1df","after":"795a62444d782c72ffe7cf5d7f73e88f5206b944","ref":"refs/heads/svcomp24","pushedAt":"2023-11-17T08:37:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Provide an implementation of imaxabs in our libc.","shortMessageHtmlLink":"Provide an implementation of imaxabs in our libc."}},{"before":"6ec9055c1135cae649fbecd06dd8085973ec721d","after":"2633c6fbfa29579b1fced416c11891545ef9b426","ref":"refs/heads/jnovak/lazy_init","pushedAt":"2023-11-08T15:58:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"capsosk","name":null,"path":"/capsosk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33671122?s=80&v=4"},"commit":{"message":"Merge pull request #20 from capsosk/main\n\nlazy objects inherit scope of parent","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1983925513\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/JetKlee/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/JetKlee/pull/20/hovercard\" href=\"https://github.com/staticafi/JetKlee/pull/20\">#20</a> from capsosk/main"}},{"before":"6ec9055c1135cae649fbecd06dd8085973ec721d","after":null,"ref":"refs/heads/main","pushedAt":"2023-11-05T11:49:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"capsosk","name":null,"path":"/capsosk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33671122?s=80&v=4"}},{"before":null,"after":"6ec9055c1135cae649fbecd06dd8085973ec721d","ref":"refs/heads/jnovak/lazy_init","pushedAt":"2023-11-05T11:49:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"capsosk","name":null,"path":"/capsosk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33671122?s=80&v=4"},"commit":{"message":"Reworked data structures for Lazy Init\n\nPreviously, two separate data structures were used for the same thing. This fixes the issue and also fixes multiple writes into the same offset in an array","shortMessageHtmlLink":"Reworked data structures for Lazy Init"}},{"before":null,"after":"6ec9055c1135cae649fbecd06dd8085973ec721d","ref":"refs/heads/main","pushedAt":"2023-11-05T11:47:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"capsosk","name":null,"path":"/capsosk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33671122?s=80&v=4"},"commit":{"message":"Reworked data structures for Lazy Init\n\nPreviously, two separate data structures were used for the same thing. This fixes the issue and also fixes multiple writes into the same offset in an array","shortMessageHtmlLink":"Reworked data structures for Lazy Init"}},{"before":null,"after":"3772976e04962a6fec5f4a66786fc96d0da0f9a0","ref":"refs/heads/rizzer-klee","pushedAt":"2023-11-03T20:46:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adamstafa","name":"Adam Štafa","path":"/adamstafa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34075272?s=80&v=4"},"commit":{"message":"Rebase changes from fizzer-integration","shortMessageHtmlLink":"Rebase changes from fizzer-integration"}},{"before":"8cf4f0f79045c0d6a80eee788a49d0657822c49e","after":"248facd70321f8c658f9d82059e33a2f2a0bd1df","ref":"refs/heads/svcomp24","pushedAt":"2023-11-01T16:05:03.000Z","pushType":"pr_merge","commitsCount":347,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Merge pull request #19 from capsosk/main\n\nMerge version of Jakub Novák","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1972660651\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/JetKlee/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/JetKlee/pull/19/hovercard\" href=\"https://github.com/staticafi/JetKlee/pull/19\">#19</a> from capsosk/main"}},{"before":null,"after":"8cf4f0f79045c0d6a80eee788a49d0657822c49e","ref":"refs/heads/svcomp24","pushedAt":"2023-11-01T16:03:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Merge pull request #18 from capsosk/lazy-init-rebase\n\nJetKlee Lazy Init rebased for llvm 14","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1438662709\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/JetKlee/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/JetKlee/pull/18/hovercard\" href=\"https://github.com/staticafi/JetKlee/pull/18\">#18</a> from capsosk/lazy-init-rebase"}},{"before":"1c7074cffda13d6e025552e4010f1b70f4746949","after":"3250a6b1b61a27d0a0c5cfb58d3a0a5db372191e","ref":"refs/heads/marek/progress_recording","pushedAt":"2023-10-22T00:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trtikm","name":"Marek Trtik","path":"/trtikm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8095603?s=80&v=4"},"commit":{"message":"More dense recording JSON files.","shortMessageHtmlLink":"More dense recording JSON files."}},{"before":"35b39111a3919f75a36943c8f74bfbba39a29189","after":"1c7074cffda13d6e025552e4010f1b70f4746949","ref":"refs/heads/marek/progress_recording","pushedAt":"2023-10-21T23:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trtikm","name":"Marek Trtik","path":"/trtikm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8095603?s=80&v=4"},"commit":{"message":"Recording memory content (not complete)","shortMessageHtmlLink":"Recording memory content (not complete)"}},{"before":"f6914aed9a7d9179c3580d07f6997f24ca7e384a","after":"35b39111a3919f75a36943c8f74bfbba39a29189","ref":"refs/heads/marek/progress_recording","pushedAt":"2023-10-21T22:38:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trtikm","name":"Marek Trtik","path":"/trtikm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8095603?s=80&v=4"},"commit":{"message":"Added recording of path constraints.","shortMessageHtmlLink":"Added recording of path constraints."}},{"before":"f6914aed9a7d9179c3580d07f6997f24ca7e384a","after":null,"ref":"refs/heads/marek/progress_dump","pushedAt":"2023-10-21T21:48:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"trtikm","name":"Marek Trtik","path":"/trtikm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8095603?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wNlQwNzo1Mjo0MS4wMDAwMDBazwAAAARCSFmS","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yMVQyMTo0ODowNC4wMDAwMDBazwAAAAOcsAzA"}},"title":"Activity · staticafi/JetKlee"}