{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":36905975,"defaultBranch":"master","name":"SVF","ownerLogin":"SVF-tools","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-05T01:52:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31209843?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716798185.0","currentOid":""},"activityList":{"items":[{"before":"cf016e93405ba5c6f4d39bb6497d921e29bac28a","after":"26cee1cbf905c07e1cb760c3fb7b65b8a3e6c732","ref":"refs/heads/master","pushedAt":"2024-06-02T13:47:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1479 from kisslune/master\n\nfixed an SFR bug","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328920587\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1479\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1479/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1479\">#1479</a> from kisslune/master"}},{"before":"de3bfec510f9fcd664baa704a8565b7c81984716","after":"cf016e93405ba5c6f4d39bb6497d921e29bac28a","ref":"refs/heads/master","pushedAt":"2024-05-31T12:36:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1477 from jumormt/master\n\nremove const reference when iterating a range","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2327521905\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1477\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1477/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1477\">#1477</a> from jumormt/master"}},{"before":"ee9539651a9f7f0772f10c89564bb31e98de1b3d","after":"de3bfec510f9fcd664baa704a8565b7c81984716","ref":"refs/heads/master","pushedAt":"2024-05-29T12:30:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1476 from Kaiqi-Liang/master\n\nFix namespace","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323191686\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1476\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1476/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1476\">#1476</a> from Kaiqi-Liang/master"}},{"before":"4b2b3f91f58929c0905b999ed0334b400fa86d4a","after":"ee9539651a9f7f0772f10c89564bb31e98de1b3d","ref":"refs/heads/master","pushedAt":"2024-05-28T02:34:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"fix Dockerfile to support both x86 and arm64 (#1474)\n\n* Update build.sh\r\n\r\n* Update build.sh\r\n\r\n* Update build.sh\r\n\r\n* fix Dockerfile, to support both amd64 and aarch64\r\n\r\n---------\r\n\r\nCo-authored-by: Xiao <jumormt@163.com>\r\nCo-authored-by: jiawei wang <bjjwwang@github.com>","shortMessageHtmlLink":"fix Dockerfile to support both x86 and arm64 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2320008870\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1474\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1474/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1474\">#1474</a>)"}},{"before":"1d96dace81abf1670b2cb3e4bbcd49fc6ee8de8c","after":"4b2b3f91f58929c0905b999ed0334b400fa86d4a","ref":"refs/heads/master","pushedAt":"2024-05-27T14:19:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"16.0.0->16.0.4 (#1472)\n\n* Update build.sh\r\n\r\n* Update build.sh\r\n\r\n* Update build.sh","shortMessageHtmlLink":"16.0.0-&gt;16.0.4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319243733\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1472\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1472/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1472\">#1472</a>)"}},{"before":"52b79773679f76ff555024dea12e69a2670ac9af","after":"1d96dace81abf1670b2cb3e4bbcd49fc6ee8de8c","ref":"refs/heads/master","pushedAt":"2024-05-27T13:17:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"update Dockerfile: lldb -> gdb (#1471)\n\n* Update Dockerfile\r\n\r\n* Update Dockerfile\r\n\r\n* Update Dockerfile\r\n\r\n* Update Dockerfile","shortMessageHtmlLink":"update Dockerfile: lldb -&gt; gdb (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319130517\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1471\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1471/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1471\">#1471</a>)"}},{"before":"6f347c2b506218c58eaee9cc47544a1cd27076e7","after":"52b79773679f76ff555024dea12e69a2670ac9af","ref":"refs/heads/master","pushedAt":"2024-05-27T10:42:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"0eae65388008dbfafc0287873bfb4c8819582183","after":"6f347c2b506218c58eaee9cc47544a1cd27076e7","ref":"refs/heads/master","pushedAt":"2024-05-27T10:40:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update Dockerfile","shortMessageHtmlLink":"Update Dockerfile"}},{"before":"c0c3dc3551b766100ce37cba8413559199c5e8c8","after":"0eae65388008dbfafc0287873bfb4c8819582183","ref":"refs/heads/master","pushedAt":"2024-05-27T06:01:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"12a92c4c63019191ec4245789d1a898824e21de5","after":"c0c3dc3551b766100ce37cba8413559199c5e8c8","ref":"refs/heads/master","pushedAt":"2024-05-27T04:58:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"857b8c1100de730383a4973dd26f6e7340b48e8e","after":"12a92c4c63019191ec4245789d1a898824e21de5","ref":"refs/heads/master","pushedAt":"2024-05-27T04:52:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1469 from jumormt/master\n\nadd methods: getWTOComponents","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318226408\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1469\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1469/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1469\">#1469</a> from jumormt/master"}},{"before":"442e1067f9a1ffc5c67414fa0d45956255734987","after":"857b8c1100de730383a4973dd26f6e7340b48e8e","ref":"refs/heads/master","pushedAt":"2024-05-25T03:26:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1467 from jumormt/master\n\nadd assertion message when calling lb/ub if interval is bottom, don't…","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316643327\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1467\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1467/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1467\">#1467</a> from jumormt/master"}},{"before":"b7a671ed509271d5b4181a348cc1ff60c1d20cff","after":"442e1067f9a1ffc5c67414fa0d45956255734987","ref":"refs/heads/master","pushedAt":"2024-05-24T06:14:35.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1466 from bjjwwang/0524\n\nrename ICFGWTONode/Cycle","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314072215\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1466\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1466/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1466\">#1466</a> from bjjwwang/0524"}},{"before":"a031c1fc02850e70547c00e0f9683f001cf0f2ef","after":"b7a671ed509271d5b4181a348cc1ff60c1d20cff","ref":"refs/heads/master","pushedAt":"2024-05-23T11:52:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"682da6b417becbffe288eeb3c55d32668a64dd44","after":"a031c1fc02850e70547c00e0f9683f001cf0f2ef","ref":"refs/heads/master","pushedAt":"2024-05-23T11:46:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1465 from bjjwwang/0523\n\nstage2: refactor AbstractState/Value","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312623105\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1465\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1465/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1465\">#1465</a> from bjjwwang/0523"}},{"before":"dce81daa29c02315ea9cd86a6c9ba6d811e6ae46","after":"682da6b417becbffe288eeb3c55d32668a64dd44","ref":"refs/heads/master","pushedAt":"2024-05-23T06:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"c9d8195e1f75662bace5d7a420e94cd9d97d896f","after":"dce81daa29c02315ea9cd86a6c9ba6d811e6ae46","ref":"refs/heads/master","pushedAt":"2024-05-23T06:34:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"State1 refactor SVFIR2AbsState (#1464)\n\n* refactor APIs in AbstractState/Value\r\n\r\n* refactor APIs in AbstractState/Value\r\n\r\n* add comments to idx 0\r\n\r\n* add comments to idx 0\r\n\r\n* add comments to idx 0\r\n\r\n* remove redundant assert\r\n\r\n* remove redundant assert\r\n\r\n* stage1: refactor SVFIR2AbsState\r\n\r\n---------\r\n\r\nCo-authored-by: bjjwwang <bjjwwang@github.com>","shortMessageHtmlLink":"State1 refactor SVFIR2AbsState (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312011521\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1464\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1464/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1464\">#1464</a>)"}},{"before":"ddef3eb299de0d073cfcea6bf58a84fa813d7172","after":"c9d8195e1f75662bace5d7a420e94cd9d97d896f","ref":"refs/heads/master","pushedAt":"2024-05-23T05:22:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"933b2cf6b17884a3bb99fcc13e0e6d8b0ab2a283","after":"ddef3eb299de0d073cfcea6bf58a84fa813d7172","ref":"refs/heads/master","pushedAt":"2024-05-23T05:14:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"refactor APIs in AbstractState/Value (#1463)\n\n* refactor APIs in AbstractState/Value\r\n\r\n* refactor APIs in AbstractState/Value\r\n\r\n* add comments to idx 0\r\n\r\n* add comments to idx 0\r\n\r\n* add comments to idx 0\r\n\r\n* remove redundant assert\r\n\r\n* remove redundant assert\r\n\r\n---------\r\n\r\nCo-authored-by: bjjwwang <bjjwwang@github.com>","shortMessageHtmlLink":"refactor APIs in AbstractState/Value (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311841763\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1463\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1463/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1463\">#1463</a>)"}},{"before":"39b6e83b17bbdb69017273e3e9cdc48a62359f81","after":"933b2cf6b17884a3bb99fcc13e0e6d8b0ab2a283","ref":"refs/heads/master","pushedAt":"2024-05-20T12:07:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"64dc0bf51c0fdda7830f08fd5d6c73018dcc6487","after":"39b6e83b17bbdb69017273e3e9cdc48a62359f81","ref":"refs/heads/master","pushedAt":"2024-05-20T12:00:58.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1462 from bjjwwang/0520\n\nrefactor some api in intervalValue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2305778790\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1462\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1462/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1462\">#1462</a> from bjjwwang/0520"}},{"before":"8672fd7cb31bf22d7ff062cdeb7f174263888454","after":"64dc0bf51c0fdda7830f08fd5d6c73018dcc6487","ref":"refs/heads/master","pushedAt":"2024-05-18T10:50:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"5051626c1077d518069486804b25ee996a7cc11a","after":"8672fd7cb31bf22d7ff062cdeb7f174263888454","ref":"refs/heads/master","pushedAt":"2024-05-18T10:44:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"add toString method in ConstraintGraph","shortMessageHtmlLink":"add toString method in ConstraintGraph"}},{"before":"021f0f8fd40e1391f62bf07168932bfa8946bb49","after":"5051626c1077d518069486804b25ee996a7cc11a","ref":"refs/heads/master","pushedAt":"2024-05-16T13:50:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Merge pull request #1461 from bjjwwang/absval\n\nremove some ambiguous API in AbstractValue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300389886\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1461\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1461/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1461\">#1461</a> from bjjwwang/absval"}},{"before":"1bf0f0d87810b904a1f2e121605ac62d9e4adc22","after":"021f0f8fd40e1391f62bf07168932bfa8946bb49","ref":"refs/heads/master","pushedAt":"2024-05-16T01:54:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"SVF code formatter","shortMessageHtmlLink":"SVF code formatter"}},{"before":"b39e8ab82644e7770baae45ee11bedef9dfd5aa7","after":"1bf0f0d87810b904a1f2e121605ac62d9e4adc22","ref":"refs/heads/master","pushedAt":"2024-05-16T01:48:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"add boundedint (#1459)\n\n* change z3expr to float used in interval value\r\n\r\n* fix symabs\r\n\r\n* add boundedint\r\n\r\n* fix bug\r\n\r\n* float to double\r\n\r\n* fix is real\r\n\r\n* fix ZExt\r\n\r\n---------\r\n\r\nCo-authored-by: jiawei-95 <jiawei.ren95@foxmail.com>\r\nCo-authored-by: bjjwwang <bjjwwang@github.com>","shortMessageHtmlLink":"add boundedint (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291127813\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SVF-tools/SVF/issues/1459\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SVF-tools/SVF/pull/1459/hovercard\" href=\"https://github.com/SVF-tools/SVF/pull/1459\">#1459</a>)"}},{"before":"8027ceb18d26d784c8364fa3aaf1f0433d0c7d6f","after":"b39e8ab82644e7770baae45ee11bedef9dfd5aa7","ref":"refs/heads/master","pushedAt":"2024-05-15T13:32:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"fix print in AE","shortMessageHtmlLink":"fix print in AE"}},{"before":"25cc3cacde076f4b1bec63b793d65e1188fea27d","after":"8027ceb18d26d784c8364fa3aaf1f0433d0c7d6f","ref":"refs/heads/master","pushedAt":"2024-05-15T04:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"Fix compilation error","shortMessageHtmlLink":"Fix compilation error"}},{"before":"f20fefc5a1e04e1a83fe19da5cc1e56d55aa9fa8","after":"25cc3cacde076f4b1bec63b793d65e1188fea27d","ref":"refs/heads/master","pushedAt":"2024-05-15T03:43:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"fix memoryusage stats warnings","shortMessageHtmlLink":"fix memoryusage stats warnings"}},{"before":"45cc7691cb0b87b0c735951963ec3b719865a429","after":"f20fefc5a1e04e1a83fe19da5cc1e56d55aa9fa8","ref":"refs/heads/master","pushedAt":"2024-05-14T09:49:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuleisui","name":"Yulei Sui","path":"/yuleisui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7608399?s=80&v=4"},"commit":{"message":"move sccRepNode/SccSubNodes to AndersenBase","shortMessageHtmlLink":"move sccRepNode/SccSubNodes to AndersenBase"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWjIOUgA","startCursor":null,"endCursor":null}},"title":"Activity · SVF-tools/SVF"}