{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":730781302,"defaultBranch":"master","name":"SVF","ownerLogin":"Johanmyst","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-12T16:54:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15309778?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717656676.0","currentOid":""},"activityList":{"items":[{"before":"3fb7a5e6abb92d346eefee7009920173aef23e14","after":"96dd944c3e50603a474ba82682902ea189fbcc6b","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T16:09:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Fix reading/writing optimised SVFG from/to file; allow building optimised SVFG with SVFGBuilder","shortMessageHtmlLink":"Fix reading/writing optimised SVFG from/to file; allow building optim…"}},{"before":"f6101101247edde53eca7305b38e1be19ecf8951","after":"3fb7a5e6abb92d346eefee7009920173aef23e14","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T16:08:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Fix reading/writing optimised SVFG from/to file; allow building optimised SVFG with SVFGBuilder","shortMessageHtmlLink":"Fix reading/writing optimised SVFG from/to file; allow building optim…"}},{"before":"3fb7a5e6abb92d346eefee7009920173aef23e14","after":"f6101101247edde53eca7305b38e1be19ecf8951","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T16:06:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Merge branch 'SVF-tools:master' into VeriPatch","shortMessageHtmlLink":"Merge branch 'SVF-tools:master' into VeriPatch"}},{"before":"709ad83ce2f9fd3ddef6902cffded166aa9905c0","after":"3fb7a5e6abb92d346eefee7009920173aef23e14","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T16:05:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Fix reading/writing optimised SVFG from/to file; allow building optimised SVFG with SVFGBuilder","shortMessageHtmlLink":"Fix reading/writing optimised SVFG from/to file; allow building optim…"}},{"before":"b622edd52dc8a46c1fe09d3d764e3ec06b624f52","after":"709ad83ce2f9fd3ddef6902cffded166aa9905c0","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T16:02:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Fix reading/writing optimised SVFG from/to file; allow building optimised SVFG with SVFGBuilder","shortMessageHtmlLink":"Fix reading/writing optimised SVFG from/to file; allow building optim…"}},{"before":"af246366f4b0f0c5fe11f8546b7e03951fb89c05","after":"b622edd52dc8a46c1fe09d3d764e3ec06b624f52","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-18T15:55:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Fix reading/writing optimised SVFG from/to file; allow building optimised SVFG with SVFGBuilder","shortMessageHtmlLink":"Fix reading/writing optimised SVFG from/to file; allow building optim…"}},{"before":"99a19e92c95808c2af3b5d8e9b2e0305565c7ced","after":"3a3d84519bd1443f590f9b2998b78a69ebe6c425","ref":"refs/heads/master","pushedAt":"2024-06-18T15:52:14.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"e51e6c571bcec84d2276932c8ac0de38ab833d34","after":null,"ref":"refs/heads/fix_opt_svfg","pushedAt":"2024-06-06T06:51:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"}},{"before":null,"after":"e51e6c571bcec84d2276932c8ac0de38ab833d34","ref":"refs/heads/fix_opt_svfg","pushedAt":"2024-06-06T06:50:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"ed157190392eed05deb5a0cda374de7c701bdcec","after":null,"ref":"refs/heads/programmmable_opts","pushedAt":"2024-06-06T06:49:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"}},{"before":null,"after":"ed157190392eed05deb5a0cda374de7c701bdcec","ref":"refs/heads/programmmable_opts","pushedAt":"2024-06-06T06:49:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"00303185d08486f9df2792118bca8052838d5500","after":"af246366f4b0f0c5fe11f8546b7e03951fb89c05","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-06T06:47:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"8cf9025dbeffbacceebb9bd0fb826ccab39f3756","after":"00303185d08486f9df2792118bca8052838d5500","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-06T06:46:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"00303185d08486f9df2792118bca8052838d5500","after":"8cf9025dbeffbacceebb9bd0fb826ccab39f3756","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-06T06:45:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Merge branch 'SVF-tools:master' into VeriPatch","shortMessageHtmlLink":"Merge branch 'SVF-tools:master' into VeriPatch"}},{"before":"cb22e1967b0a18f9bd27a8c7fcb36d8b10158422","after":null,"ref":"refs/heads/fixCPPClasses","pushedAt":"2024-06-06T06:44:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"}},{"before":"0e56bc038bf207a1ca320b5f5ad241e13ab33e14","after":null,"ref":"refs/heads/cmake_modernisation","pushedAt":"2024-06-06T06:43:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"}},{"before":"9578b2b3b04d45916ff01807b7ab97514475bc9e","after":"99a19e92c95808c2af3b5d8e9b2e0305565c7ced","ref":"refs/heads/master","pushedAt":"2024-06-06T06:42:16.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Merge pull request #1480 from jumormt/master\n\nadd LF check","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2335485863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1480\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1480/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1480\">SVF-tools#1480</a> from jumormt/master"}},{"before":"e51e6c571bcec84d2276932c8ac0de38ab833d34","after":"00303185d08486f9df2792118bca8052838d5500","ref":"refs/heads/VeriPatch","pushedAt":"2024-06-06T06:41:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"5ab1c31465c913dd5877579d417937574f04aaed","after":"3b03f1d62cadaf3dfb6e4e58d8550c1c4524cf18","ref":"refs/heads/cmake","pushedAt":"2024-06-03T10:51:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"af666903fe116be96edfce3bf5bea10b72a19c10","after":"5ab1c31465c913dd5877579d417937574f04aaed","ref":"refs/heads/cmake","pushedAt":"2024-06-03T10:41:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"f35bf0dace1195229e1d3f7bd2f6631aad486c58","after":"af666903fe116be96edfce3bf5bea10b72a19c10","ref":"refs/heads/cmake","pushedAt":"2024-06-03T10:40:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"e51e6c571bcec84d2276932c8ac0de38ab833d34","after":"f35bf0dace1195229e1d3f7bd2f6631aad486c58","ref":"refs/heads/cmake","pushedAt":"2024-06-03T08:32:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"f20acdbbf93a082f3fb98a834efae64780df8e2c","after":"e51e6c571bcec84d2276932c8ac0de38ab833d34","ref":"refs/heads/VeriPatch","pushedAt":"2024-05-27T15:36:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"f20acdbbf93a082f3fb98a834efae64780df8e2c","after":"e51e6c571bcec84d2276932c8ac0de38ab833d34","ref":"refs/heads/cmake","pushedAt":"2024-05-27T15:35:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Added top-level cmake include directory; for explicit adding include directories if desired","shortMessageHtmlLink":"Added top-level cmake include directory; for explicit adding include …"}},{"before":"c249b4997dee59626f4c5cdccda7c52b11129b8e","after":"f20acdbbf93a082f3fb98a834efae64780df8e2c","ref":"refs/heads/VeriPatch","pushedAt":"2024-05-14T13:51:13.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Disabled LTO as it unintentionally hides some symbols (i.e. protected definitions) s.t. inheriting classes can't extend them","shortMessageHtmlLink":"Disabled LTO as it unintentionally hides some symbols (i.e. protected…"}},{"before":"6c3afa227d12bf51dcf0616f5a25da9a50465b10","after":"f20acdbbf93a082f3fb98a834efae64780df8e2c","ref":"refs/heads/cmake","pushedAt":"2024-05-14T13:50:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Disabled LTO as it unintentionally hides some symbols (i.e. protected definitions) s.t. inheriting classes can't extend them","shortMessageHtmlLink":"Disabled LTO as it unintentionally hides some symbols (i.e. protected…"}},{"before":"39e1da491eff65ddfbe56157ebe70f23e1595828","after":"6c3afa227d12bf51dcf0616f5a25da9a50465b10","ref":"refs/heads/cmake","pushedAt":"2024-05-12T13:04:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Also applied backwards compatibility of linking Z3 package to configuration cmake file","shortMessageHtmlLink":"Also applied backwards compatibility of linking Z3 package to configu…"}},{"before":"890dd2ade8f47bb7ca655ab1d6ff426a4864799f","after":"39e1da491eff65ddfbe56157ebe70f23e1595828","ref":"refs/heads/cmake","pushedAt":"2024-05-12T12:42:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Avoided compiler-specific debugging flags","shortMessageHtmlLink":"Avoided compiler-specific debugging flags"}},{"before":"8fabb6895a80ebe9caa2c45017ea362466d650b4","after":"890dd2ade8f47bb7ca655ab1d6ff426a4864799f","ref":"refs/heads/cmake","pushedAt":"2024-05-12T12:38:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Avoided compiler-specific debugging flags","shortMessageHtmlLink":"Avoided compiler-specific debugging flags"}},{"before":"f776d41cd2315f44ae1595d4794e7c896be44471","after":"8fabb6895a80ebe9caa2c45017ea362466d650b4","ref":"refs/heads/cmake","pushedAt":"2024-05-12T12:35:01.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Johanmyst","name":"Johannes","path":"/Johanmyst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15309778?s=80&v=4"},"commit":{"message":"Avoided compiler-specific debugging flags","shortMessageHtmlLink":"Avoided compiler-specific debugging flags"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaKtXTQA","startCursor":null,"endCursor":null}},"title":"Activity · Johanmyst/SVF"}