{"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:1726917108.0","currentOid":""},"activityList":{"items":[{"before":"925956453f3d08aa725192f53666e85a14d87c28","after":"552fce96dd1d66ffce28bad07d47c3f55a359e19","ref":"refs/heads/gh-pages","pushedAt":"2024-09-22T11:15:43.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":"e697ed68971dc8aeb33fe621baafc4bd9292178d","after":"d808f7828f3c5f1e27fc0d9615f54227a482c2a8","ref":"refs/heads/master","pushedAt":"2024-09-22T11:09:02.000Z","pushType":"pr_merge","commitsCount":22,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"Merge pull request #396 from sosy-lab/371-better-performance-in-floatingpointmanagertest\n\nBitwuzla: Fix performance issues in FloatingPointFormulaManagerTest","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2535233188\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/396\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/java-smt/pull/396/hovercard\" href=\"https://github.com/sosy-lab/java-smt/pull/396\">#396</a> from sosy-lab/371-better-performance-in-float…"}},{"before":"e6f4e7d6d3205c9a56eb7f7c4fb460c5a202ef72","after":"925956453f3d08aa725192f53666e85a14d87c28","ref":"refs/heads/gh-pages","pushedAt":"2024-09-22T10:59:01.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":"d00c4c2a5801684edb45cfdfb5b675fa81986b45","after":"467459e95e094dbf53d023343df765d86f8da318","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-22T10:54:42.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":"change name of utility variable and document it.","shortMessageHtmlLink":"change name of utility variable and document it."}},{"before":"212c7385c95564f7e90bcadaa6218f4f8f19ee39","after":"e6f4e7d6d3205c9a56eb7f7c4fb460c5a202ef72","ref":"refs/heads/gh-pages","pushedAt":"2024-09-22T02:23:28.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":"e0c600a74b1581388259652119bc3448a26efd6e","after":"212c7385c95564f7e90bcadaa6218f4f8f19ee39","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T23:35: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":"04b0a0a2b8f0a2423e44d4e3c6e00152cd404088","after":"d00c4c2a5801684edb45cfdfb5b675fa81986b45","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T23:27:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"rewrite and simplify a fixed-point algorithm.\n\nThe new approach has several improvements:\n- only analyse those constraints that are referenced in terms,\n- do not compare Sets for the fixed-point, but wait for an empty waitlist.","shortMessageHtmlLink":"rewrite and simplify a fixed-point algorithm."}},{"before":"4a1f27fb0b1569dc97c44c469889971d6088165e","after":"e0c600a74b1581388259652119bc3448a26efd6e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T23:27:04.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":"5e909160e77df1df83ce416ebde1fa270c94944c","after":"04b0a0a2b8f0a2423e44d4e3c6e00152cd404088","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T23:26:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"rewrite and simplify a fixed-point algorithm.\n\nThe new approach has several improvements:\n- only analyse those constraints that are referenced in terms,\n- do not compare Sets for the fixed-point, but wait for an empty waitlist.","shortMessageHtmlLink":"rewrite and simplify a fixed-point algorithm."}},{"before":"eda4274e185ba80534bbb4d77abff326b97dd4f7","after":"5e909160e77df1df83ce416ebde1fa270c94944c","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T23:23:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"rewrite and simplify a fixed-point algorithm.\n\nThe new approach has several improvements:\n- only analyse those constraints that are referenced in terms,\n- do not compare Sets for the fixed-point, but wait for an empty waitlist.","shortMessageHtmlLink":"rewrite and simplify a fixed-point algorithm."}},{"before":"dd1175bcd37f4cc7b0d35c6802b7cee46c1b9e4a","after":"eda4274e185ba80534bbb4d77abff326b97dd4f7","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T23:21:04.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":"fix format.","shortMessageHtmlLink":"fix format."}},{"before":"24d9591d5dbb81b21f85ab1f9598660391b4d114","after":"4a1f27fb0b1569dc97c44c469889971d6088165e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T23:19: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":"4158173fa9e6bd16632f39678b6fa3aa2620319f","after":"dd1175bcd37f4cc7b0d35c6802b7cee46c1b9e4a","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T23:14:23.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":"simplify code and improve documentation.","shortMessageHtmlLink":"simplify code and improve documentation."}},{"before":"7d0c90768dd34336d185ab6c98b566d645d651c3","after":"24d9591d5dbb81b21f85ab1f9598660391b4d114","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T22:55:14.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":"912f787dee2366bff4ab0767e9b60b94164bc970","after":"4158173fa9e6bd16632f39678b6fa3aa2620319f","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T22:51:17.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":"simplify code and improve documentation.","shortMessageHtmlLink":"simplify code and improve documentation."}},{"before":"566b0e3b4c1a1b679813fa3f11da11390dd69fb3","after":"7d0c90768dd34336d185ab6c98b566d645d651c3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T22:40:53.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":"f452b34918fcbf6faaf44b166bc04a3618f60faf","after":"912f787dee2366bff4ab0767e9b60b94164bc970","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T22:36:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"rewrite and simplify a fixed-point algorithm.\n\nThe new approach has several improvements:\n- only analyse those constraints that are referenced in terms,\n- do not compare Sets for the fixed-point, but wait for an empty waitlist.","shortMessageHtmlLink":"rewrite and simplify a fixed-point algorithm."}},{"before":"c17c4c3a8dfae2f918c882039aa78d7dcffb8bff","after":"566b0e3b4c1a1b679813fa3f11da11390dd69fb3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T14:11: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":"524cc641a3abfafceeca9f40c19e2dd870c089ee","after":"f452b34918fcbf6faaf44b166bc04a3618f60faf","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-21T13:03:14.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"daniel-raffler","name":null,"path":"/daniel-raffler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37504648?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into 371-better-performance-in-floatingpointmanagertest","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into 371-better-performa…"}},{"before":"fe403ecdab58c72b25e07314b6a3794a3904be8e","after":"c17c4c3a8dfae2f918c882039aa78d7dcffb8bff","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T11:14:57.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":"d04d25ca2649f59a14153ba1b0a313e462946301","after":null,"ref":"refs/heads/397-bitvector-rotations-not-included-in-functiondeclarationkind","pushedAt":"2024-09-21T11:11:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"}},{"before":"6ab3339c90deabe88a598a2b5a2a3acd32a717d8","after":"e697ed68971dc8aeb33fe621baafc4bd9292178d","ref":"refs/heads/master","pushedAt":"2024-09-21T11:11:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"#397: extend tests for bitvector rotation.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538640112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/397\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/397/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/397\">#397</a>: extend tests for bitvector rotation."}},{"before":"747c42f1250abe1afaa3897e67dad72fec2fdc88","after":"fe403ecdab58c72b25e07314b6a3794a3904be8e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T00:22:51.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":"54c3144749c01082a357e8088b4ba4568aa04d5f","after":"d04d25ca2649f59a14153ba1b0a313e462946301","ref":"refs/heads/397-bitvector-rotations-not-included-in-functiondeclarationkind","pushedAt":"2024-09-21T00:14:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"#397: extend tests for bitvector rotation.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538640112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/397\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/397/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/397\">#397</a>: extend tests for bitvector rotation."}},{"before":"8198721bbda065dab6a6d856909a2b6feee699ca","after":"54c3144749c01082a357e8088b4ba4568aa04d5f","ref":"refs/heads/397-bitvector-rotations-not-included-in-functiondeclarationkind","pushedAt":"2024-09-21T00:12:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"#397: extend tests for bitvector rotation.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538640112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/397\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/397/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/397\">#397</a>: extend tests for bitvector rotation."}},{"before":"256abc69c260799a129de01efce2b7397d30e06e","after":"747c42f1250abe1afaa3897e67dad72fec2fdc88","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T22:46:17.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":"06bd061595c79eb383a090c6ee239ea6c43837b8","after":"8198721bbda065dab6a6d856909a2b6feee699ca","ref":"refs/heads/397-bitvector-rotations-not-included-in-functiondeclarationkind","pushedAt":"2024-09-20T22:37:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"#397: extend tests for bitvector rotation.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538640112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/397\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sosy-lab/java-smt/issues/397/hovercard\" href=\"https://github.com/sosy-lab/java-smt/issues/397\">#397</a>: extend tests for bitvector rotation."}},{"before":"8b90c7ae397a22233da24dffa023a93ac1588247","after":"256abc69c260799a129de01efce2b7397d30e06e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T13:17:34.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":"43905a85757a66ea194c839c2095acb9d3e043c9","after":"524cc641a3abfafceeca9f40c19e2dd870c089ee","ref":"refs/heads/371-better-performance-in-floatingpointmanagertest","pushedAt":"2024-09-20T13:11:35.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":"Changed order of arguments for proveForAll in FloatingPointFormulaManagerTest","shortMessageHtmlLink":"Changed order of arguments for proveForAll in FloatingPointFormulaMan…"}},{"before":"b223908a43f49ea787f5aa5a4a56c6bf1ced8753","after":"8b90c7ae397a22233da24dffa023a93ac1588247","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T12:24:24.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":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxMToxNTo0My4wMDAwMDBazwAAAAS9I6Fs","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxMToxNTo0My4wMDAwMDBazwAAAAS9I6Fs","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMjoyNDoyNC4wMDAwMDBazwAAAAS77pr6"}},"title":"Activity · sosy-lab/java-smt"}