{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":22478354,"defaultBranch":"master","name":"rosette","ownerLogin":"emina","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-31T17:29:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/860640?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718668427.0","currentOid":""},"activityList":{"items":[{"before":"0a954045e5e53c6c579ef3b1778b5309b25ef4bb","after":null,"ref":"refs/heads/dependabot/github_actions/docker/build-push-action-6","pushedAt":"2024-06-17T23:53:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"bb0dec0e7436a488cc0f97cb5d24c386365d682c","after":"cf703c60e2164fda5ea5e943fb59955cd61e749d","ref":"refs/heads/master","pushedAt":"2024-06-17T23:53:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump docker/build-push-action from 5 to 6\n\nBumps [docker/build-push-action](https://github.com/docker/build-push-action) from 5 to 6.\n- [Release notes](https://github.com/docker/build-push-action/releases)\n- [Commits](https://github.com/docker/build-push-action/compare/v5...v6)\n\n---\nupdated-dependencies:\n- dependency-name: docker/build-push-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/build-push-action from 5 to 6"}},{"before":"a32f5ec8678f1872a0feafbb82484c41bd678b33","after":"0a954045e5e53c6c579ef3b1778b5309b25ef4bb","ref":"refs/heads/dependabot/github_actions/docker/build-push-action-6","pushedAt":"2024-06-17T22:18:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/build-push-action from 5 to 6\n\nBumps [docker/build-push-action](https://github.com/docker/build-push-action) from 5 to 6.\n- [Release notes](https://github.com/docker/build-push-action/releases)\n- [Commits](https://github.com/docker/build-push-action/compare/v5...v6)\n\n---\nupdated-dependencies:\n- dependency-name: docker/build-push-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/build-push-action from 5 to 6"}},{"before":"edf682df5e70420fcb31f71a5791c17875655bd2","after":"bb0dec0e7436a488cc0f97cb5d24c386365d682c","ref":"refs/heads/master","pushedAt":"2024-06-17T22:17:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Attempt STP fix","shortMessageHtmlLink":"Attempt STP fix"}},{"before":null,"after":"a32f5ec8678f1872a0feafbb82484c41bd678b33","ref":"refs/heads/dependabot/github_actions/docker/build-push-action-6","pushedAt":"2024-06-17T13:13:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/build-push-action from 5 to 6\n\nBumps [docker/build-push-action](https://github.com/docker/build-push-action) from 5 to 6.\n- [Release notes](https://github.com/docker/build-push-action/releases)\n- [Commits](https://github.com/docker/build-push-action/compare/v5...v6)\n\n---\nupdated-dependencies:\n- dependency-name: docker/build-push-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/build-push-action from 5 to 6"}},{"before":"63524aa7fe03990ccdd6be7de38504422b05c5a9","after":"edf682df5e70420fcb31f71a5791c17875655bd2","ref":"refs/heads/master","pushedAt":"2023-12-14T21:43:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Add support for STP and Yices2 (#273)\n\nAlso add documentation for Bitwuzla and cvc5\r\n\r\n---------\r\n\r\nCo-authored-by: Vishal Canumalla <vishalc@cs.washington.edu>","shortMessageHtmlLink":"Add support for STP and Yices2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2040074542\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/273\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/273/hovercard\" href=\"https://github.com/emina/rosette/pull/273\">#273</a>)"}},{"before":"7f68df1fc6b74b2355e1fc4c5c34e4a15a4a6980","after":null,"ref":"refs/heads/dependabot/github_actions/Bogdanp/setup-racket-1.11","pushedAt":"2023-10-30T10:13:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"2f183fd2f04e750516e62ea321bffbf41a5cc002","after":"63524aa7fe03990ccdd6be7de38504422b05c5a9","ref":"refs/heads/master","pushedAt":"2023-10-30T10:13:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump Bogdanp/setup-racket from 1.10 to 1.11 (#269)\n\nBumps [Bogdanp/setup-racket](https://github.com/bogdanp/setup-racket) from 1.10 to 1.11.\r\n- [Release notes](https://github.com/bogdanp/setup-racket/releases)\r\n- [Commits](https://github.com/bogdanp/setup-racket/compare/v1.10...v1.11)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: Bogdanp/setup-racket\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-minor\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump Bogdanp/setup-racket from 1.10 to 1.11 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1961486502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/269\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/269/hovercard\" href=\"https://github.com/emina/rosette/pull/269\">#269</a>)"}},{"before":null,"after":"7f68df1fc6b74b2355e1fc4c5c34e4a15a4a6980","ref":"refs/heads/dependabot/github_actions/Bogdanp/setup-racket-1.11","pushedAt":"2023-10-25T13:53:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump Bogdanp/setup-racket from 1.10 to 1.11\n\nBumps [Bogdanp/setup-racket](https://github.com/bogdanp/setup-racket) from 1.10 to 1.11.\n- [Release notes](https://github.com/bogdanp/setup-racket/releases)\n- [Commits](https://github.com/bogdanp/setup-racket/compare/v1.10...v1.11)\n\n---\nupdated-dependencies:\n- dependency-name: Bogdanp/setup-racket\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump Bogdanp/setup-racket from 1.10 to 1.11"}},{"before":"25e56b603d6ebbf20f45eaa9a0eb865b488bff53","after":null,"ref":"refs/heads/dependabot/github_actions/docker/build-push-action-5","pushedAt":"2023-09-14T02:27:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"ad417cc92816e8b3412eef0f45b31beaab51deee","after":"2f183fd2f04e750516e62ea321bffbf41a5cc002","ref":"refs/heads/master","pushedAt":"2023-09-14T02:27:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump docker/build-push-action from 4 to 5 (#266)\n\nBumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4 to 5.\r\n- [Release notes](https://github.com/docker/build-push-action/releases)\r\n- [Commits](https://github.com/docker/build-push-action/compare/v4...v5)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: docker/build-push-action\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump docker/build-push-action from 4 to 5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1892532001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/266\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/266/hovercard\" href=\"https://github.com/emina/rosette/pull/266\">#266</a>)"}},{"before":"3b3f34f4435f17a8a11de6a232657fe200d57908","after":null,"ref":"refs/heads/dependabot/github_actions/docker/metadata-action-5","pushedAt":"2023-09-14T02:27:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"b6e0ea375ebbfa8c7f2aaa5de1b3c0c64ad3bb1b","after":"ad417cc92816e8b3412eef0f45b31beaab51deee","ref":"refs/heads/master","pushedAt":"2023-09-14T02:27:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump docker/metadata-action from 4 to 5 (#265)\n\nBumps [docker/metadata-action](https://github.com/docker/metadata-action) from 4 to 5.\r\n- [Release notes](https://github.com/docker/metadata-action/releases)\r\n- [Upgrade guide](https://github.com/docker/metadata-action/blob/master/UPGRADE.md)\r\n- [Commits](https://github.com/docker/metadata-action/compare/v4...v5)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: docker/metadata-action\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump docker/metadata-action from 4 to 5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1892531880\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/265\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/265/hovercard\" href=\"https://github.com/emina/rosette/pull/265\">#265</a>)"}},{"before":"b190443cee415e428fe4af6e4d418627a34aa14d","after":null,"ref":"refs/heads/dependabot/github_actions/docker/login-action-3","pushedAt":"2023-09-14T02:27:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"fd38ca31ca6c220fabcad34efb20b7a1b779f869","after":"b6e0ea375ebbfa8c7f2aaa5de1b3c0c64ad3bb1b","ref":"refs/heads/master","pushedAt":"2023-09-14T02:27:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump docker/login-action from 2 to 3 (#264)\n\nBumps [docker/login-action](https://github.com/docker/login-action) from 2 to 3.\r\n- [Release notes](https://github.com/docker/login-action/releases)\r\n- [Commits](https://github.com/docker/login-action/compare/v2...v3)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: docker/login-action\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump docker/login-action from 2 to 3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1892531781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/264\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/264/hovercard\" href=\"https://github.com/emina/rosette/pull/264\">#264</a>)"}},{"before":"f89383328e6cb8e9516153a8ac1a43485a26c3eb","after":null,"ref":"refs/heads/dependabot/github_actions/docker/setup-buildx-action-3","pushedAt":"2023-09-14T02:27:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"b3f792a3b456b398770b2266e507234c6e8daa11","after":"fd38ca31ca6c220fabcad34efb20b7a1b779f869","ref":"refs/heads/master","pushedAt":"2023-09-14T02:27:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump docker/setup-buildx-action from 2 to 3 (#263)\n\nBumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2 to 3.\r\n- [Release notes](https://github.com/docker/setup-buildx-action/releases)\r\n- [Commits](https://github.com/docker/setup-buildx-action/compare/v2...v3)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: docker/setup-buildx-action\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump docker/setup-buildx-action from 2 to 3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1892531668\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/263\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/263/hovercard\" href=\"https://github.com/emina/rosette/pull/263\">#263</a>)"}},{"before":"6096abafacb84e7a67abea0bbc4731ca86db4d81","after":"b3f792a3b456b398770b2266e507234c6e8daa11","ref":"refs/heads/master","pushedAt":"2023-09-14T01:38:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Add support for Bitwuzla and CVC5 (#260)\n\nNote: I've only enabled QF_BV for both solvers, as this is all I need at the moment. If you want to enable new solvers, you can just add new entries to the solver-features list in each file. This will likely involve having to fix tests as well.","shortMessageHtmlLink":"Add support for Bitwuzla and CVC5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1825669774\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/260\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/260/hovercard\" href=\"https://github.com/emina/rosette/pull/260\">#260</a>)"}},{"before":null,"after":"25e56b603d6ebbf20f45eaa9a0eb865b488bff53","ref":"refs/heads/dependabot/github_actions/docker/build-push-action-5","pushedAt":"2023-09-12T13:30:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/build-push-action from 4 to 5\n\nBumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4 to 5.\n- [Release notes](https://github.com/docker/build-push-action/releases)\n- [Commits](https://github.com/docker/build-push-action/compare/v4...v5)\n\n---\nupdated-dependencies:\n- dependency-name: docker/build-push-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/build-push-action from 4 to 5"}},{"before":null,"after":"3b3f34f4435f17a8a11de6a232657fe200d57908","ref":"refs/heads/dependabot/github_actions/docker/metadata-action-5","pushedAt":"2023-09-12T13:30:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/metadata-action from 4 to 5\n\nBumps [docker/metadata-action](https://github.com/docker/metadata-action) from 4 to 5.\n- [Release notes](https://github.com/docker/metadata-action/releases)\n- [Upgrade guide](https://github.com/docker/metadata-action/blob/master/UPGRADE.md)\n- [Commits](https://github.com/docker/metadata-action/compare/v4...v5)\n\n---\nupdated-dependencies:\n- dependency-name: docker/metadata-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/metadata-action from 4 to 5"}},{"before":null,"after":"b190443cee415e428fe4af6e4d418627a34aa14d","ref":"refs/heads/dependabot/github_actions/docker/login-action-3","pushedAt":"2023-09-12T13:30:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/login-action from 2 to 3\n\nBumps [docker/login-action](https://github.com/docker/login-action) from 2 to 3.\n- [Release notes](https://github.com/docker/login-action/releases)\n- [Commits](https://github.com/docker/login-action/compare/v2...v3)\n\n---\nupdated-dependencies:\n- dependency-name: docker/login-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/login-action from 2 to 3"}},{"before":null,"after":"f89383328e6cb8e9516153a8ac1a43485a26c3eb","ref":"refs/heads/dependabot/github_actions/docker/setup-buildx-action-3","pushedAt":"2023-09-12T13:29:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump docker/setup-buildx-action from 2 to 3\n\nBumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2 to 3.\n- [Release notes](https://github.com/docker/setup-buildx-action/releases)\n- [Commits](https://github.com/docker/setup-buildx-action/compare/v2...v3)\n\n---\nupdated-dependencies:\n- dependency-name: docker/setup-buildx-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump docker/setup-buildx-action from 2 to 3"}},{"before":"0310763075591e268f021b1a18e80d665ba28cbc","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2023-09-07T05:00:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"}},{"before":"5dd348906d8bafacef6354c2e5e75a67be0bec66","after":"6096abafacb84e7a67abea0bbc4731ca86db4d81","ref":"refs/heads/master","pushedAt":"2023-09-07T05:00:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sorawee","name":null,"path":"/sorawee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9099577?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":null,"after":"0310763075591e268f021b1a18e80d665ba28cbc","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2023-09-04T13:25:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":"649184faf1733239f19a843f7c44bb0f068bce5b","after":"5dd348906d8bafacef6354c2e5e75a67be0bec66","ref":"refs/heads/master","pushedAt":"2023-08-11T01:38:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"emina","name":"Emina Torlak","path":"/emina","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/860640?s=80&v=4"},"commit":{"message":"avoid quadratic time processing in solver-(assert,min/maximize) (#261)\n\n* avoid quadratic time processing in solver-(assert,min/maximize)\r\n\r\nThe time complexity of n calls to solver-assert / solver-minimize /\r\nsolver-maximize is currently O(n^2) due to list appending at the tail,\r\nwhich requires traversal. This PR fixes the problem. The ordering of\r\nsolver-minimize and solver-maximize matters, however\r\n(it specifies the lexicographic ordering minimization),\r\nso rearranging them is slightly more complicated.\r\n\r\n* Add an optimization order test\r\n\r\n* Clear the solver","shortMessageHtmlLink":"avoid quadratic time processing in solver-(assert,min/maximize) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1842288083\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/261\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/261/hovercard\" href=\"https://github.com/emina/rosette/pull/261\">#261</a>)"}},{"before":"0bcab219cd013766778b1a2e573c6e7cd273bd51","after":"7ca02507b03679f646c0cf96844defd13837c9d1","ref":"refs/heads/gh-pages","pushedAt":"2023-07-04T20:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emina","name":"Emina Torlak","path":"/emina","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/860640?s=80&v=4"},"commit":{"message":"Update papers.","shortMessageHtmlLink":"Update papers."}},{"before":"15647f24b4b942e5eaae19a8ec0fcd272ce7504f","after":"649184faf1733239f19a843f7c44bb0f068bce5b","ref":"refs/heads/master","pushedAt":"2023-07-04T20:38:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emina","name":"Emina Torlak","path":"/emina","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/860640?s=80&v=4"},"commit":{"message":"Update docs.","shortMessageHtmlLink":"Update docs."}},{"before":"6d41d0e2fc1221a40642e0953966349d6e0804ab","after":"15647f24b4b942e5eaae19a8ec0fcd272ce7504f","ref":"refs/heads/master","pushedAt":"2023-04-09T22:50:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"emina","name":"Emina Torlak","path":"/emina","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/860640?s=80&v=4"},"commit":{"message":"Install a custom Z3 build on Apple Silicon Macs (#254)\n\n* Revert #145\r\n\r\nThe fix was shipped in Racket v7.7, and our minimum version is now v8.1,\r\nso there's no longer a need for this.\r\n\r\n* Install a custom Z3 build on Apple Silicon Macs\r\n\r\nThe Z3 version we use predates aarch64 Macs, so there's no pre-packaged\r\nrelease available. The x86 version of Z3 works if the user has Rosetta\r\ninstalled, but there's no obvious way to detect that, and it fails in\r\nweird/silent ways if Rosetta isn't available.\r\n\r\nSo instead, let's install a custom Z3 4.8.8 aarch64 build in this case.\r\nWe can remove it whenever we go past Z3 4.8.16, which is when they\r\nstarted releasing an aarch64 Mac binary. In the meantime, this makes\r\ninstallation more obvious for users on Apple Silicon Macs.","shortMessageHtmlLink":"Install a custom Z3 build on Apple Silicon Macs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1660016476\" data-permission-text=\"Title is private\" data-url=\"https://github.com/emina/rosette/issues/254\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/emina/rosette/pull/254/hovercard\" href=\"https://github.com/emina/rosette/pull/254\">#254</a>)"}},{"before":"2542f2a80c5f6ba526ab1a9ed4f8ea9106ad6ed0","after":null,"ref":"refs/heads/dependabot/github_actions/Bogdanp/setup-racket-1.10","pushedAt":"2023-03-16T19:15:32.768Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jamesbornholt","name":"James Bornholt","path":"/jamesbornholt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/807483?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xN1QyMzo1Mzo0Ny4wMDAwMDBazwAAAARn5AD9","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0xNlQxOToxNTozMi43NjgzODVazwAAAAMFJHUC"}},"title":"Activity · emina/rosette"}