{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":32944298,"defaultBranch":"master","name":"z3","ownerLogin":"Z3Prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-03-26T18:16:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11668813?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722616234.0","currentOid":""},"activityList":{"items":[{"before":"8ba266760c58bf399a2a76b86990f8786312724d","after":"9a3363014bdb24c3bbfcc1c53425e1042f5a5c2e","ref":"refs/heads/csmpl","pushedAt":"2024-08-09T18:16:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"cleanup\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"cleanup"}},{"before":"b5f74b1868bd27abaee2f9e82d6f2e046060e800","after":"8ba266760c58bf399a2a76b86990f8786312724d","ref":"refs/heads/csmpl","pushedAt":"2024-08-09T01:06:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"delete unused nlsat_symmetry_checker\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"delete unused nlsat_symmetry_checker"}},{"before":"460c346508d18055b74ec21e13524703b4117d3a","after":"b5f74b1868bd27abaee2f9e82d6f2e046060e800","ref":"refs/heads/csmpl","pushedAt":"2024-08-08T22:42:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"fix the build\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"fix the build"}},{"before":"a599f55811bd282cb329da8f1a8a6b1605125d40","after":"460c346508d18055b74ec21e13524703b4117d3a","ref":"refs/heads/csmpl","pushedAt":"2024-08-08T22:16:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"port hybridSMT\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"port hybridSMT"}},{"before":"14ff13f9db55519cdb50e39b90554b9f0e06cffa","after":"a599f55811bd282cb329da8f1a8a6b1605125d40","ref":"refs/heads/csmpl","pushedAt":"2024-08-07T19:23:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"cleanup porting comments\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"cleanup porting comments"}},{"before":"43a6b4b7821cb2174ef8c89c3b717250a75b644e","after":"14ff13f9db55519cdb50e39b90554b9f0e06cffa","ref":"refs/heads/csmpl","pushedAt":"2024-08-07T19:01:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"remove option look_for_0_witness\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"remove option look_for_0_witness"}},{"before":"3dfcfae221cbf92168f7f75deeab4c1c0860d271","after":"43a6b4b7821cb2174ef8c89c3b717250a75b644e","ref":"refs/heads/csmpl","pushedAt":"2024-08-07T04:25:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"port look for 0 witness\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"port look for 0 witness"}},{"before":"fce21981c6d466ea47ac9c7a3ff64e919527e055","after":"8dac67d713141aca1a52dbe98af5436faf840e45","ref":"refs/heads/sls","pushedAt":"2024-08-06T22:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"evolve sls arith","shortMessageHtmlLink":"evolve sls arith"}},{"before":"bb842d3bbc1c83fa9ef39170b67883d66e6ee01b","after":"3dfcfae221cbf92168f7f75deeab4c1c0860d271","ref":"refs/heads/csmpl","pushedAt":"2024-08-06T18:16:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"cleaning up\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"cleaning up"}},{"before":"26b8d634a318b3aa0bacbcbaadbf8e5234d21034","after":"3e518b9e8b387f1bb664a619e0aec45f4b62dfba","ref":"refs/heads/master","pushedAt":"2024-08-06T10:54:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"fix #7331","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #7331.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2448939137\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7331\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7331/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7331\">#7331</a>"}},{"before":"52f8eb21fb995465f2deaf138ba75f74108e1fc3","after":"26b8d634a318b3aa0bacbcbaadbf8e5234d21034","ref":"refs/heads/master","pushedAt":"2024-08-03T18:34:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add max conflict throttle to SAT based QFNIA tactic #7329\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"add max conflict throttle to SAT based QFNIA tactic <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2446403916\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7329\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7329/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7329\">#7329</a>"}},{"before":"bc8fa67afc9bb37c4b646d4b99efc0b0ec7d23d7","after":"52f8eb21fb995465f2deaf138ba75f74108e1fc3","ref":"refs/heads/master","pushedAt":"2024-08-03T16:39:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"#7255 #7328\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357590551\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7255\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7255/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7255\">#7255</a> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2446356264\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7328\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7328/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7328\">#7328</a>"}},{"before":"d6040ee5ab07da9c84e30754f232a0f75f4c0a3d","after":"bc8fa67afc9bb37c4b646d4b99efc0b0ec7d23d7","ref":"refs/heads/master","pushedAt":"2024-08-03T16:37:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"#7255 #7328\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357590551\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7255\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7255/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7255\">#7255</a> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2446356264\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7328\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7328/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7328\">#7328</a>"}},{"before":"51fcb10b2ff0e4496a3c0c2ed7c32f0876c9ee49","after":"d6040ee5ab07da9c84e30754f232a0f75f4c0a3d","ref":"refs/heads/master","pushedAt":"2024-08-03T16:29:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"do not copy artifacts from CI pipeline\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"do not copy artifacts from CI pipeline"}},{"before":"7c30cbfe48f65f9aa27a954c7ad5845863a6ea94","after":"51fcb10b2ff0e4496a3c0c2ed7c32f0876c9ee49","ref":"refs/heads/master","pushedAt":"2024-08-03T03:04:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"shave some overhead from fingerprint hash function #7281","shortMessageHtmlLink":"shave some overhead from fingerprint hash function <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2397119087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7281\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7281/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7281\">#7281</a>"}},{"before":"d2fc085b8cee03bf2bfc89ecdc90c1c3c743e12b","after":"7c30cbfe48f65f9aa27a954c7ad5845863a6ea94","ref":"refs/heads/master","pushedAt":"2024-08-03T02:21:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add scoped_vector invariants and unit tests (#7327)\n\n* add scoped vector unit test\r\n\r\n* fix dlist tests\r\n\r\n* add new scoped vector invariants\r\n\r\n* remove all loop invariants","shortMessageHtmlLink":"add scoped_vector invariants and unit tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2445605143\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7327\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7327/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7327\">#7327</a>)"}},{"before":"fce4b36dad6582f3eb233e2f3b0002e64cba22c0","after":"d2fc085b8cee03bf2bfc89ecdc90c1c3c743e12b","ref":"refs/heads/master","pushedAt":"2024-08-03T01:29:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"update heap unit tests (#7324)\n\n* new heap invariants\r\n\r\n* change ENSURE to SASSERT for unit test heap\r\n\r\n* change SASSERT to VERIFY\r\n\r\n* update heap tests\r\n\r\n* update\r\n\r\n* remove one invariant","shortMessageHtmlLink":"update heap unit tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443494014\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7324\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7324/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7324\">#7324</a>)"}},{"before":"ea9fa17f8634f6f91d8d033dd92244bd992e00be","after":"fce4b36dad6582f3eb233e2f3b0002e64cba22c0","ref":"refs/heads/master","pushedAt":"2024-08-03T01:29:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add apply_permutation tests (#7322)\n\n* add permutation unit tests\r\n\r\n* update test\r\n\r\n* update\r\n\r\n* Update permutation.cpp\r\n\r\nfix macos build\r\n\r\n* add apply_permutation tests\r\n\r\n* update test\r\n\r\n* Update permutation.cpp\r\n\r\n* fix permutation tests\r\n\r\n---------\r\n\r\nCo-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"add apply_permutation tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443356223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7322\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7322/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7322\">#7322</a>)"}},{"before":"23e7dc03563169b62719c3d23bd1de32647b6784","after":"ea9fa17f8634f6f91d8d033dd92244bd992e00be","ref":"refs/heads/master","pushedAt":"2024-08-02T18:38:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add static\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"add static"}},{"before":"fe594618e6c7fddb33d0c2062d667990ba9bba5c","after":"23e7dc03563169b62719c3d23bd1de32647b6784","ref":"refs/heads/master","pushedAt":"2024-08-02T18:36:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"assert -> SASSERT\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"assert -&gt; SASSERT"}},{"before":null,"after":"bb842d3bbc1c83fa9ef39170b67883d66e6ee01b","ref":"refs/heads/csmpl","pushedAt":"2024-08-02T16:30:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"levnach","name":"Lev Nachmanson","path":"/levnach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5377127?s=80&v=4"},"commit":{"message":"port sample cell projection\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","shortMessageHtmlLink":"port sample cell projection"}},{"before":"6ba25b888bf7da8ee8edd8d294400aadbadf4e64","after":"fe594618e6c7fddb33d0c2062d667990ba9bba5c","ref":"refs/heads/master","pushedAt":"2024-08-01T23:56:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"fix dlist tests (#7323)","shortMessageHtmlLink":"fix dlist tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443409686\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7323\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7323/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7323\">#7323</a>)"}},{"before":"e7382d6ff9322e21aef87118dc6bf448f56d41f2","after":"6ba25b888bf7da8ee8edd8d294400aadbadf4e64","ref":"refs/heads/master","pushedAt":"2024-08-01T19:56:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add permutation unit tests (#7300)\n\n* add permutation unit tests\r\n\r\n* update test\r\n\r\n* update\r\n\r\n* Update permutation.cpp\r\n\r\nfix macos build\r\n\r\n---------\r\n\r\nCo-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"add permutation unit tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2419986483\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7300\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7300/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7300\">#7300</a>)"}},{"before":"0c16d34eb0eb9eb2627606431c631d896d547f6f","after":"e7382d6ff9322e21aef87118dc6bf448f56d41f2","ref":"refs/heads/master","pushedAt":"2024-07-31T15:14:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"Added \"&lambda;\" pretty printing to python (#7320)","shortMessageHtmlLink":"Added \"&amp;lambda;\" pretty printing to python (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2440044288\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7320\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7320/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7320\">#7320</a>)"}},{"before":"5fcc50f60635fd2a0a77e3c5dfc2c6234cb8a81a","after":"0c16d34eb0eb9eb2627606431c631d896d547f6f","ref":"refs/heads/master","pushedAt":"2024-07-30T18:35:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"fix #7292 (#7316)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #7292.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2413058951\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7292\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Z3Prover/z3/issues/7292/hovercard\" href=\"https://github.com/Z3Prover/z3/issues/7292\">#7292</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2436026462\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7316\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7316/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7316\">#7316</a>)"}},{"before":"2ae3d87b21c99184951f7ec0380675a5e00ba778","after":"5fcc50f60635fd2a0a77e3c5dfc2c6234cb8a81a","ref":"refs/heads/master","pushedAt":"2024-07-30T18:34:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"Revert \"add scoped vector unit test (#7307)\" (#7317)\n\nThis reverts commit 2ae3d87b21c99184951f7ec0380675a5e00ba778.","shortMessageHtmlLink":"Revert \"add scoped vector unit test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426155033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7307\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7307/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7307\">#7307</a>)\" (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438443533\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7317\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7317/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7317\">#7317</a>)"}},{"before":null,"after":"187c2c6cae4957ea2831cf2d9c1ef466985b04db","ref":"refs/heads/revert-7307-scoped_vector","pushedAt":"2024-07-30T18:33:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"Revert \"add scoped vector unit test (#7307)\"\n\nThis reverts commit 2ae3d87b21c99184951f7ec0380675a5e00ba778.","shortMessageHtmlLink":"Revert \"add scoped vector unit test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426155033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7307\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7307/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7307\">#7307</a>)\""}},{"before":"16fb86b636047fd79ad5827f768b6f26d8812948","after":"487a544274f9986ae62c314f2c67e84e2d1a36da","ref":"refs/heads/poly","pushedAt":"2024-07-30T04:05:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"remove test code\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","shortMessageHtmlLink":"remove test code"}},{"before":"2ce89e5f491fa817d02d8fdce8c62798beab258b","after":"2ae3d87b21c99184951f7ec0380675a5e00ba778","ref":"refs/heads/master","pushedAt":"2024-07-29T18:08:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"add scoped vector unit test (#7307)\n\n* add scoped vector unit test\r\n\r\n* fix dlist tests\r\n\r\n* add new scoped vector invariants","shortMessageHtmlLink":"add scoped vector unit test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426155033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7307\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7307/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7307\">#7307</a>)"}},{"before":"25e683e4e195609c8f6e728305aa9517f7d5fe61","after":"2ce89e5f491fa817d02d8fdce8c62798beab258b","ref":"refs/heads/master","pushedAt":"2024-07-29T18:07:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"NikolajBjorner","name":"Nikolaj Bjorner","path":"/NikolajBjorner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3085284?s=80&v=4"},"commit":{"message":"Gcc 15 two phase (#7313)\n\n* Fix `-Wclass-memaccess`\r\n\r\n* Fix for GCC 15 two-phase lookup\r\n\r\n* GCC 15 is more aggressive about checking dependent names:\r\n  https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=r15-2117-g313afcfdabeab3\r\n\r\nBug: https://bugs.gentoo.org/936634","shortMessageHtmlLink":"Gcc 15 two phase (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2433579467\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/7313\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/7313/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/7313\">#7313</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAElof75gA","startCursor":null,"endCursor":null}},"title":"Activity · Z3Prover/z3"}