{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":112407488,"defaultBranch":"master","name":"HolBA","ownerLogin":"kth-step","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-11-29T00:55:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48919830?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723809847.0","currentOid":""},"activityList":{"items":[{"before":"843d756085dd76590e20f5e84a5dcd28ab2c4f6f","after":"1480ed2baf7254311838db0b68441bc9b340cfda","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-21T09:21:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"more contract transfer boilerplate","shortMessageHtmlLink":"more contract transfer boilerplate"}},{"before":"7d369c43b157e3582540bd2a76b2403f242da357","after":"843d756085dd76590e20f5e84a5dcd28ab2c4f6f","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-19T19:17:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"boilerplate for symbolic execution of chacha_ivsetup","shortMessageHtmlLink":"boilerplate for symbolic execution of chacha_ivsetup"}},{"before":"abf3aead7f58e6b5d5a2568617ae3eaf4e587128","after":"7d369c43b157e3582540bd2a76b2403f242da357","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-19T14:39:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"boilerplate for chacha20 implementation","shortMessageHtmlLink":"boilerplate for chacha20 implementation"}},{"before":"4734ccf094bdda3c79d8bc50ba1eea70eab23d3f","after":"abf3aead7f58e6b5d5a2568617ae3eaf4e587128","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-19T09:52:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Comment the test that our z3 interface currently has problems with but which we need to fix (avoid continously failing test case until then)","shortMessageHtmlLink":"Comment the test that our z3 interface currently has problems with bu…"}},{"before":"53bb23b2cd22dc931400d852671b0755bcf376c8","after":"4734ccf094bdda3c79d8bc50ba1eea70eab23d3f","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-18T20:02:56.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fmap abstract_jgmt_rel boilerplate","shortMessageHtmlLink":"fmap abstract_jgmt_rel boilerplate"}},{"before":"e342d8bce99084234c488736c56c9e40db0ea677","after":"53bb23b2cd22dc931400d852671b0755bcf376c8","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-17T20:49:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"abstract_jgmt_rel_thm for two end labels","shortMessageHtmlLink":"abstract_jgmt_rel_thm for two end labels"}},{"before":"4a90963748252e81ab50ed6136bd566d4a59cda6","after":"e342d8bce99084234c488736c56c9e40db0ea677","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-17T18:22:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Add option to select the z3 binary (for testing)","shortMessageHtmlLink":"Add option to select the z3 binary (for testing)"}},{"before":"3e61113200d3881b4389af0e95c8aa1ae24d8775","after":"4a90963748252e81ab50ed6136bd566d4a59cda6","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-16T15:03:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Fix CI tests","shortMessageHtmlLink":"Fix CI tests"}},{"before":"5c53a78db3566b5e7d12d209165d77921957071a","after":"3e61113200d3881b4389af0e95c8aa1ae24d8775","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-16T14:20:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"boilerplate WIP for isqrt example","shortMessageHtmlLink":"boilerplate WIP for isqrt example"}},{"before":"d8c0edd9a09452cf884e9af9f199d30a63b92133","after":null,"ref":"refs/heads/master_polyml","pushedAt":"2024-08-16T12:04:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"}},{"before":"84bb3ddc54d5d631d971862c194027db8db15e07","after":null,"ref":"refs/heads/dev_birsmt","pushedAt":"2024-08-16T12:02:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"}},{"before":"e984f527bc12e3802255af35a88035b74bd90061","after":"5c53a78db3566b5e7d12d209165d77921957071a","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-16T11:59:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"More refactoring and cleanup","shortMessageHtmlLink":"More refactoring and cleanup"}},{"before":"37aee388d7310d06764a835b27b7b552f88de65d","after":"e984f527bc12e3802255af35a88035b74bd90061","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-16T07:53:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"loop support WIP","shortMessageHtmlLink":"loop support WIP"}},{"before":"e961ed8f853a162a24c33c468de154465e4cb7b8","after":"37aee388d7310d06764a835b27b7b552f88de65d","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-15T22:18:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"two-end-label generalization of abstract_jgmt_rel-post_bircont_nL theorem","shortMessageHtmlLink":"two-end-label generalization of abstract_jgmt_rel-post_bircont_nL the…"}},{"before":"55b0b13e0fc242139a5fcf0ad580bee36ee5ec31","after":"e961ed8f853a162a24c33c468de154465e4cb7b8","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-15T18:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"prove Pi_thms for isqrt","shortMessageHtmlLink":"prove Pi_thms for isqrt"}},{"before":"e05118b77ea8abd77c3663bb5989820c10b2c6c3","after":"55b0b13e0fc242139a5fcf0ad580bee36ee5ec31","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-15T17:23:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Fix environment shape in final states after symbolic execution (birs_gen_env)","shortMessageHtmlLink":"Fix environment shape in final states after symbolic execution (birs_…"}},{"before":"6628bec58f1ab6045556b4d399a38d386af6d82c","after":"e05118b77ea8abd77c3663bb5989820c10b2c6c3","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-15T15:33:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Move lifter theorem patch to lifter library","shortMessageHtmlLink":"Move lifter theorem patch to lifter library"}},{"before":"26aefba12e393002b54adbcf5c131846155fa903","after":null,"ref":"refs/heads/aux-to-extra","pushedAt":"2024-08-15T14:35:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"3ff814eae89643213567b9eda0e629ec4cf50c8e","after":"6628bec58f1ab6045556b4d399a38d386af6d82c","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-15T14:34:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"505b8f578c080fb0321ee3c16fcd6b5f6e6bf836","after":"963b5ac2bae3d51bfe476cbcfedfd8dd34b655b9","ref":"refs/heads/master","pushedAt":"2024-08-15T11:22:55.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"didriklundberg","name":"Didrik Lundberg","path":"/didriklundberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12450179?s=80&v=4"},"commit":{"message":"Merge pull request #186 from kth-step/aux-to-extra\n\naux to extra, separation between bir and non-bir libraries/theories","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2464078129\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kth-step/HolBA/issues/186\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kth-step/HolBA/pull/186/hovercard\" href=\"https://github.com/kth-step/HolBA/pull/186\">#186</a> from kth-step/aux-to-extra"}},{"before":"750de3a586c2f57923a4c7acb7b1b6d56a27f811","after":"26aefba12e393002b54adbcf5c131846155fa903","ref":"refs/heads/aux-to-extra","pushedAt":"2024-08-13T19:31:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update of directory structure in README.md","shortMessageHtmlLink":"update of directory structure in README.md"}},{"before":"1da5c13c44ebe728276977e5c00d598c369ce15b","after":"750de3a586c2f57923a4c7acb7b1b6d56a27f811","ref":"refs/heads/aux-to-extra","pushedAt":"2024-08-13T18:02:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"rename non-bir-specific libraries in shared to use holba_ prefix instead of bir_","shortMessageHtmlLink":"rename non-bir-specific libraries in shared to use holba_ prefix inst…"}},{"before":"9f8e74e9aea4bcbe67a4e13ffe745d3f9513022b","after":"1da5c13c44ebe728276977e5c00d598c369ce15b","ref":"refs/heads/aux-to-extra","pushedAt":"2024-08-13T16:55:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"rename non-bir-specific libraries in shared to use holba_ prefix instead of bir_","shortMessageHtmlLink":"rename non-bir-specific libraries in shared to use holba_ prefix inst…"}},{"before":null,"after":"9f8e74e9aea4bcbe67a4e13ffe745d3f9513022b","ref":"refs/heads/aux-to-extra","pushedAt":"2024-08-13T15:44:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"rename aux directory to extra, holba_ prefix instead of bir_ in extra","shortMessageHtmlLink":"rename aux directory to extra, holba_ prefix instead of bir_ in extra"}},{"before":"db7b1f75aa445d0e31ce3d658cd9330075830373","after":"44802208177a979e9f1d4c62f662d8d25cb0c315","ref":"refs/heads/riscv-symbexec+heaps+loop","pushedAt":"2024-08-13T08:26:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"isqrt symb transfer WIP","shortMessageHtmlLink":"isqrt symb transfer WIP"}},{"before":"7be1f7c64f521e109fa787c010b9dc4294a34051","after":"3ff814eae89643213567b9eda0e629ec4cf50c8e","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-13T06:10:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge branch 'master' into riscv-symbexec","shortMessageHtmlLink":"Merge branch 'master' into riscv-symbexec"}},{"before":"81c9db5145602721b559d67c2802cfa6dcf2f9ae","after":"7be1f7c64f521e109fa787c010b9dc4294a34051","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-13T01:15:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"add4942159d03774eea0b6a63782b6f7777cab0a","after":"81c9db5145602721b559d67c2802cfa6dcf2f9ae","ref":"refs/heads/riscv-symbexec","pushedAt":"2024-08-13T00:53:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"andreaslindner","name":"Andreas Lindner","path":"/andreaslindner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8361776?s=80&v=4"},"commit":{"message":"A little cleanup","shortMessageHtmlLink":"A little cleanup"}},{"before":"8b9733a7faf4c4900776493ec1a9fffcf52b1663","after":"db7b1f75aa445d0e31ce3d658cd9330075830373","ref":"refs/heads/riscv-symbexec+heaps+loop","pushedAt":"2024-08-12T14:42:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"isqrt symb transfer WIP","shortMessageHtmlLink":"isqrt symb transfer WIP"}},{"before":"7407cf98a2c10477928679018c54ba3680f6801e","after":"505b8f578c080fb0321ee3c16fcd6b5f6e6bf836","ref":"refs/heads/master","pushedAt":"2024-08-12T14:35:14.000Z","pushType":"pr_merge","commitsCount":105,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #185 from kth-step/riscv-symbexec\n\nRISC-V examples checkpoint","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460886138\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kth-step/HolBA/issues/185\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kth-step/HolBA/pull/185/hovercard\" href=\"https://github.com/kth-step/HolBA/pull/185\">#185</a> from kth-step/riscv-symbexec"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEn_zYgAA","startCursor":null,"endCursor":null}},"title":"Activity · kth-step/HolBA"}