issues
search
ocaml
/
Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Other
226
stars
69
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Steps towards MSVC support
#157
dra27
closed
6 days ago
1
Compiling Zarith 1.14 on MacOS ARM
#156
arozovyk
opened
2 weeks ago
1
LibTomMath backend support
#155
antoinemine
opened
3 weeks ago
8
Issue while installing `Zarith`
#154
amit9oct
opened
2 months ago
4
Switch to opam 2.2
#153
hhugo
closed
2 months ago
9
Error Z.t is not compatible with type Big_int.big_int
#152
jjttkk
closed
6 months ago
3
Any hard feelings against Q.of_bigints?
#151
UnixJunkie
closed
8 months ago
3
Use standard hash function for `Z.hash` and add `Z.seeded_hash`
#150
xavierleroy
closed
8 months ago
4
Fail when unmarshaling would produce non-canonical big integers
#149
xavierleroy
closed
8 months ago
2
Non-canonical values when deserializing large integers from 32 bits arch on a 64 bits arch
#148
bclement-ocp
closed
8 months ago
5
Fast path for Z.divisible on small arguments
#147
xavierleroy
closed
10 months ago
1
Requesting `Z.of_int128` and `Z.of_int256` and its unsigned versions
#146
basavesh
closed
1 year ago
1
Hash function improvements
#145
vouillon
closed
8 months ago
4
Document js_of_ocaml support
#144
hhugo
closed
1 year ago
0
[build] [wip] Support for the dune build system v2
#143
hhugo
opened
1 year ago
3
Any plans to release new version?🤔
#142
kloczek
closed
1 year ago
5
Fix for windows and OCaml 5
#141
hhugo
closed
1 year ago
0
divisible is slow
#140
craff
closed
10 months ago
1
Install Zarith_version.cmx
#139
pirbo
closed
1 year ago
0
Redefinition of int operators
#138
michel1948
closed
1 year ago
3
more precise bounds for of_float conversion to small ints
#137
antoinemine
closed
1 year ago
3
Setting `OCAMLFIND_DESTDIR` can mess with opam installation
#136
Alizter
opened
1 year ago
5
Use ocamlc to test the C compiler in configure
#135
dra27
closed
1 year ago
2
More CI jobs (and add a windows job)
#134
hhugo
closed
1 year ago
5
CI
#133
hhugo
closed
1 year ago
1
Some simplifications and improvements to the configure script
#132
xavierleroy
closed
1 year ago
9
riscv support: update config.guess to latest upstream version from autotools
#131
avsm
closed
1 year ago
1
trying to install zarith on cygwin (with opam, of course)
#130
RBornat
closed
1 year ago
3
Update project.mak
#129
atupone
closed
1 year ago
5
Add functions to generate integers pseudo-randomly
#128
xavierleroy
closed
1 year ago
7
Typo in q.mli
#127
AshineFoster
closed
1 year ago
1
Naive question about static linking
#126
RBornat
opened
2 years ago
2
Building with ocamlc: make: posix_spawn: ocamlopt: No such file or directory
#125
barracuda156
closed
2 years ago
12
pass LDFLAGS to ocamlmklib via -ldopt
#124
mroch
closed
1 year ago
9
Is the internal representation of Z values canonical?
#123
yurug
closed
2 years ago
4
Support MSVC compiler
#122
jonahbeckford
closed
2 years ago
1
Add license to opam metadata
#121
psafont
closed
2 years ago
1
shell: test -a|o is not POSIX
#120
concatime
closed
2 years ago
0
Publish Z_mlgmpidl module on opam
#119
sim642
opened
2 years ago
2
Fix Z_mlgmpidl for mlgmpidl >= 1.2
#118
sim642
closed
2 years ago
0
ocamldoc is not required to build Zarith
#117
dra27
closed
2 years ago
0
Fixed a typo in the README
#116
4y8
closed
2 years ago
0
Prepare v1.12+dune
#115
dinosaure
closed
2 years ago
0
Dunify and be compatible with MirageOS 4
#114
dinosaure
closed
2 years ago
1
Feature/unsigned conv
#113
antoinemine
closed
1 year ago
7
add plugin directives in META (issue #102)
#112
antoinemine
closed
2 years ago
0
Mars
#111
Bartoloresto
closed
2 years ago
1
Suggestion: having _opt version without exceptions
#110
clarus
closed
2 years ago
2
Fix typo in ml_z_mul.
#109
bschommer
closed
2 years ago
1
Fix `ml_z_remove` w.r.t. GC rules
#108
xclerc
closed
2 years ago
0
Next