Shiwei Weng 翁士伟

`cmo` files have different digest on different platforms and ocaml 5.1.1 variant option

2

This issue comes from this Discuss [post](https://discuss.ocaml.org/t/is-some-recent-change-related-to-the-platform-agnostic-of-cmo-files/14125/1) and encouraged by @dra27 . We used to deliver students some reference implementation using compiled `cmo` files for years. They're built on one...

Manually set output width

10

Is it possible to set output width manually? I searched the issues and found this [c_stub](https://github.com/mirage/alcotest/blob/master/src/alcotest/alcotest_stubs.c#L53), but I haven't figured out how to set it, or how I can set...

This is the follow-up fix for commit c69f3ee. There is a missing reference to the old file in the examples, that prevents `dune subst` used in the opam installation.

WIP: Migrating OCaml binding to CMake

1

It's my WIP working on migrating the building of OCaml binding to CMake. I think the majority of the work is done. I started by mimicking the other bindings and...

https://github.com/Z3Prover/z3/blob/8fe357f1f213b88a679f72e3d575cae2d3e47b3a/src/api/python/setup.py#L10-L14 Searching in the code base shows a tiny remaining code using `distutils` that is already deprecated in Python 3.12. p.s. I have no idea how the code will be...