{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":46414758,"defaultBranch":"master","name":"java-smt","ownerLogin":"sosy-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-11-18T11:36:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16129993?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726603894.0","currentOid":""},"activityList":{"items":[{"before":"bbc2acce537c5f14576e7bbc0a601ffa6d842515","after":"b223908a43f49ea787f5aa5a4a56c6bf1ced8753","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T02:27:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"328a5ec0f7a27c860fcc5f57fc7b51c3b14d2f96","after":"43905a85757a66ea194c839c2095acb9d3e043c9","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-19T02:21:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Bitwuzla: Reuse the same stack frame in proveForAll() for all input formulas","shortMessageHtmlLink":"Bitwuzla: Reuse the same stack frame in proveForAll() for all input f…"}},{"before":"ab5c9c482ba928a4b73eaa482915fbddbb9cc124","after":"bbc2acce537c5f14576e7bbc0a601ffa6d842515","ref":"refs/heads/gh-pages","pushedAt":"2024-09-18T21:30:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"43c2c83b0b0177f1566ef49cd6560504ae8dd432","after":"3b6102d078b2fb87ffe0374fc211c1552052f105","ref":"refs/heads/257-more-theories-for-princess","pushedAt":"2024-09-18T21:24:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Princess: Fix evaluation of (boolean) formulas","shortMessageHtmlLink":"Princess: Fix evaluation of (boolean) formulas"}},{"before":"1de6ceae9eecb8d7fc7dfde6d0916ef649077116","after":"ab5c9c482ba928a4b73eaa482915fbddbb9cc124","ref":"refs/heads/gh-pages","pushedAt":"2024-09-18T17:08:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"44ae5de79712e43ef77e0b7ec01cbf299b8a5377","after":"c80d2cf7792f795a81f2d0dda4609603257563a9","ref":"refs/heads/improve_opensmt2_parsing","pushedAt":"2024-09-18T16:58:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"OpenSMT: Fix tokenizer again","shortMessageHtmlLink":"OpenSMT: Fix tokenizer again"}},{"before":"8077dbe5d2178cfa3ce3ce7bb093afdba7daed0b","after":"1de6ceae9eecb8d7fc7dfde6d0916ef649077116","ref":"refs/heads/gh-pages","pushedAt":"2024-09-18T16:17:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"f3a277e1207c40b9fa359af88ce0c3bc929f55b2","after":"43c2c83b0b0177f1566ef49cd6560504ae8dd432","ref":"refs/heads/257-more-theories-for-princess","pushedAt":"2024-09-18T16:13:46.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Princess: Added a comment to testDivisionByZero test. Princess does support division by zero, but it currently seems to be broken for rationals (at least with the way we're using them)","shortMessageHtmlLink":"Princess: Added a comment to testDivisionByZero test. Princess does s…"}},{"before":"1ac43b4452c0b80031af522c5a98488d0db48b11","after":"44ae5de79712e43ef77e0b7ec01cbf299b8a5377","ref":"refs/heads/improve_opensmt2_parsing","pushedAt":"2024-09-18T15:31:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"OpenSMT: Fix tokenizer","shortMessageHtmlLink":"OpenSMT: Fix tokenizer"}},{"before":"ed619f9b57beb05d719f9a508a49a7810b15250f","after":"8077dbe5d2178cfa3ce3ce7bb093afdba7daed0b","ref":"refs/heads/gh-pages","pushedAt":"2024-09-18T14:46:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"69cc222d00e981f15ddd7cba88f8330fad92cbea","after":"1ac43b4452c0b80031af522c5a98488d0db48b11","ref":"refs/heads/improve_opensmt2_parsing","pushedAt":"2024-09-18T14:42:33.000Z","pushType":"push","commitsCount":331,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"OpenSMT: Handle quoted symbols and strings while cleaning up SMT-LIB2 input strings before parsing","shortMessageHtmlLink":"OpenSMT: Handle quoted symbols and strings while cleaning up SMT-LIB2…"}},{"before":"2a09409d81bb9dfc45b8213aef33db3199004aea","after":"ed619f9b57beb05d719f9a508a49a7810b15250f","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T20:15:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":null,"after":"1c0f00ec2438c5a1e3afb345b8f72570d2d3eb12","ref":"refs/heads/380-multi-architecture-solver-binaries-z3","pushedAt":"2024-09-17T20:11:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"configure Ivy with a new classifier for 'arch', tested for Z3 binary.","shortMessageHtmlLink":"configure Ivy with a new classifier for 'arch', tested for Z3 binary."}},{"before":"6802618519db6ffb42f1ef84fdef21d729ed5334","after":"2a09409d81bb9dfc45b8213aef33db3199004aea","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T12:25:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"9b030f7c768ecdf4464e059ddc344bda9d11fbce","after":"328a5ec0f7a27c860fcc5f57fc7b51c3b14d2f96","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-17T12:15:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Bitwuzla: Patch handling of bitvector rotations in the formula visitor","shortMessageHtmlLink":"Bitwuzla: Patch handling of bitvector rotations in the formula visitor"}},{"before":"d0ed3c70c4b0296f2ba16e973560a7d4d21ff794","after":"6802618519db6ffb42f1ef84fdef21d729ed5334","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T10:55:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"3ced9a9262f1a62e99d3ad6b39b92d9d323e49b8","after":"9b030f7c768ecdf4464e059ddc344bda9d11fbce","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-17T10:49:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Bitwuzla: Add a missing dot","shortMessageHtmlLink":"Bitwuzla: Add a missing dot"}},{"before":"8a76c0176cb94deff2aa7ece7d53e2ae44ec0fb9","after":"d0ed3c70c4b0296f2ba16e973560a7d4d21ff794","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T10:22:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"6ab3339c90deabe88a598a2b5a2a3acd32a717d8","after":"3ced9a9262f1a62e99d3ad6b39b92d9d323e49b8","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-17T10:17:06.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Bitwuzla: Improve the variableCasts map and make sure that we only push casts as side-conditions that are actually needed","shortMessageHtmlLink":"Bitwuzla: Improve the variableCasts map and make sure that we only pu…"}},{"before":"754e99714014986688996c7ead4e4c0cff5acfbb","after":"8a76c0176cb94deff2aa7ece7d53e2ae44ec0fb9","ref":"refs/heads/gh-pages","pushedAt":"2024-09-16T23:02:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":null,"after":"6ab3339c90deabe88a598a2b5a2a3acd32a717d8","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-16T22:59:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"#394: fix missing handling of ARRAY_CONST for Bitwuzla.\n\nWe had a test for Integer theory, however the same test for BV theory was missing.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527786077\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/394\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/394/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/394\">#394</a>: fix missing handling of ARRAY_CONST for Bitwuzla."}},{"before":"a6a1747604b261625f4886aba5cfea63b6fef965","after":"754e99714014986688996c7ead4e4c0cff5acfbb","ref":"refs/heads/gh-pages","pushedAt":"2024-09-16T19:51:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"67d40c81d4bc0853382277e215520a6f0df8aba8","after":"6ab3339c90deabe88a598a2b5a2a3acd32a717d8","ref":"refs/heads/master","pushedAt":"2024-09-16T19:47:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"#394: fix missing handling of ARRAY_CONST for Bitwuzla.\n\nWe had a test for Integer theory, however the same test for BV theory was missing.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527786077\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/394\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/394/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/394\">#394</a>: fix missing handling of ARRAY_CONST for Bitwuzla."}},{"before":"bf27a6458b487e014832459c5bf91c791f3daed3","after":"a6a1747604b261625f4886aba5cfea63b6fef965","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T17:16:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"c161f0004da0a4d67c53d775ef5eba55ceaa25c5","after":"f3a277e1207c40b9fa359af88ce0c3bc929f55b2","ref":"refs/heads/257-more-theories-for-princess","pushedAt":"2024-09-15T17:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Revert \"Princess: Fix evalImpl() for formulas that are equations over rationals (f.ex \"1/3 <= y\"). This extends the workaround we already use for terms to equations as Princess seems to have a bug when it comes to evaluating rational terms\"\n\nThis reverts commit 3b7229ac","shortMessageHtmlLink":"Revert \"Princess: Fix evalImpl() for formulas that are equations over…"}},{"before":"a33000c0cead5e242fb897e399ff5d4411182645","after":"bf27a6458b487e014832459c5bf91c791f3daed3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T16:52:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"872944f2e9149a3fdf0992f4be52daf87aba87bb","after":"c161f0004da0a4d67c53d775ef5eba55ceaa25c5","ref":"refs/heads/257-more-theories-for-princess","pushedAt":"2024-09-15T16:45:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Princess: Resolve checkstyle issues","shortMessageHtmlLink":"Princess: Resolve checkstyle issues"}},{"before":"2996078bbb86b24a1cdb44d58165fae5eecd84c0","after":"a33000c0cead5e242fb897e399ff5d4411182645","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T16:44:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":null,"after":"67d40c81d4bc0853382277e215520a6f0df8aba8","ref":"refs/heads/257","pushedAt":"2024-09-15T16:38:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"update Changelog for upcoming release","shortMessageHtmlLink":"update Changelog for upcoming release"}},{"before":"3de05eb8e0d8593c3bd6eff370f45858845e77be","after":"2996078bbb86b24a1cdb44d58165fae5eecd84c0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T02:10:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQwMjoyNzoxMC4wMDAwMDBazwAAAAS6Vyhh","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQwMjoyNzoxMC4wMDAwMDBazwAAAAS6Vyhh","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNVQwMjoxMDoxNS4wMDAwMDBazwAAAAS2fL-W"}},"title":"Activity · sosy-lab/java-smt"}