{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":161553342,"defaultBranch":"master","name":"rellic","ownerLogin":"lifting-bits","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-12-12T22:32:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/56900623?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714408355.0","currentOid":""},"activityList":{"items":[{"before":"2d42b0432139bf65a8a26de333ad1b4ce6e9959c","after":null,"ref":"refs/heads/frabert/fix-333","pushedAt":"2024-04-29T16:32:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"}},{"before":"4aad6b0972073900930a8e882e44c7a94388ff46","after":"22f65d60996958f028620e3effac4bf79a375c12","ref":"refs/heads/master","pushedAt":"2024-04-29T16:32:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"},"commit":{"message":"Fix handling of inline asm (#337)\n\n* Add failing test\r\n\r\n* Fixes #333\r\n\r\n* Fix test\r\n\r\n* Mark test and failing rebuild","shortMessageHtmlLink":"Fix handling of inline asm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269321804\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/337\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/337/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/337\">#337</a>)"}},{"before":"f495024a06d938147f759f2f8e70636895a14275","after":null,"ref":"refs/heads/add-bibtex","pushedAt":"2024-04-29T16:25:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"}},{"before":"a2d5ea733a24bc49f6de2405846d631efc2e353c","after":"4aad6b0972073900930a8e882e44c7a94388ff46","ref":"refs/heads/master","pushedAt":"2024-04-29T16:25:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"},"commit":{"message":"Add citation information to the README (#320)","shortMessageHtmlLink":"Add citation information to the README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1634251340\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/320\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/320/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/320\">#320</a>)"}},{"before":"8930adf9dd3db70ee1eae1a853b8924de0c1bc27","after":null,"ref":"refs/heads/fix-large-literals","pushedAt":"2024-04-29T16:25:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"}},{"before":"0de1db1e8cc3eff9c9467fa6994d4f9545ea685b","after":"a2d5ea733a24bc49f6de2405846d631efc2e353c","ref":"refs/heads/master","pushedAt":"2024-04-29T16:25:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"},"commit":{"message":"Fix large literals (#323)\n\n* Fix large literals\r\n\r\n* Restore previous logic\r\n\r\n* Clang16 supports literals for wide integers","shortMessageHtmlLink":"Fix large literals (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707397477\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/323\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/323/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/323\">#323</a>)"}},{"before":"987389309a9c830ac41d6fc7536a8e90cdd66cc1","after":"8930adf9dd3db70ee1eae1a853b8924de0c1bc27","ref":"refs/heads/fix-large-literals","pushedAt":"2024-04-29T15:59:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Clang16 supports literals for wide integers","shortMessageHtmlLink":"Clang16 supports literals for wide integers"}},{"before":"5a95f4f4f3f3fb7dc011793aec90891b160ecf9f","after":"2d42b0432139bf65a8a26de333ad1b4ce6e9959c","ref":"refs/heads/frabert/fix-333","pushedAt":"2024-04-29T15:59:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Mark test and failing rebuild","shortMessageHtmlLink":"Mark test and failing rebuild"}},{"before":"5f2eed5347831a7a207d9be4e2bee199ef10320d","after":null,"ref":"refs/heads/frabert/fix-335","pushedAt":"2024-04-29T15:50:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"}},{"before":"86280f6199ceab35526f146f9f80294b4fce5318","after":"0de1db1e8cc3eff9c9467fa6994d4f9545ea685b","ref":"refs/heads/master","pushedAt":"2024-04-29T15:50:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"surovic","name":"Marek Surovič","path":"/surovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34663808?s=80&v=4"},"commit":{"message":"Handle Z3 ITE expressions (#336)\n\n* Add failing test\r\n\r\n* Print unrecognized Z3 expressions\r\n\r\n* Handle `ITE` Z3 expressions","shortMessageHtmlLink":"Handle Z3 ITE expressions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269253549\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/336\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/336/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/336\">#336</a>)"}},{"before":"8caebd51cd77d67444bff839e17b45ad935fd4d5","after":"5a95f4f4f3f3fb7dc011793aec90891b160ecf9f","ref":"refs/heads/frabert/fix-333","pushedAt":"2024-04-29T15:42:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Fix test","shortMessageHtmlLink":"Fix test"}},{"before":"80eca329b827945bf85a951c55c2a361874b4202","after":"8caebd51cd77d67444bff839e17b45ad935fd4d5","ref":"refs/heads/frabert/fix-333","pushedAt":"2024-04-29T15:29:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Fixes #333","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #333.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2213462930\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/333\" data-hovercard-type=\"issue\" data-hovercard-url=\"/lifting-bits/rellic/issues/333/hovercard\" href=\"https://github.com/lifting-bits/rellic/issues/333\">#333</a>"}},{"before":null,"after":"80eca329b827945bf85a951c55c2a361874b4202","ref":"refs/heads/frabert/fix-333","pushedAt":"2024-04-29T15:19:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Add failing test","shortMessageHtmlLink":"Add failing test"}},{"before":"0c3d315d1862f99f9524ccbc46380cfeb4758bd9","after":"5f2eed5347831a7a207d9be4e2bee199ef10320d","ref":"refs/heads/frabert/fix-335","pushedAt":"2024-04-29T14:59:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Handle `ITE` Z3 expressions","shortMessageHtmlLink":"Handle <code>ITE</code> Z3 expressions"}},{"before":null,"after":"0c3d315d1862f99f9524ccbc46380cfeb4758bd9","ref":"refs/heads/frabert/fix-335","pushedAt":"2024-04-29T14:50:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Add failing test","shortMessageHtmlLink":"Add failing test"}},{"before":"d3a90e208868144cbb0916adeb9bf0e64f717e14","after":"86280f6199ceab35526f146f9f80294b4fce5318","ref":"refs/heads/master","pushedAt":"2024-01-17T10:17:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Update Docker and docs (#332)\n\n* Update Docker and docs\r\n\r\n* Don't try to overwrite CMake installation in GHA\r\n\r\n* Install CMake with apt\r\n\r\n* Run anghabench on this branch to test fixes\r\n\r\n* Don't touch anghabench CI file","shortMessageHtmlLink":"Update Docker and docs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2074627873\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/332\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/332/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/332\">#332</a>)"}},{"before":"7a5a811ceee47b0cb3523e16ff303dd3e286992c","after":"d3a90e208868144cbb0916adeb9bf0e64f717e14","ref":"refs/heads/master","pushedAt":"2024-01-11T16:16:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Fix anghabench cron job CMake installation","shortMessageHtmlLink":"Fix anghabench cron job CMake installation"}},{"before":"df0a7adecfa9a8ff0533a9fb6159dee8ea307a12","after":"15dde4ccc907dd9ec3e9be01ba5a1da09d4ce448","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T18:52:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Don't touch anghabench CI file","shortMessageHtmlLink":"Don't touch anghabench CI file"}},{"before":"b7bb00971bef6022562c658e11e9f8e872bc0e78","after":"7a5a811ceee47b0cb3523e16ff303dd3e286992c","ref":"refs/heads/master","pushedAt":"2024-01-10T18:11:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Fix anghabench CMake installation error","shortMessageHtmlLink":"Fix anghabench CMake installation error"}},{"before":"531affae0f2b9f928c209c81218f2b72305e840d","after":"df0a7adecfa9a8ff0533a9fb6159dee8ea307a12","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T17:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Run anghabench on this branch to test fixes","shortMessageHtmlLink":"Run anghabench on this branch to test fixes"}},{"before":"f123c274123ad941634f54f9fa22180fe4bf2ccf","after":"531affae0f2b9f928c209c81218f2b72305e840d","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T16:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Install CMake with apt","shortMessageHtmlLink":"Install CMake with apt"}},{"before":"9a5dc15b68c8695471b95b012a9c045dcb887dbe","after":"f123c274123ad941634f54f9fa22180fe4bf2ccf","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T16:30:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Don't try to overwrite CMake installation in GHA","shortMessageHtmlLink":"Don't try to overwrite CMake installation in GHA"}},{"before":"def538064a606420df593d3b241375d3f3a5b676","after":"9a5dc15b68c8695471b95b012a9c045dcb887dbe","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T16:02:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Fix CMake installation","shortMessageHtmlLink":"Fix CMake installation"}},{"before":null,"after":"def538064a606420df593d3b241375d3f3a5b676","ref":"refs/heads/ekilmer/update-docker-and-docs","pushedAt":"2024-01-10T15:31:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ekilmer","name":"Eric Kilmer","path":"/ekilmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/816362?s=80&v=4"},"commit":{"message":"Update Docker and docs","shortMessageHtmlLink":"Update Docker and docs"}},{"before":"085375cc892a4473d4e5c9cbba8170e8eaf298c1","after":null,"ref":"refs/heads/ian/llvm-17-support","pushedAt":"2023-10-06T20:53:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pgoodman","name":"Peter Goodman","path":"/pgoodman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43664?s=80&v=4"}},{"before":"1961ac5ba1b8be5017b779ad337c1e0b2a34d119","after":"8392e59d43ed7c3b432dc1ac0233c9e5f8da2648","ref":"refs/heads/frabert/pluggable-vars","pushedAt":"2023-10-06T15:53:59.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Merge branch 'master' into frabert/pluggable-vars","shortMessageHtmlLink":"Merge branch 'master' into frabert/pluggable-vars"}},{"before":"f2824263ce01eade67175321d52c121139d6919b","after":"1961ac5ba1b8be5017b779ad337c1e0b2a34d119","ref":"refs/heads/frabert/pluggable-vars","pushedAt":"2023-10-06T15:51:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"llvm 17 fixes (#330)\n\n* llvm 17 fixes\r\n\r\n* Update CI\r\n\r\n---------\r\n\r\nCo-authored-by: Francesco Bertolaccini <francesco.bertolaccini@trailofbits.com>","shortMessageHtmlLink":"llvm 17 fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1914135314\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/330\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/330/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/330\">#330</a>)"}},{"before":"4fb191c7d3e92933043c6794876271287ffe9de1","after":"085375cc892a4473d4e5c9cbba8170e8eaf298c1","ref":"refs/heads/ian/llvm-17-support","pushedAt":"2023-10-06T14:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"6226304d78a142f61fa2866533383f111f9e8913","after":"b7bb00971bef6022562c658e11e9f8e872bc0e78","ref":"refs/heads/master","pushedAt":"2023-09-29T09:23:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"frabert","name":"Francesco Bertolaccini","path":"/frabert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1268384?s=80&v=4"},"commit":{"message":"Make built docker image runnable on Apple Silicon (#331)","shortMessageHtmlLink":"Make built docker image runnable on Apple Silicon (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1917836716\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lifting-bits/rellic/issues/331\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lifting-bits/rellic/pull/331/hovercard\" href=\"https://github.com/lifting-bits/rellic/pull/331\">#331</a>)"}},{"before":null,"after":"4fb191c7d3e92933043c6794876271287ffe9de1","ref":"refs/heads/ian/llvm-17-support","pushedAt":"2023-09-26T19:06:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"2over12","name":null,"path":"/2over12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19430893?s=80&v=4"},"commit":{"message":"llvm 17 fixes","shortMessageHtmlLink":"llvm 17 fixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPS8HmwA","startCursor":null,"endCursor":null}},"title":"Activity · lifting-bits/rellic"}