{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":134006909,"defaultBranch":"master","name":"boolector","ownerLogin":"Boolector","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-18T21:44:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31357122?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1694466900.0","currentOid":""},"activityList":{"items":[{"before":"cc13f371c0c5093d98638ddd213dc835ef3aadf3","after":"6603ed7b8d401f9bf387f32c702e3e938c50924d","ref":"refs/heads/master","pushedAt":"2024-03-05T21:26:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Add ifdef guards for successful compile to wasm. (#219)\n\nSigned-off-by: William D. Jones <thor0505@comcast.net>","shortMessageHtmlLink":"Add ifdef guards for successful compile to wasm. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2091837866\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Boolector/boolector/issues/219\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Boolector/boolector/pull/219/hovercard\" href=\"https://github.com/Boolector/boolector/pull/219\">#219</a>)"}},{"before":"97698b06a5de1a4e5743c034c867d384630dc936","after":"cc13f371c0c5093d98638ddd213dc835ef3aadf3","ref":"refs/heads/master","pushedAt":"2024-02-15T22:48:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Update unit tests to C++14 (#217)\n\nThe minimum required standard since GTest 1.13.0 (released Jan. 2023) is C++14.\r\n\r\nSigned-off-by: Áron Ricardo Perez-Lopez <arpl@cs.stanford.edu>","shortMessageHtmlLink":"Update unit tests to C++14 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1994124623\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Boolector/boolector/issues/217\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Boolector/boolector/pull/217/hovercard\" href=\"https://github.com/Boolector/boolector/pull/217\">#217</a>)"}},{"before":"813fe372fe6f22f18469cba119dee9c638bf7972","after":"97698b06a5de1a4e5743c034c867d384630dc936","ref":"refs/heads/master","pushedAt":"2023-11-06T22:54:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"pypi: Increase timeout for PyPi_Linux_ppc64le job.","shortMessageHtmlLink":"pypi: Increase timeout for PyPi_Linux_ppc64le job."}},{"before":"be1f827e911666934e8b84479673a7c5d9dda2eb","after":"813fe372fe6f22f18469cba119dee9c638bf7972","ref":"refs/heads/master","pushedAt":"2023-11-01T16:28:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Build 'universal' binary wheels on macOS (#213)\n\nThe CI macOS machines are x86_64 architecture, but still support creating 'universal' binaries that will run on both x86_64 and arm64 architecture.\r\nThis PR:\r\n\r\n    Adds macOS-specific patches for btor2tools, cadical, and lingeling to produce universal-binary libraries, following the recipe from the libgmp forum\r\n    Changes CI for macOS to configure Boolector to produce universal binaries\r\n\r\nThe bulk of the changes are to add patch files to enable adding the '-arch' option to builds for the contrib projects, and updates to the scripts to build for both architectures and combine the resulting libraries to produce a universal library.\r\n\r\nSigned-off-by: Matthew Ballance <matt.ballance@gmail.com>","shortMessageHtmlLink":"Build 'universal' binary wheels on macOS (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1891420444\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Boolector/boolector/issues/213\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Boolector/boolector/pull/213/hovercard\" href=\"https://github.com/Boolector/boolector/pull/213\">#213</a>)"}},{"before":"73be57a310785e298cc454198c9d31e44c86c193","after":"be1f827e911666934e8b84479673a7c5d9dda2eb","ref":"refs/heads/master","pushedAt":"2023-09-13T16:38:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"contrib: Update Btor2Tools to most recent version.\n\nMakes the Btor2Tools Windows patch obsolete.","shortMessageHtmlLink":"contrib: Update Btor2Tools to most recent version."}},{"before":"0884f3ef0a8f47fa98e3df36e8466916584c8302","after":"73be57a310785e298cc454198c9d31e44c86c193","ref":"refs/heads/master","pushedAt":"2023-09-11T21:16:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Added brew install command to README (#208)\n\nSigned-off-by: RexYuan <r1218r1218@gmail.com>","shortMessageHtmlLink":"Added brew install command to README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1728035007\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Boolector/boolector/issues/208\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Boolector/boolector/pull/208/hovercard\" href=\"https://github.com/Boolector/boolector/pull/208\">#208</a>)"}},{"before":"66bf7518c3360d2d2fc0af4cda8254291bdb7350","after":"0884f3ef0a8f47fa98e3df36e8466916584c8302","ref":"refs/heads/master","pushedAt":"2023-09-11T21:14:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Bump version number to 3.2.3.","shortMessageHtmlLink":"Bump version number to 3.2.3."}},{"before":"e0d90c131b64559e9eeca7b115e50c0368ba2bdc","after":"66bf7518c3360d2d2fc0af4cda8254291bdb7350","ref":"refs/heads/master","pushedAt":"2023-09-11T17:22:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"pypi: Fix version.","shortMessageHtmlLink":"pypi: Fix version."}},{"before":"13a8a06d561041cafcaf5458e404c1ec354b2841","after":"e0d90c131b64559e9eeca7b115e50c0368ba2bdc","ref":"refs/heads/master","pushedAt":"2023-09-11T16:30:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Update Python versions supported with binary wheel builds (#211)\n\nThis pull request adds Python 3.11 and 3.12 to the list that Boolector builds as binary wheels. The Docker image used to build the wheels on Linux was also updated.\r\nDue to a change with new versions of DistUtils (yaml/pyyaml#601), the binary-wheel setup.py was substantially simplified.\r\n\r\nSigned-off-by: Matthew Ballance <matt.ballance@gmail.com>","shortMessageHtmlLink":"Update Python versions supported with binary wheel builds (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1878899135\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Boolector/boolector/issues/211\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Boolector/boolector/pull/211/hovercard\" href=\"https://github.com/Boolector/boolector/pull/211\">#211</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEDU1wxAA","startCursor":null,"endCursor":null}},"title":"Activity · Boolector/boolector"}