{"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:1717076710.0","currentOid":""},"activityList":{"items":[{"before":"dca4e0b98274adbd28737b258a9fb77e39f04df8","after":"2f1abb30b44ed78fc33b078be47faf0acd381f91","ref":"refs/heads/gh-pages","pushedAt":"2024-06-02T02:06:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"2e96be3ac3fd498c65ec3433ae36e6ae75875438","after":"dca4e0b98274adbd28737b258a9fb77e39f04df8","ref":"refs/heads/gh-pages","pushedAt":"2024-06-01T13:12:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"7dbdd2d78d56baeb684b9f677671176fd09ec7f7","after":"effd7328f6f6da15232fa0e5bd370fe310945ca7","ref":"refs/heads/master","pushedAt":"2024-06-01T13:08:40.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":"Yices2: update Yices bindings.","shortMessageHtmlLink":"Yices2: update Yices bindings."}},{"before":"861145c753131ab1c94a63e49c6b28ed47b8e2a4","after":"2e96be3ac3fd498c65ec3433ae36e6ae75875438","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T23:21:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"45da8e008d08e196786f734f5ef254e355a76f22","after":"7dbdd2d78d56baeb684b9f677671176fd09ec7f7","ref":"refs/heads/master","pushedAt":"2024-05-31T23:14:55.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":"CVC4: fix access to boolean constants.\n\nIn some formulas, we checked integer- or bv-formulas for constants.\nThis crashed the application.\nTest added.","shortMessageHtmlLink":"CVC4: fix access to boolean constants."}},{"before":"6cf8b370aa047c8cb7c42e3afb52c9e09bb28fe8","after":"861145c753131ab1c94a63e49c6b28ed47b8e2a4","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T21:24:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"f4d70b4e32cfab46a597687238696ca32743a432","after":"45da8e008d08e196786f734f5ef254e355a76f22","ref":"refs/heads/master","pushedAt":"2024-05-31T21:21:51.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":"OpenSMT: fix swapped mapping for FunctionDeclarationKinds.","shortMessageHtmlLink":"OpenSMT: fix swapped mapping for FunctionDeclarationKinds."}},{"before":"2486486cea207ed90f2dc22268033ea6aac89e86","after":"6cf8b370aa047c8cb7c42e3afb52c9e09bb28fe8","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T19:27:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"fbb8df1266e41cbe8ad300f2c66026b378abe3c9","after":"f4d70b4e32cfab46a597687238696ca32743a432","ref":"refs/heads/master","pushedAt":"2024-05-31T19:24:41.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":"Z3: add more mappings of function-kinds.","shortMessageHtmlLink":"Z3: add more mappings of function-kinds."}},{"before":"a0d2e86316b69f898ea68859b527c129d4bd931f","after":"2486486cea207ed90f2dc22268033ea6aac89e86","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T17:52:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"7165b251f4d78a0c551f4878d3e37d7495da036d","after":"fbb8df1266e41cbe8ad300f2c66026b378abe3c9","ref":"refs/heads/master","pushedAt":"2024-05-30T17:49: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":"Bitwuzla: publish library into Maven repository.","shortMessageHtmlLink":"Bitwuzla: publish library into Maven repository."}},{"before":"358af40ab9ac667107f5c00874cf192c04e363dd","after":"a0d2e86316b69f898ea68859b527c129d4bd931f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T13:50:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"735216b07431e2ff776da859d70b03ff6e7019e6","after":null,"ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T13:45:10.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":"b47317060da8cc079e8c1b73a0cfa4a251a042d9","after":"7165b251f4d78a0c551f4878d3e37d7495da036d","ref":"refs/heads/master","pushedAt":"2024-05-30T13:45:07.000Z","pushType":"pr_merge","commitsCount":21,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"Merge pull request #378 from sosy-lab/377/improve-bitwuzla-build-scripts\n\n#377: improve bitwuzla build scripts and documentation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318732027\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sosy-lab/java-smt/issues/378\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sosy-lab/java-smt/pull/378/hovercard\" href=\"https://github.com/sosy-lab/java-smt/pull/378\">#378</a> from sosy-lab/377/improve-bitwuzla-build-scripts"}},{"before":"ecd3cec630b088bd5a6ad56736c925e640a9bc92","after":"358af40ab9ac667107f5c00874cf192c04e363dd","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T11:56:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"91693d4722d1e87bf53f5564e4788f01f6c7954c","after":"735216b07431e2ff776da859d70b03ff6e7019e6","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T11:52: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":"update documentation.","shortMessageHtmlLink":"update documentation."}},{"before":"604b69f61fa45ccda10a1d219077f59eaaada309","after":"ecd3cec630b088bd5a6ad56736c925e640a9bc92","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T11:14:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"d961dda52b087b4c471ab7bce7490297077ed6ef","after":"604b69f61fa45ccda10a1d219077f59eaaada309","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T11:06:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"405a150e5e2a19c11979cbe15275ce71a36f6c28","after":"91693d4722d1e87bf53f5564e4788f01f6c7954c","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T11:04:06.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":"fix formatting.","shortMessageHtmlLink":"fix formatting."}},{"before":"8541783dbd33359c69014b8070e9dbeee54493fb","after":"d961dda52b087b4c471ab7bce7490297077ed6ef","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T10:58:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"699a32fccd0e06ae1dd4e5b874d983decab6dabf","after":"405a150e5e2a19c11979cbe15275ce71a36f6c28","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T10:58:15.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"kfriedberger","name":"Karlheinz Friedberger","path":"/kfriedberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10998542?s=80&v=4"},"commit":{"message":"Bitwuzla: update to latest version 0.4.0-g4dbf3b1f.\n\nThe published Bitwuzla library is shipped with an all-inclusive Windows-DLL,\nand also the shared library for Linux.","shortMessageHtmlLink":"Bitwuzla: update to latest version 0.4.0-g4dbf3b1f."}},{"before":"9bc81675fc21e1187f4560189e51f3d2f8537603","after":"699a32fccd0e06ae1dd4e5b874d983decab6dabf","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T10:54:51.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":"update documentation for Windows-DLLs.","shortMessageHtmlLink":"update documentation for Windows-DLLs."}},{"before":"a1f8dff8f0e31ca53df97071557f4f6cac3e741b","after":"8541783dbd33359c69014b8070e9dbeee54493fb","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T10:50:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"c8aad5de2d09e7c4b1b0ca25661943be40a15965","after":"9bc81675fc21e1187f4560189e51f3d2f8537603","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-30T10:45:14.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":"fix typos.","shortMessageHtmlLink":"fix typos."}},{"before":"e3e38c150e65749bfc3866ec99607e40393debe6","after":"a1f8dff8f0e31ca53df97071557f4f6cac3e741b","ref":"refs/heads/gh-pages","pushedAt":"2024-05-27T10:41:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"cb6f6894fc73a7f2983214649e6fc3e2729da477","after":"c8aad5de2d09e7c4b1b0ca25661943be40a15965","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-27T10:38: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":"Bitwuzla: update test with new library-name and dependency versions.","shortMessageHtmlLink":"Bitwuzla: update test with new library-name and dependency versions."}},{"before":"77e8cf1e878e758676449df8b012a48e4417e639","after":"e3e38c150e65749bfc3866ec99607e40393debe6","ref":"refs/heads/gh-pages","pushedAt":"2024-05-27T10:22:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"76627771f90ba4912e352b3d284b87729799a006","after":"cb6f6894fc73a7f2983214649e6fc3e2729da477","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-27T10:15:00.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":"Bitwuzla: update test with new library-name and dependency versions.","shortMessageHtmlLink":"Bitwuzla: update test with new library-name and dependency versions."}},{"before":"19d9e4377ac10697bc8ed96325abf1ca1b2175a3","after":"77e8cf1e878e758676449df8b012a48e4417e639","ref":"refs/heads/gh-pages","pushedAt":"2024-05-27T10:06:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PhilippWendler","name":"Philipp Wendler","path":"/PhilippWendler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545335?s=80&v=4"},"commit":{"message":"Deploy to GitHub Pages","shortMessageHtmlLink":"Deploy to GitHub Pages"}},{"before":"b265360489d2ff4b78fecf835f24f65bb51c2109","after":"76627771f90ba4912e352b3d284b87729799a006","ref":"refs/heads/377/improve-bitwuzla-build-scripts","pushedAt":"2024-05-27T10:01:50.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":"Bitwuzla: update native-api test with new library-name.","shortMessageHtmlLink":"Bitwuzla: update native-api test with new library-name."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWfmweAA","startCursor":null,"endCursor":null}},"title":"Activity · sosy-lab/java-smt"}