{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":501947851,"defaultBranch":"main","name":"ksmt","ownerLogin":"UnitTestBot","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-10T07:42:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/87413538?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713820469.0","currentOid":""},"activityList":{"items":[{"before":"a4a39493a80c545cb02f29b59b84421ca5474bbb","after":null,"ref":"refs/heads/fix-z3-assert-and-track","pushedAt":"2024-04-22T21:14:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"81ec9b59cc01d98748c587d6c65b4a33cebb72ed","after":"af4a529dc480787bb97cf45a72ce3fa6391ad502","ref":"refs/heads/main","pushedAt":"2024-04-22T21:14:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix Z3 assert and track (#159)","shortMessageHtmlLink":"Fix Z3 assert and track (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2257459160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/159/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/159\">#159</a>)"}},{"before":null,"after":"a4a39493a80c545cb02f29b59b84421ca5474bbb","ref":"refs/heads/fix-z3-assert-and-track","pushedAt":"2024-04-22T21:02:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix Z3 assert and track","shortMessageHtmlLink":"Fix Z3 assert and track"}},{"before":"501966ab97ffc092def20d274e65b915eaf5c79d","after":"a4d4491a01436c8f0ed9ab34a5e52b49013d289d","ref":"refs/heads/gh-pages","pushedAt":"2024-04-15T14:44: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":"deploy: ba02bc2e4d12905c9fff7a4d75af89f1b806b1a9","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/ksmt/commit/ba02bc2e4d12905c9fff7a4d75af89f1b806b1a9/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/commit/ba02bc2e4d12905c9fff7a4d75af89f1b806b1a9\"><tt>ba02bc2</tt></a>"}},{"before":"cfca16b0475096f845478e6237dccfe3c42f2ae0","after":"ba02bc2e4d12905c9fff7a4d75af89f1b806b1a9","ref":"refs/heads/github-pages","pushedAt":"2024-04-15T14:40:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix gemfile","shortMessageHtmlLink":"Fix gemfile"}},{"before":"aa99039eabe0ffb1761c138fd8e4c944231fc3ce","after":"cfca16b0475096f845478e6237dccfe3c42f2ae0","ref":"refs/heads/github-pages","pushedAt":"2024-04-15T14:06:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Update docs","shortMessageHtmlLink":"Update docs"}},{"before":"79e151339bd881aba2d86a87c1de7238a387ff61","after":null,"ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-15T13:39:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"d941124b39a82f1603c328c22a75d602d7d2654f","after":"81ec9b59cc01d98748c587d6c65b4a33cebb72ed","ref":"refs/heads/main","pushedAt":"2024-04-15T13:39:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Upgrade cvc5 to 1.1.2 (#158)","shortMessageHtmlLink":"Upgrade cvc5 to 1.1.2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2241122760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/158/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/158\">#158</a>)"}},{"before":"c3c7be59fea9a156ff427483fd7393b35cfd1da9","after":"79e151339bd881aba2d86a87c1de7238a387ff61","ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-15T12:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix MacOS native counterpart","shortMessageHtmlLink":"Fix MacOS native counterpart"}},{"before":"64a80ed179d00f7758129d3a8854040e72135ad5","after":"c3c7be59fea9a156ff427483fd7393b35cfd1da9","ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-13T16:10:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Upgrade ksmt version","shortMessageHtmlLink":"Upgrade ksmt version"}},{"before":"ff7886bedcc1eb488b18c2c8d837ec2d20c6d7b8","after":"64a80ed179d00f7758129d3a8854040e72135ad5","ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-13T07:57:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix docs","shortMessageHtmlLink":"Fix docs"}},{"before":"70c16bb793e13599efcb5ad6860d921ba2a427c5","after":"ff7886bedcc1eb488b18c2c8d837ec2d20c6d7b8","ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-13T07:54:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Add no-overflow exprs","shortMessageHtmlLink":"Add no-overflow exprs"}},{"before":null,"after":"70c16bb793e13599efcb5ad6860d921ba2a427c5","ref":"refs/heads/cvc-upgrade","pushedAt":"2024-04-12T23:43:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Enable all cvc benchmark tests","shortMessageHtmlLink":"Enable all cvc benchmark tests"}},{"before":"31a8e356daf8a0b0640dcf84e53f45893a4ee295","after":null,"ref":"refs/heads/ctx-open-sort","pushedAt":"2024-04-10T17:20:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"b0cff63aebc6788fda0d28988f3f8187f4a93946","after":"d941124b39a82f1603c328c22a75d602d7d2654f","ref":"refs/heads/main","pushedAt":"2024-04-10T17:20:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Open KContext to allow sort customization (#157)","shortMessageHtmlLink":"Open KContext to allow sort customization (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2236061180\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/157/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/157\">#157</a>)"}},{"before":null,"after":"31a8e356daf8a0b0640dcf84e53f45893a4ee295","ref":"refs/heads/ctx-open-sort","pushedAt":"2024-04-10T17:04:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Open KContext to allow sort customization","shortMessageHtmlLink":"Open KContext to allow sort customization"}},{"before":null,"after":"82c3f1fe12aca039ced5b2feba90498368b0b5c5","ref":"refs/heads/bitwuzla-upgrade","pushedAt":"2024-02-29T20:13:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Fix all enums","shortMessageHtmlLink":"Fix all enums"}},{"before":"261fe5c3a649cedc7f0fe0444d09c1b11b1f9a5e","after":null,"ref":"refs/heads/yices-build-linux","pushedAt":"2024-02-13T11:10:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"5d2fb43126da4d444322cb07d6285661fc8108cd","after":"b0cff63aebc6788fda0d28988f3f8187f4a93946","ref":"refs/heads/main","pushedAt":"2024-02-13T11:10:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Rebuild yices with native deadlock fix (#154)","shortMessageHtmlLink":"Rebuild yices with native deadlock fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2132056153\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/154/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/154\">#154</a>)"}},{"before":null,"after":"261fe5c3a649cedc7f0fe0444d09c1b11b1f9a5e","ref":"refs/heads/yices-build-linux","pushedAt":"2024-02-13T10:57:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Rebuild yices with native deadlock fix","shortMessageHtmlLink":"Rebuild yices with native deadlock fix"}},{"before":"8a6e667b186e404684d3b97543ae374c27c591b1","after":null,"ref":"refs/heads/yices-build","pushedAt":"2024-02-12T16:26:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"fa2a997312627d7bc5afcaa3dfa1f1673221ce46","after":"5d2fb43126da4d444322cb07d6285661fc8108cd","ref":"refs/heads/main","pushedAt":"2024-02-12T16:26:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Yices macos arm (#153)\n\n* Yices macos-arm build\r\n\r\n* Update Yices macos build docs\r\n\r\n* Upgrade version to 0.5.20","shortMessageHtmlLink":"Yices macos arm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2129742316\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/153\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/153/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/153\">#153</a>)"}},{"before":"0cf50938ae98adb6cb66762002c1240597c8458e","after":"8a6e667b186e404684d3b97543ae374c27c591b1","ref":"refs/heads/yices-build","pushedAt":"2024-02-12T09:39:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Upgrade version to 0.5.20","shortMessageHtmlLink":"Upgrade version to 0.5.20"}},{"before":null,"after":"0cf50938ae98adb6cb66762002c1240597c8458e","ref":"refs/heads/yices-build","pushedAt":"2024-02-09T21:04:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Yices macos-arm build","shortMessageHtmlLink":"Yices macos-arm build"}},{"before":"e0f2001c9541119ccb949220188730467eab2edc","after":null,"ref":"refs/heads/faster-bv-creation","pushedAt":"2024-02-05T20:05:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"5a1845856038278e91c71abe7b302449c4fa922a","after":"fa2a997312627d7bc5afcaa3dfa1f1673221ce46","ref":"refs/heads/main","pushedAt":"2024-02-05T20:05:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Faster bv creation (#152)\n\n* Faster Bv value creation\r\n\r\n* Upgrade version to 0.5.19","shortMessageHtmlLink":"Faster bv creation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2119340949\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/152/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/152\">#152</a>)"}},{"before":null,"after":"e0f2001c9541119ccb949220188730467eab2edc","ref":"refs/heads/faster-bv-creation","pushedAt":"2024-02-05T19:46:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Upgrade version to 0.5.19","shortMessageHtmlLink":"Upgrade version to 0.5.19"}},{"before":"1c5dc1ac9bb2140859a2a83dec571684cffeaaa0","after":null,"ref":"refs/heads/rework-model-detach","pushedAt":"2024-02-01T07:22:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"}},{"before":"eaedb86f3ebedd13834572473e1e5e6a420787e9","after":"5a1845856038278e91c71abe7b302449c4fa922a","ref":"refs/heads/main","pushedAt":"2024-02-01T07:22:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Rework model detach (#151)\n\n* Rework model detach\r\n\r\n* Upgrade version to 0.5.18","shortMessageHtmlLink":"Rework model detach (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2110751128\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/151/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/151\">#151</a>)"}},{"before":null,"after":"1c5dc1ac9bb2140859a2a83dec571684cffeaaa0","ref":"refs/heads/rework-model-detach","pushedAt":"2024-01-31T18:49:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saloed","name":"Valentyn Sobol","path":"/Saloed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8640896?s=80&v=4"},"commit":{"message":"Upgrade version to 0.5.18","shortMessageHtmlLink":"Upgrade version to 0.5.18"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEN3FsQgA","startCursor":null,"endCursor":null}},"title":"Activity · UnitTestBot/ksmt"}