Thomas Braibant
Thomas Braibant
Right now, `codoc` is not in `https://opam.ocaml.org/packages/` (nor today's `opam list -a`). I do not see how the installation instructions in the README can go through (`opam install codoc` fails,...
Reading the "Numeric conversion functions" of the lib, it's not clear to me whether the functions there will raise if one tries to convert, e.g., an int32 into an int24,...
With the current API, one can store all flavor of ints inside regular OCaml arrays, but this means that one loose a lot of bits when using, e.g., arrays of...
Hi, I have an example of code that runs perfectly fine on Linux and is broken on Windows. A simplified version of the code is the following one. ``` let...
Old versions of CentOS (e.g., 5.8) do not seem to define the aforementioned symbols (see https://gist.github.com/braibant/8954c29d7709b11ae934 for the `limits.h` header file). Quick and dirty fix here https://gist.github.com/braibant/7ae34bc8df7adfe9b12e
I am looking at the stubs generated using `Cstubs_inverted` and I am wondering to what extent these stubs are usable when used in the context of a multi-threaded application. Here...
We have a situation in which we produce a main executable that dynamically load a shared library using Ctypes Dl mechanism. The shared library is defined using reverse bindings, and...
Hi, I am updating some code using zstd from 1.3.4 to 1.3.8, and encountered one issue in when updating client code which seems related to the changes in dictionary training....
We are investigating some strange behaviours of one of our bindings on Windows. Our bindings currently use the `Foreign` approach, and we would like to turn to `Cstubs`. It is...
We should add some exercises in a true "Software Foundation" spirit. - For instance, adding support for mult and minus - Adding an example of real reflexive decision/simplification procedure