{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":124417205,"defaultBranch":"master","name":"z3.rs","ownerLogin":"prove-rs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-03-08T16:19:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38518140?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716969269.0","currentOid":""},"activityList":{"items":[{"before":"1252af7d6f4710214c45cd08e95f9cf9a7d06637","after":"14d5befbee1aef6ea2e01dba0f424f41e65c8510","ref":"refs/heads/master","pushedAt":"2024-05-31T07:10:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Support for more regular expression operations (#275)\n\n* Add new regexp operations\r\n\r\n* Z3_mk_re_option typo?\r\n\r\n* Attempt at testing Regexp\r\n\r\n* Use from_str instead of new_const","shortMessageHtmlLink":"Support for more regular expression operations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2003037606\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/275\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/275/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/275\">#275</a>)"}},{"before":"d134bb3e492be4322cc9709af7f9480cc45f6762","after":"1252af7d6f4710214c45cd08e95f9cf9a7d06637","ref":"refs/heads/master","pushedAt":"2024-05-29T08:18:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Expose underlying Z3_context and Z3_sort (#298)\n\nCloses #290","shortMessageHtmlLink":"Expose underlying Z3_context and Z3_sort (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2322559960\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/298\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/298/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/298\">#298</a>)"}},{"before":"105e4f09746d2c4f71e4d655caee2de9f8015c24","after":null,"ref":"refs/heads/update-bundled-z3","pushedAt":"2024-05-29T07:54:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}},{"before":"cb7b79a61433673a5e6b07559cc661a97b5a84cf","after":"d134bb3e492be4322cc9709af7f9480cc45f6762","ref":"refs/heads/master","pushedAt":"2024-05-29T07:54:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Merge pull request #279 from prove-rs/update-bundled-z3\n\nUpdate bundled Z3 to z3 4.12.3.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2026585484\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/279\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/279/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/279\">#279</a> from prove-rs/update-bundled-z3"}},{"before":"57e0adced3031c3d985dc0e90c58dc6466885e26","after":"105e4f09746d2c4f71e4d655caee2de9f8015c24","ref":"refs/heads/update-bundled-z3","pushedAt":"2024-05-29T07:15:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Fix windows debug builds (#295)\n\nThis fixes an issue when using a more recent set of cmake policies\nwith linking debug builds on Windows.","shortMessageHtmlLink":"Fix windows debug builds (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321797517\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/295\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/295/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/295\">#295</a>)"}},{"before":"08fc2bcff7f8176dc88c00e860da166280760ecc","after":null,"ref":"refs/heads/use-slightly-older-emscripten","pushedAt":"2024-05-29T07:10:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}},{"before":"aa58ed246d1183e4417b8ff583c69ea926bce54b","after":"cb7b79a61433673a5e6b07559cc661a97b5a84cf","ref":"refs/heads/master","pushedAt":"2024-05-29T07:10:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: Use slightly older emscripten for now (#297)\n\nAn update to emscripten brought a newer compiler and that found\r\na longstanding bug in Z3 that broke compilation.\r\n\r\nFor now, use a slightly older version until a new version of\r\nZ3 (after 4.13.0) is released with the fix.\r\n\r\nSee https://github.com/Z3Prover/z3/pull/7235 for the Z3 fix.","shortMessageHtmlLink":"ci: Use slightly older emscripten for now (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2322443722\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/297\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/297/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/297\">#297</a>)"}},{"before":null,"after":"08fc2bcff7f8176dc88c00e860da166280760ecc","ref":"refs/heads/use-slightly-older-emscripten","pushedAt":"2024-05-29T06:11:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: Use slightly older emscripten for now\n\nAn update to emscripten brought a newer compiler and that found\na longstanding bug in Z3 that broke compilation.\n\nFor now, use a slightly older version until a new version of\nZ3 (after 4.13.0) is released with the fix.\n\nSee https://github.com/Z3Prover/z3/pull/7235 for the Z3 fix.","shortMessageHtmlLink":"ci: Use slightly older emscripten for now"}},{"before":"7962980092a196e0728e46f850a6aeedbaed6100","after":null,"ref":"refs/heads/update-actions","pushedAt":"2024-05-29T05:12:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}},{"before":"4d8a36ffc964f9ed72e43ab4c17e26a2c8821783","after":"aa58ed246d1183e4417b8ff583c69ea926bce54b","ref":"refs/heads/master","pushedAt":"2024-05-29T05:12:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: Update vcpkg and install-llvm actions (#296)","shortMessageHtmlLink":"ci: Update vcpkg and install-llvm actions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2322300509\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/296\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/296/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/296\">#296</a>)"}},{"before":null,"after":"7962980092a196e0728e46f850a6aeedbaed6100","ref":"refs/heads/update-actions","pushedAt":"2024-05-29T03:57:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: Update vcpkg and install-llvm actions","shortMessageHtmlLink":"ci: Update vcpkg and install-llvm actions"}},{"before":"8d1870f4b276f1d901176c4c6d56d9574759c845","after":"57e0adced3031c3d985dc0e90c58dc6466885e26","ref":"refs/heads/update-bundled-z3","pushedAt":"2024-05-29T02:37:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Update bundled z3 (fix windows debug builds) (#295)\n\n* Update build.rs\r\n\r\n* Update build.rs\r\n\r\n* Update build.rs","shortMessageHtmlLink":"Update bundled z3 (fix windows debug builds) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321797517\" data-permission-text=\"Title is private\" data-url=\"https://github.com/prove-rs/z3.rs/issues/295\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/prove-rs/z3.rs/pull/295/hovercard\" href=\"https://github.com/prove-rs/z3.rs/pull/295\">#295</a>)"}},{"before":"19710337ae280c06bc4da912c6745291e3078109","after":"4d8a36ffc964f9ed72e43ab4c17e26a2c8821783","ref":"refs/heads/master","pushedAt":"2024-05-27T00:18:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"z3-sys: Improve markdown formatting.","shortMessageHtmlLink":"z3-sys: Improve markdown formatting."}},{"before":"6dbccddced411499a80c9d0bd36a414678266743","after":"8d1870f4b276f1d901176c4c6d56d9574759c845","ref":"refs/heads/update-bundled-z3","pushedAt":"2024-05-18T03:27:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Update bundled Z3 to z3 4.13.0.","shortMessageHtmlLink":"Update bundled Z3 to z3 4.13.0."}},{"before":"861d18d22422d84e2cb957090e44ced5da50b4cb","after":null,"ref":"refs/heads/fix-macos-vcpkg-build","pushedAt":"2024-05-18T03:10:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}},{"before":"8209e9590074fede12a8f95f120840df30f338c6","after":"19710337ae280c06bc4da912c6745291e3078109","ref":"refs/heads/master","pushedAt":"2024-05-18T03:10:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: macos-latest is Apple Silicon, use correct vcpkg triple.","shortMessageHtmlLink":"ci: macos-latest is Apple Silicon, use correct vcpkg triple."}},{"before":null,"after":"861d18d22422d84e2cb957090e44ced5da50b4cb","ref":"refs/heads/fix-macos-vcpkg-build","pushedAt":"2024-05-17T22:58:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"ci: macos-latest is Apple Silicon, use correct vcpkg triple.","shortMessageHtmlLink":"ci: macos-latest is Apple Silicon, use correct vcpkg triple."}},{"before":"a1d64580fe9f417fee5d48a901a31b44728af8fb","after":"8209e9590074fede12a8f95f120840df30f338c6","ref":"refs/heads/master","pushedAt":"2024-05-17T19:17:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"clippy: Fix `doc_markdown` lint.","shortMessageHtmlLink":"clippy: Fix <code>doc_markdown</code> lint."}},{"before":"182a6a8cdf23fcbb8112bc85648d9c0ab87e9c9f","after":"a1d64580fe9f417fee5d48a901a31b44728af8fb","ref":"refs/heads/master","pushedAt":"2024-05-17T19:15:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Expose Z3_get_version in the high-level interface","shortMessageHtmlLink":"Expose Z3_get_version in the high-level interface"}},{"before":"14685ba368dfa5c47460ac31bad8564cf9f9345d","after":"182a6a8cdf23fcbb8112bc85648d9c0ab87e9c9f","ref":"refs/heads/master","pushedAt":"2024-04-01T16:14:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"[deps] Bump env_logger to 0.11","shortMessageHtmlLink":"[deps] Bump env_logger to 0.11"}},{"before":"247d308f27d8b59152ad402e2d8b13d617a1a6a1","after":"14685ba368dfa5c47460ac31bad8564cf9f9345d","ref":"refs/heads/master","pushedAt":"2024-04-01T16:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Update a test to be less specific.\n\nThe answer varies between versions of Z3.","shortMessageHtmlLink":"Update a test to be less specific."}},{"before":"64cc930a362dce7818f8e9e776545bdd27acc0d1","after":"247d308f27d8b59152ad402e2d8b13d617a1a6a1","ref":"refs/heads/master","pushedAt":"2024-02-13T16:17:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Fix two typos.","shortMessageHtmlLink":"Fix two typos."}},{"before":"ab6753443a66986d7562ffaff061bc35db0f91aa","after":"64cc930a362dce7818f8e9e776545bdd27acc0d1","ref":"refs/heads/master","pushedAt":"2024-01-19T02:23:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"optimize: add parameter configuration API","shortMessageHtmlLink":"optimize: add parameter configuration API"}},{"before":"ad6273fb51b78a13ff97cbdcee8fe48ed5d030a5","after":"ab6753443a66986d7562ffaff061bc35db0f91aa","ref":"refs/heads/master","pushedAt":"2023-12-18T23:37:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"add new_const and fresh_const functions to Dynamic","shortMessageHtmlLink":"add new_const and fresh_const functions to Dynamic"}},{"before":"50331a4d32bdb95aeddd88c1bf8a7c268ef72891","after":"ad6273fb51b78a13ff97cbdcee8fe48ed5d030a5","ref":"refs/heads/master","pushedAt":"2023-12-18T23:35:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"sort: fix array_range and array_domain lifetimes","shortMessageHtmlLink":"sort: fix array_range and array_domain lifetimes"}},{"before":null,"after":"6dbccddced411499a80c9d0bd36a414678266743","ref":"refs/heads/update-bundled-z3","pushedAt":"2023-12-05T16:16:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"Update bundled Z3 to z3 4.12.3.\n\nThis also changes a test to be less specific about the exact answer\nsince it varies between versions of Z3.","shortMessageHtmlLink":"Update bundled Z3 to z3 4.12.3."}},{"before":"06dc5405652ab9f06f935f89efdbf3c60fc2930f","after":null,"ref":"refs/heads/pkg-config","pushedAt":"2023-11-25T02:21:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}},{"before":"985bf036dae21b64de50c5c626fe0809e9dd5d86","after":"50331a4d32bdb95aeddd88c1bf8a7c268ef72891","ref":"refs/heads/master","pushedAt":"2023-11-25T02:21:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"z3-sys: Use `pkg-config` when using system libs.\n\nThis helps find the lib and includes more accurately than not\nusing it.\n\nThis builds on previous work by @poscat0x04 and @wtdcode.","shortMessageHtmlLink":"z3-sys: Use <code>pkg-config</code> when using system libs."}},{"before":null,"after":"06dc5405652ab9f06f935f89efdbf3c60fc2930f","ref":"refs/heads/pkg-config","pushedAt":"2023-11-25T01:57:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"},"commit":{"message":"z3-sys: Use `pkg-config` when using system libs.\n\nThis helps find the lib and includes more accurately than not\nusing it.\n\nThis builds on previous work by @poscat0x04 and @wtdcode.","shortMessageHtmlLink":"z3-sys: Use <code>pkg-config</code> when using system libs."}},{"before":"8ac599cd401a1d99e5a64609940a89ab5cfccf68","after":null,"ref":"refs/heads/update-bindgen","pushedAt":"2023-11-20T23:39:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"waywardmonkeys","name":"Bruce Mitchener","path":"/waywardmonkeys","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/178582?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWLvwfwA","startCursor":null,"endCursor":null}},"title":"Activity · prove-rs/z3.rs"}