{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":76130366,"defaultBranch":"master","name":"Zarith","ownerLogin":"ocaml","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-10T18:34:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1841483?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1689789735.0","currentOid":""},"activityList":{"items":[{"before":"d0a89ee751dcd00977272ae278083900956fb505","after":"5f8e5e2ded3eaea063ac1a48029a9572069e1af8","ref":"refs/heads/master","pushedAt":"2024-01-03T16:31:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"CI: use OCaml 5.1.x instead of 5.0\n\nExcept on Windows, as I'm unsure why there was a Windows exception\nin the first place.","shortMessageHtmlLink":"CI: use OCaml 5.1.x instead of 5.0"}},{"before":"1898327152aa8846790c41a02c3ed32a186b1bf5","after":"d0a89ee751dcd00977272ae278083900956fb505","ref":"refs/heads/master","pushedAt":"2024-01-03T13:17:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Fail when unmarshaling would produce non-canonical big integers (#149)\n\nThis can happen with numbers marshaled on a 32-bit platform (including from JS-of-OCaml) and unmarshaled on a 64-bit platform.\r\n\r\nFixes: #148","shortMessageHtmlLink":"Fail when unmarshaling would produce non-canonical big integers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2035726628\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/149\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/149/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/149\">#149</a>)"}},{"before":"524a489cb10e17c9e3e55a3b74d1a9820d0a6a66","after":"1898327152aa8846790c41a02c3ed32a186b1bf5","ref":"refs/heads/master","pushedAt":"2024-01-03T09:09:35.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Merge pull request #150 from xavierleroy/revised-hash\n\nUse standard hash function for `Z.hash` and add `Z.seeded_hash`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2058664980\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/150/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/150\">#150</a> from xavierleroy/revised-hash"}},{"before":"9b19c59b7d8eb76bf45994f122863050a63fa506","after":"524a489cb10e17c9e3e55a3b74d1a9820d0a6a66","ref":"refs/heads/master","pushedAt":"2023-11-20T13:29:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Fast path for Z.divisible on small arguments (#147)\n\nCloses: #140","shortMessageHtmlLink":"Fast path for Z.divisible on small arguments (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1989331519\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/147/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/147\">#147</a>)"}},{"before":"2bb4cdbe9c8d091c1f384f1cd21e8ecd02db209e","after":"f7bb20ba09868643d6f17c91d23d8e8d70238b42","ref":"refs/heads/features/tommath-support","pushedAt":"2023-10-30T15:11:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"antoinemine","name":"Antoine Miné","path":"/antoinemine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10872381?s=80&v=4"},"commit":{"message":"Fix overflow error when compiling with LLVM 17.","shortMessageHtmlLink":"Fix overflow error when compiling with LLVM 17."}},{"before":"b9759081cffbcd692502b06af6cfbce97ccabc18","after":"9b19c59b7d8eb76bf45994f122863050a63fa506","ref":"refs/heads/master","pushedAt":"2023-07-24T10:01:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"antoinemine","name":"Antoine Miné","path":"/antoinemine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10872381?s=80&v=4"},"commit":{"message":"Merge pull request #144 from hhugo/jsoo-doc\n\nDocument js_of_ocaml support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1813901488\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/144/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/144\">#144</a> from hhugo/jsoo-doc"}},{"before":"94f674e70be15a16a04161b4991f8e928d37ceaa","after":null,"ref":"refs/tags/release-1.13","pushedAt":"2023-07-19T18:01:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"}},{"before":"94f674e70be15a16a04161b4991f8e928d37ceaa","after":"b9759081cffbcd692502b06af6cfbce97ccabc18","ref":"refs/heads/master","pushedAt":"2023-07-19T17:59:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Revert #124\n\n`-L/path/to/gmp/lib` must be passed as is to `ocamlmklib`, not behind a `-ldopt` flag, otherwise it is ignored in static linking situations.","shortMessageHtmlLink":"Revert <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1216696432\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/124\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/124/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/124\">#124</a>"}},{"before":"1958fd62240bc3e7322c596c03ef88f528079439","after":"94f674e70be15a16a04161b4991f8e928d37ceaa","ref":"refs/heads/master","pushedAt":"2023-07-19T08:59:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Updates for release 1.13","shortMessageHtmlLink":"Updates for release 1.13"}},{"before":"6cc5793e66a459e54808b02ec2089bcddd56cd0c","after":"1958fd62240bc3e7322c596c03ef88f528079439","ref":"refs/heads/master","pushedAt":"2023-07-18T13:01:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"More precise bounds for of_float conversion to small ints (#137)\n\nThis patch improves the bounds used in of_float to decide whether the double can fit into an OCaml 63-bit tagged int.\r\n\r\nThe upper bound is 0x3ffffffffffffe00, which is exactly representable as a double (2^53-1)*2^9 = (2-2^-52) * 2^61 as it is 1.1...1 * 2^61 with 52 ones after the 1, and is less than 2^62, so it is representable as an OCaml int.   The double just after 0x3ffffffffffffe00 is 0x4000000000000000, or 2^62, which does not fit an OCaml int.\r\n\r\nFor the lower bound, -0x4000000000000000 is exactly representable as a double, but also the smallest number that fits an OCaml int.","shortMessageHtmlLink":"More precise bounds for of_float conversion to small ints (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1643374609\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/137/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/137\">#137</a>)"}},{"before":"b139389b451e44ac128c500dec285bef24ce4a16","after":"6cc5793e66a459e54808b02ec2089bcddd56cd0c","ref":"refs/heads/master","pushedAt":"2023-07-18T09:49:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"config.guess is no more","shortMessageHtmlLink":"config.guess is no more"}},{"before":"0aa02d947e9a08225ddffa1e330af7d0e66fbaf8","after":"b139389b451e44ac128c500dec285bef24ce4a16","ref":"refs/heads/master","pushedAt":"2023-07-18T09:48:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"More CI jobs, including a Windows job  (#134)\n\nCo-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com>\r\nCo-authored-by: Xavier Leroy <xavier.leroy@college-de-france.fr>","shortMessageHtmlLink":"More CI jobs, including a Windows job (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1601625483\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/134\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/134/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/134\">#134</a>)"}},{"before":"5a0e433d011c21c58025bc467f1271d0cc060564","after":"0aa02d947e9a08225ddffa1e330af7d0e66fbaf8","ref":"refs/heads/master","pushedAt":"2023-07-18T09:01:15.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Merge pull request #132 from xavierleroy/configure-revised\n\nSome simplifications and improvements to the configure script","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1600157310\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/132\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/132/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/132\">#132</a> from xavierleroy/configure-revised"}},{"before":"6f840fb026ab6920104ea7b43140fdcc3e936914","after":"5a0e433d011c21c58025bc467f1271d0cc060564","ref":"refs/heads/master","pushedAt":"2023-07-18T08:52:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Configuration fix for Windows (#141)\n\nWhen testing for the availability of a library, don't pass compilation flags to the linker: they are not relevant and flexdll may not recognize them.\r\n\r\nCo-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com>","shortMessageHtmlLink":"Configuration fix for Windows (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1778984876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/141/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/141\">#141</a>)"}},{"before":"78b7762be330adc0341788f2594a5c232aeca828","after":"6f840fb026ab6920104ea7b43140fdcc3e936914","ref":"refs/heads/master","pushedAt":"2023-06-13T14:18:52.827Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Add unsigned conversions (to|fits)_(int32|int64|nativeint)_unsigned (#113)","shortMessageHtmlLink":"Add unsigned conversions (to|fits)_(int32|int64|nativeint)_unsigned (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1099626307\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/113\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/113/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/113\">#…</a>"}},{"before":"a6ad837b1275c9194f998681ed068840756a2086","after":"78b7762be330adc0341788f2594a5c232aeca828","ref":"refs/heads/master","pushedAt":"2023-06-13T14:14:50.091Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Install Zarith_version.cmx (#139)\n\nWith the flambda variants of the ocaml compiler, compilation failed with\r\n`Error (warning 58 [no-cmx-file]): no cmx file was found in path for module Zarith_version, and its interface was not compiled with -opaque`","shortMessageHtmlLink":"Install Zarith_version.cmx (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1721734402\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/139\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/139/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/139\">#139</a>)"}},{"before":"6cd7ed6b7493196c90991586cea2ad361134365b","after":"12c903f8422e8e9d1c9d97c12bdf903e9ac20af5","ref":"refs/heads/feature/unsigned-conv","pushedAt":"2023-03-31T14:55:42.873Z","pushType":"push","commitsCount":30,"pusher":{"login":"antoinemine","name":"Antoine Miné","path":"/antoinemine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10872381?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/unsigned-conv","shortMessageHtmlLink":"Merge branch 'master' into feature/unsigned-conv"}},{"before":null,"after":"fc82d493dc2584d481798af91cb19be19936cec9","ref":"refs/heads/fix/of_float","pushedAt":"2023-03-28T07:29:50.641Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"antoinemine","name":"Antoine Miné","path":"/antoinemine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10872381?s=80&v=4"},"commit":{"message":"more precise bounds for of_float conversion to small ints","shortMessageHtmlLink":"more precise bounds for of_float conversion to small ints"}},{"before":"6ce46a5d11f5e13c89068f12fd85ce9b9497cd96","after":"2bb4cdbe9c8d091c1f384f1cd21e8ecd02db209e","ref":"refs/heads/features/tommath-support","pushedAt":"2023-03-28T07:27:50.365Z","pushType":"push","commitsCount":1,"pusher":{"login":"antoinemine","name":"Antoine Miné","path":"/antoinemine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10872381?s=80&v=4"},"commit":{"message":"fix 64-bit bounds for convertion from double","shortMessageHtmlLink":"fix 64-bit bounds for convertion from double"}},{"before":"0083fbd986570a2906461a83ab68b6823466fcc7","after":"a6ad837b1275c9194f998681ed068840756a2086","ref":"refs/heads/master","pushedAt":"2023-03-13T18:40:06.084Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"xavierleroy","name":"Xavier Leroy","path":"/xavierleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=80&v=4"},"commit":{"message":"Use ocamlc to test the C compiler in configure (#135)\n\nThe build uses ocamlc to compile C files, so it's more reliable to test C compilation and linking using $ocamlc than using $cc.\r\n\r\nAlso: add .gitattributes for Windows\r\n\r\nCo-authored-by: Xavier Leroy <xavier.leroy@college-de-france.fr>","shortMessageHtmlLink":"Use ocamlc to test the C compiler in configure (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1602426057\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ocaml/Zarith/issues/135\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ocaml/Zarith/pull/135/hovercard\" href=\"https://github.com/ocaml/Zarith/pull/135\">#135</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1vvQBQA","startCursor":null,"endCursor":null}},"title":"Activity · ocaml/Zarith"}