{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":581533352,"defaultBranch":"main","name":"ksmt","ownerLogin":"dee-tree","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-12-23T13:19:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59830756?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698663621.0","currentOid":""},"activityList":{"items":[{"before":"c3c788f24bccc4743881b4208cb44d367df5e10c","after":null,"ref":"refs/heads/bitwuzla-update","pushedAt":"2023-10-30T11:00:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"}},{"before":"5431cd62a95b3e818fb802f92524dbacb3de1500","after":"34b4fde0928d33c852f52950d75307fe1a2b14ca","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-25T18:22:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached","shortMessageHtmlLink":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached"}},{"before":"edae365372025b98327cee937c1d12f9c187ad40","after":"d110acf27f9d249498fa5d5efeac70f2b1d23ab0","ref":"refs/heads/main","pushedAt":"2023-10-25T18:20:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Fix release builds (#136)\n\n* Fix native artifact jar file name\r\n\r\n* Upgrade version to 0.5.11","shortMessageHtmlLink":"Fix release builds (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1959970906\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/136\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/136/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/136\">UnitTestBot#136</a>)"}},{"before":"25564910c9f00f8e18c2d1d345781abdac643fc7","after":"5431cd62a95b3e818fb802f92524dbacb3de1500","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-24T19:41:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached","shortMessageHtmlLink":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached"}},{"before":"3efd7a05c10d4b08fd2cb5b8cfeae601fbb9300b","after":"edae365372025b98327cee937c1d12f9c187ad40","ref":"refs/heads/main","pushedAt":"2023-10-24T19:40:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Bulk assert solver API (#134)\n\n* Solver bulk assert API\r\n* Fix transformer cache\r\n* Transformer cache reset API","shortMessageHtmlLink":"Bulk assert solver API (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1957945362\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/134\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/134/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/134\">UnitTestBot#134</a>)"}},{"before":"9aace2720eaa37cac47f84ee11bf8edbddbf54af","after":"25564910c9f00f8e18c2d1d345781abdac643fc7","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-24T19:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached","shortMessageHtmlLink":"bitwuzla native fixed for Windows on bv of size 33-64, patch attached"}},{"before":"9785cfaac348d9a47da8abe8a1baf78b288dd9e0","after":"9aace2720eaa37cac47f84ee11bf8edbddbf54af","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-23T21:02:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla: added build guide, native libs for windows, linux reassembled","shortMessageHtmlLink":"bitwuzla: added build guide, native libs for windows, linux reassembled"}},{"before":"dd415a32dfb5c8c0ec93b3b5ef0b78b0eacd75c1","after":"9785cfaac348d9a47da8abe8a1baf78b288dd9e0","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-23T13:59:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla update to 0.2.0 for linux and windows, bv overflow ops fix","shortMessageHtmlLink":"bitwuzla update to 0.2.0 for linux and windows, bv overflow ops fix"}},{"before":"86fc1cfe4b4dca60d4a99c08d783d02e46e4e376","after":"3efd7a05c10d4b08fd2cb5b8cfeae601fbb9300b","ref":"refs/heads/main","pushedAt":"2023-10-23T12:01:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Upgrade Z3 version to 4.12.2 (#132)\n\n* Update z3 version to 4.12.2\r\n\r\n* Custom z3 linux distribution\r\n\r\n* Update version to 0.5.9\r\n\r\n* Add new Z3 kinds","shortMessageHtmlLink":"Upgrade Z3 version to 4.12.2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1942765254\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/132\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/132/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/132\">UnitTestBot#132</a>)"}},{"before":null,"after":"dd415a32dfb5c8c0ec93b3b5ef0b78b0eacd75c1","ref":"refs/heads/bitwuzla-update-0_2_0","pushedAt":"2023-10-23T11:57:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla update to 0.2.0 for linux and windows, bv overflow ops fix","shortMessageHtmlLink":"bitwuzla update to 0.2.0 for linux and windows, bv overflow ops fix"}},{"before":"5ee812cdfabc453ca22cd87074d9810bd461d737","after":"c3c788f24bccc4743881b4208cb44d367df5e10c","ref":"refs/heads/bitwuzla-update","pushedAt":"2023-10-21T18:09:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla update to 0.2.0 for linux and windows","shortMessageHtmlLink":"bitwuzla update to 0.2.0 for linux and windows"}},{"before":"7acc7f33b8198e2d6bddc2373d63bb9ea5a4ef28","after":"5ee812cdfabc453ca22cd87074d9810bd461d737","ref":"refs/heads/bitwuzla-update","pushedAt":"2023-09-11T20:49:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla: some native solver stubs replaced","shortMessageHtmlLink":"bitwuzla: some native solver stubs replaced"}},{"before":"10e11016c1f4e5cb4a2d936acf61fef021609fff","after":"7acc7f33b8198e2d6bddc2373d63bb9ea5a4ef28","ref":"refs/heads/bitwuzla-update","pushedAt":"2023-09-07T17:58:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla bindings extended, linux lib updated, build guide updated","shortMessageHtmlLink":"bitwuzla bindings extended, linux lib updated, build guide updated"}},{"before":null,"after":"10e11016c1f4e5cb4a2d936acf61fef021609fff","ref":"refs/heads/bitwuzla-update","pushedAt":"2023-09-02T13:34:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla: updated linux dependency, jni, Native calls; source code stubs","shortMessageHtmlLink":"bitwuzla: updated linux dependency, jni, Native calls; source code stubs"}},{"before":"c6bbd315b4eef008530d5ecf51061909a90083eb","after":"6284a01302c0c1cfc5b5bbc544c9c2e121974a5e","ref":"refs/heads/forking-solver","pushedAt":"2023-08-30T21:05:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"rename: mkForkingSolver -> createForkingSolver","shortMessageHtmlLink":"rename: mkForkingSolver -&gt; createForkingSolver"}},{"before":"6f88204d2e6a1b6f112e909d3b86171d786d2fda","after":"c6bbd315b4eef008530d5ecf51061909a90083eb","ref":"refs/heads/forking-solver","pushedAt":"2023-08-30T20:54:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"yices cache sharing in forking solver manager, added description on fork in bitwuzla","shortMessageHtmlLink":"yices cache sharing in forking solver manager, added description on f…"}},{"before":"4438aff370be37bfd91591062a1cff116d12e290","after":"6f88204d2e6a1b6f112e909d3b86171d786d2fda","ref":"refs/heads/forking-solver","pushedAt":"2023-08-30T19:16:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"cvc5 forking solver refactoring by uninterpreted sort values forking tracker extraction","shortMessageHtmlLink":"cvc5 forking solver refactoring by uninterpreted sort values forking …"}},{"before":"68a0696304914133d03c322812f51a434b643a75","after":"4438aff370be37bfd91591062a1cff116d12e290","ref":"refs/heads/forking-solver","pushedAt":"2023-08-30T12:56:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"z3 forking solver refactoring by uninterpreted sort values tracker extraction","shortMessageHtmlLink":"z3 forking solver refactoring by uninterpreted sort values tracker ex…"}},{"before":"6c626c4469967f178c653596f3374f873bf604bb","after":"68a0696304914133d03c322812f51a434b643a75","ref":"refs/heads/forking-solver","pushedAt":"2023-08-28T14:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"z3 pop fix, post-review refactoring","shortMessageHtmlLink":"z3 pop fix, post-review refactoring"}},{"before":"6803209da1c54a995de9ba4f92f8633bbb421cb8","after":"86fc1cfe4b4dca60d4a99c08d783d02e46e4e376","ref":"refs/heads/main","pushedAt":"2023-08-17T08:48:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Symfpu model fix (#128)\n\n* Fix SymFpu model","shortMessageHtmlLink":"Symfpu model fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1850456754\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/128\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/128/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/128\">UnitTestBot#128</a>)"}},{"before":"837c56781a2e2161a3175ff31c683f87da7f3278","after":"6c626c4469967f178c653596f3374f873bf604bb","ref":"refs/heads/forking-solver","pushedAt":"2023-08-17T08:48:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla - forking solver, scoped uninterpreted values tracking fix, yices - forking solver init exceptions wrapper, forking solver close fix,\nall solvers - ScopedLinkedFrame.pop fix","shortMessageHtmlLink":"bitwuzla - forking solver, scoped uninterpreted values tracking fix, …"}},{"before":"92a96da89384689ac924afc3829d6093e76d04a9","after":"837c56781a2e2161a3175ff31c683f87da7f3278","ref":"refs/heads/forking-solver","pushedAt":"2023-08-14T17:49:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bitwuzla - forking solver, scoped uninterpreted values tracking fix, yices - forking solver init exceptions wrapper, forking solver close fix,\nall solvers - ScopedLinkedFrame.pop fix","shortMessageHtmlLink":"bitwuzla - forking solver, scoped uninterpreted values tracking fix, …"}},{"before":"ad9ff27fdaafe2e8ab36cc3388dac91d8d7ebec2","after":"92a96da89384689ac924afc3829d6093e76d04a9","ref":"refs/heads/forking-solver","pushedAt":"2023-08-14T12:19:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Bitwuzla uninterpreted sort values universe fix","shortMessageHtmlLink":"Bitwuzla uninterpreted sort values universe fix"}},{"before":"6c34eb8c759be382e4693e5aa6fe366af5477f24","after":"ad9ff27fdaafe2e8ab36cc3388dac91d8d7ebec2","ref":"refs/heads/forking-solver","pushedAt":"2023-08-14T10:22:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Yices forking solver, uninterpreted values in universe fix","shortMessageHtmlLink":"Yices forking solver, uninterpreted values in universe fix"}},{"before":"856cbfe8248039c270728b8f5c1ee35fdf092823","after":"6803209da1c54a995de9ba4f92f8633bbb421cb8","ref":"refs/heads/main","pushedAt":"2023-08-11T08:35:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Update symfpu release config (#126)","shortMessageHtmlLink":"Update symfpu release config (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1837214165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/126\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/126/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/126\">UnitTestBot#126</a>)"}},{"before":"6c34eb8c759be382e4693e5aa6fe366af5477f24","after":"856cbfe8248039c270728b8f5c1ee35fdf092823","ref":"refs/heads/main","pushedAt":"2023-07-31T19:58:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Fix int division (#119)\n\n* cvc: fix int division\r\n\r\n* core: fix int division rounding","shortMessageHtmlLink":"Fix int division (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1767921498\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/ksmt/issues/119\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/ksmt/pull/119/hovercard\" href=\"https://github.com/UnitTestBot/ksmt/pull/119\">UnitTestBot#119</a>)"}},{"before":"684cf5538e155533df5cc58fbf5cf3284ee3ada4","after":null,"ref":"refs/heads/relocate","pushedAt":"2023-07-31T19:36:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"}},{"before":"856cbfe8248039c270728b8f5c1ee35fdf092823","after":"6c34eb8c759be382e4693e5aa6fe366af5477f24","ref":"refs/heads/main","pushedAt":"2023-07-29T19:21:46.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"z3:\nforking solver;\nWrapped missing native throwable functions;\nTracks of assertion clear on pop","shortMessageHtmlLink":"z3:"}},{"before":"e89ec8f665d0f522e2d0197c6b24d1b59c4d86c7","after":"6c34eb8c759be382e4693e5aa6fe366af5477f24","ref":"refs/heads/forking-solver","pushedAt":"2023-07-29T19:17:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"z3:\nforking solver;\nWrapped missing native throwable functions;\nTracks of assertion clear on pop","shortMessageHtmlLink":"z3:"}},{"before":"743b967feec332ef0e432df60d3ec0da143d1d3c","after":"e89ec8f665d0f522e2d0197c6b24d1b59c4d86c7","ref":"refs/heads/forking-solver","pushedAt":"2023-07-27T15:48:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"cvc5: Extracted global cache for forking context and delegated to KCvc5ForkingSolverManager","shortMessageHtmlLink":"cvc5: Extracted global cache for forking context and delegated to KCv…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADovCafwA","startCursor":null,"endCursor":null}},"title":"Activity · dee-tree/ksmt"}