Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ocaml/Zarith issues and pull requests

#162 - feat: add PRNG to big_int

Pull Request - State: closed - Opened by liyishuai 4 months ago - 3 comments

#159 - Add solver for linear Diophantine equations

Pull Request - State: open - Opened by xavierleroy 7 months ago

#158 - fix "intergers" typo in `README`

Pull Request - State: closed - Opened by Rudxain 10 months ago

#157 - Steps towards MSVC support

Pull Request - State: closed - Opened by dra27 11 months ago - 1 comment

#156 - Compiling Zarith 1.14 on MacOS ARM

Issue - State: open - Opened by arozovyk 11 months ago - 1 comment

#155 - LibTomMath backend support

Pull Request - State: open - Opened by antoinemine 12 months ago - 12 comments

#154 - Issue while installing `Zarith`

Issue - State: closed - Opened by amit9oct about 1 year ago - 5 comments

#153 - Switch to opam 2.2

Pull Request - State: closed - Opened by hhugo about 1 year ago - 9 comments

#152 - Error Z.t is not compatible with type Big_int.big_int

Issue - State: closed - Opened by jjttkk over 1 year ago - 3 comments

#151 - Any hard feelings against Q.of_bigints?

Issue - State: closed - Opened by UnixJunkie over 1 year ago - 3 comments

#150 - Use standard hash function for `Z.hash` and add `Z.seeded_hash`

Pull Request - State: closed - Opened by xavierleroy over 1 year ago - 4 comments

#149 - Fail when unmarshaling would produce non-canonical big integers

Pull Request - State: closed - Opened by xavierleroy over 1 year ago - 2 comments

#147 - Fast path for Z.divisible on small arguments

Pull Request - State: closed - Opened by xavierleroy over 1 year ago - 1 comment

#146 - Requesting `Z.of_int128` and `Z.of_int256` and its unsigned versions

Issue - State: closed - Opened by basavesh almost 2 years ago - 1 comment

#145 - Hash function improvements

Pull Request - State: closed - Opened by vouillon almost 2 years ago - 4 comments

#144 - Document js_of_ocaml support

Pull Request - State: closed - Opened by hhugo about 2 years ago

#143 - [build] [wip] Support for the dune build system v2

Pull Request - State: open - Opened by hhugo about 2 years ago - 3 comments

#142 - Any plans to release new version?🤔

Issue - State: closed - Opened by kloczek about 2 years ago - 5 comments

#141 - Fix for windows and OCaml 5

Pull Request - State: closed - Opened by hhugo about 2 years ago

#140 - divisible is slow

Issue - State: closed - Opened by craff about 2 years ago - 1 comment

#139 - Install Zarith_version.cmx

Pull Request - State: closed - Opened by pirbo about 2 years ago

#138 - Redefinition of int operators

Issue - State: closed - Opened by michel1948 over 2 years ago - 3 comments

#137 - more precise bounds for of_float conversion to small ints

Pull Request - State: closed - Opened by antoinemine over 2 years ago - 3 comments

#136 - Setting `OCAMLFIND_DESTDIR` can mess with opam installation

Issue - State: open - Opened by Alizter over 2 years ago - 5 comments

#135 - Use ocamlc to test the C compiler in configure

Pull Request - State: closed - Opened by dra27 over 2 years ago - 2 comments

#134 - More CI jobs (and add a windows job)

Pull Request - State: closed - Opened by hhugo over 2 years ago - 5 comments

#133 - CI

Pull Request - State: closed - Opened by hhugo over 2 years ago - 1 comment

#132 - Some simplifications and improvements to the configure script

Pull Request - State: closed - Opened by xavierleroy over 2 years ago - 9 comments

#131 - riscv support: update config.guess to latest upstream version from autotools

Pull Request - State: closed - Opened by avsm over 2 years ago - 1 comment

#130 - trying to install zarith on cygwin (with opam, of course)

Issue - State: closed - Opened by RBornat over 2 years ago - 3 comments

#129 - Update project.mak

Pull Request - State: closed - Opened by atupone over 2 years ago - 5 comments

#128 - Add functions to generate integers pseudo-randomly

Pull Request - State: closed - Opened by xavierleroy almost 3 years ago - 7 comments

#127 - Typo in q.mli

Issue - State: closed - Opened by AshineFoster almost 3 years ago - 1 comment

#126 - Naive question about static linking

Issue - State: open - Opened by RBornat almost 3 years ago - 2 comments

#125 - Building with ocamlc: make: posix_spawn: ocamlopt: No such file or directory

Issue - State: closed - Opened by barracuda156 about 3 years ago - 12 comments

#124 - pass LDFLAGS to ocamlmklib via -ldopt

Pull Request - State: closed - Opened by mroch over 3 years ago - 9 comments

#123 - Is the internal representation of Z values canonical?

Issue - State: closed - Opened by yurug over 3 years ago - 4 comments

#122 - Support MSVC compiler

Pull Request - State: closed - Opened by jonahbeckford over 3 years ago - 1 comment

#121 - Add license to opam metadata

Pull Request - State: closed - Opened by psafont over 3 years ago - 1 comment

#120 - shell: test -a|o is not POSIX

Pull Request - State: closed - Opened by concatime over 3 years ago

#119 - Publish Z_mlgmpidl module on opam

Issue - State: open - Opened by sim642 over 3 years ago - 2 comments

#118 - Fix Z_mlgmpidl for mlgmpidl >= 1.2

Pull Request - State: closed - Opened by sim642 over 3 years ago

#117 - ocamldoc is not required to build Zarith

Pull Request - State: closed - Opened by dra27 over 3 years ago

#116 - Fixed a typo in the README

Pull Request - State: closed - Opened by 4y8 over 3 years ago

#115 - Prepare v1.12+dune

Pull Request - State: closed - Opened by dinosaure over 3 years ago

#114 - Dunify and be compatible with MirageOS 4

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 1 comment

#113 - Feature/unsigned conv

Pull Request - State: closed - Opened by antoinemine over 3 years ago - 7 comments

#112 - add plugin directives in META (issue #102)

Pull Request - State: closed - Opened by antoinemine over 3 years ago

#111 - Mars

Issue - State: closed - Opened by Bartoloresto over 3 years ago - 1 comment

#110 - Suggestion: having _opt version without exceptions

Issue - State: closed - Opened by clarus over 3 years ago - 2 comments

#109 - Fix typo in ml_z_mul.

Pull Request - State: closed - Opened by bschommer over 3 years ago - 1 comment

#108 - Fix `ml_z_remove` w.r.t. GC rules

Pull Request - State: closed - Opened by xclerc over 3 years ago

#107 - Add debug info

Pull Request - State: closed - Opened by hhugo over 3 years ago - 7 comments

#106 - remove assumption on integer size

Pull Request - State: closed - Opened by hhugo almost 4 years ago - 2 comments

#105 - Add big_int_of_float

Pull Request - State: closed - Opened by liyishuai almost 4 years ago - 6 comments

#104 - Cannot convert large integers to int64

Issue - State: closed - Opened by mlemerre almost 4 years ago - 4 comments

#103 - Feature request: Modular (or Machine) arithmetic

Issue - State: closed - Opened by recoules about 4 years ago - 10 comments

#102 - META file is missing plugin declarations

Issue - State: closed - Opened by recoules about 4 years ago

#101 - Build fails on Cygwin

Issue - State: closed - Opened by kcrary over 4 years ago - 3 comments

#100 - `to_bits` and `of_bits` for big endian ordering

Issue - State: closed - Opened by pukkamustard over 4 years ago - 2 comments

#99 - Feature request: Z.random

Issue - State: closed - Opened by dieggsy over 4 years ago - 6 comments

#98 - Add windows to the CI

Issue - State: closed - Opened by hhugo over 4 years ago - 1 comment

#97 - add @since annotations on infix operators

Pull Request - State: closed - Opened by c-cube over 4 years ago - 5 comments

#96 - asking for a release

Issue - State: closed - Opened by hannesm over 4 years ago - 3 comments

#95 - Add Zarith formula to Homebrew

Issue - State: closed - Opened by tchajed over 4 years ago - 2 comments

#94 - Remove source preprocessing and simplify configuration

Pull Request - State: closed - Opened by xavierleroy over 4 years ago - 4 comments

#93 - Fix parallel build.

Pull Request - State: closed - Opened by silene over 4 years ago

#92 - Fix benchmark for subtraction.

Pull Request - State: closed - Opened by silene over 4 years ago

#91 - Update Changes

Pull Request - State: closed - Opened by hhugo over 4 years ago

#90 - Add fast path when extraction leads to intnat

Pull Request - State: closed - Opened by recoules over 4 years ago - 4 comments

#89 - Add fast path when extraction leads to intnat

Pull Request - State: closed - Opened by recoules over 4 years ago

#88 - Suggestion: fast path for ml_z_extract when len < Z_BASE2_LENGTH_OP

Issue - State: closed - Opened by recoules almost 5 years ago - 2 comments
Labels: enhancement

#87 - remove preprocessing for VERSION and NOALLOC

Pull Request - State: closed - Opened by hhugo almost 5 years ago - 2 comments

#86 - no preprocessing for z.ml{,i}

Pull Request - State: closed - Opened by hhugo almost 5 years ago

#85 - Optimize the fast paths for comparison and equality tests

Pull Request - State: closed - Opened by xavierleroy almost 5 years ago - 6 comments

#84 - Always represent `min_int` by a tagged integer

Pull Request - State: closed - Opened by xavierleroy almost 5 years ago - 2 comments

#83 - min_int has two representations

Issue - State: closed - Opened by xavierleroy almost 5 years ago - 8 comments

#82 - Make a new release (1.11 ?)

Issue - State: closed - Opened by hhugo almost 5 years ago - 3 comments

#81 - Is this library safe to `Hashtbl.hash_param`?

Issue - State: closed - Opened by LdBeth almost 5 years ago - 2 comments

#80 - configure: detect 'ar' tool

Pull Request - State: closed - Opened by jsmolic almost 5 years ago - 2 comments

#79 - Writing the fast path in OCaml instead of in assembly language

Pull Request - State: closed - Opened by xavierleroy almost 5 years ago - 16 comments

#78 - multiple fixes for of_string functions

Pull Request - State: closed - Opened by hhugo almost 5 years ago - 8 comments

#77 - gmp.h not found when compiling with `4.11.1+musl+static+flambda`

Issue - State: closed - Opened by mseri almost 5 years ago - 8 comments

#76 - there is no ocamldoc in Big_int_Z

Issue - State: closed - Opened by UnixJunkie almost 5 years ago - 3 comments

#75 - {Q,Z},of_string accept underscores

Pull Request - State: closed - Opened by hhugo almost 5 years ago - 6 comments

#74 - Fix Q.to_float in case of denormal numbers (issue #29)

Pull Request - State: closed - Opened by pascal-cuoq almost 5 years ago - 1 comment

#73 - [build] [wip] Support for the dune build system.

Pull Request - State: closed - Opened by ejgallego almost 5 years ago - 11 comments

#72 - Fix Q.of_string

Pull Request - State: closed - Opened by hhugo almost 5 years ago - 12 comments

#71 - Make Z.of_string and Q.of_string support underscores

Issue - State: closed - Opened by hhugo almost 5 years ago

#70 - ld: illegal text-relocation ...

Issue - State: closed - Opened by dbl001 almost 5 years ago - 3 comments

#69 - Q.t is exposed, allowing construction of non-canonical values

Issue - State: closed - Opened by Elnatan about 5 years ago - 2 comments

#68 - Use [@@noalloc] directly.

Pull Request - State: closed - Opened by bschommer about 5 years ago

#67 - Failed linking when trying to use zarith.h

Issue - State: closed - Opened by disteph over 5 years ago - 8 comments

#66 - Add support for some more mpz functions

Pull Request - State: closed - Opened by antoinemine over 5 years ago

#65 - improve Q.of_string to make it handle decimal point and scientific notation

Pull Request - State: closed - Opened by ghilesZ over 5 years ago - 6 comments

#64 - Document js_of_ocaml support ?

Issue - State: closed - Opened by hhugo almost 6 years ago - 3 comments

#63 - make install lacks DESTDIR support for findlib

Issue - State: closed - Opened by olafhering almost 6 years ago - 5 comments