Skip to content

Issues: ocaml/Zarith

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
7 Open 66 Closed
7 Open 66 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Issue while installing Zarith
#154 by amit9oct was closed Sep 27, 2024
5
Error Z.t is not compatible with type Big_int.big_int
#152 by jjttkk was closed Mar 11, 2024
3
Any hard feelings against Q.of_bigints?
#151 by UnixJunkie was closed Jan 11, 2024
3
Non-canonical values when deserializing large integers from 32 bits arch on a 64 bits arch
#148 by bclement-ocp was closed Jan 3, 2024
1
5
Requesting Z.of_int128 and Z.of_int256 and its unsigned versions
#146 by basavesh was closed Aug 7, 2023
1
Any plans to release new version?🤔
#142 by kloczek was closed Jul 19, 2023
5
divisible is slow
#140 by craff was closed Nov 20, 2023
1
Redefinition of int operators
#138 by michel1948 was closed Apr 28, 2023
3
trying to install zarith on cygwin (with opam, of course)
#130 by RBornat was closed Feb 16, 2023
3
Typo in q.mli
#127 by AshineFoster was closed Jan 2, 2023
1
Building with ocamlc: make: posix_spawn: ocamlopt: No such file or directory
#125 by barracuda156 was closed May 26, 2022
12
Is the internal representation of Z values canonical?
#123 by yurug was closed Apr 7, 2022
4
Mars
#111 by Bartoloresto was closed Jan 4, 2022
1
Suggestion: having _opt version without exceptions
#110 by clarus was closed Jan 5, 2022
2
Cannot convert large integers to int64
#104 by mlemerre was closed Jun 13, 2023
1
4
Feature request: Modular (or Machine) arithmetic
#103 by recoules was closed Jan 2, 2023
10
META file is missing plugin declarations
#102 by recoules was closed Jan 5, 2022
1
Build fails on Cygwin
#101 by kcrary was closed Apr 26, 2021
3
to_bits and of_bits for big endian ordering
#100 by pukkamustard was closed Apr 18, 2021
2
Feature request: Z.random
#99 by dieggsy was closed Mar 9, 2023
6
Add windows to the CI
#98 by hhugo was closed Jul 18, 2023
1
1
asking for a release
#96 by hannesm was closed Mar 3, 2021
3
Add Zarith formula to Homebrew
#95 by tchajed was closed Jan 10, 2021
2
Suggestion: fast path for ml_z_extract when len < Z_BASE2_LENGTH_OP enhancement
#88 by recoules was closed Jan 2, 2023
2
min_int has two representations
#83 by xavierleroy was closed Oct 26, 2020
1
8
ProTip! Follow long discussions with comments:>50.