`ml_z_extract_small` is available in `zarith_stubs_js` v0.16.1

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

`ml_z_extract_small` is available in `zarith_stubs_js` v0.16.1 #1071

Closed Halbaroth closed 5 months ago

Halbaroth commented 5 months ago

We don't need to define this primitive anymore.

bclement-ocp commented 5 months ago

Is the pin for the stubs required? Can we add a >= v0.16.1 version constraint instead?

Halbaroth commented 5 months ago

I also relaxed the constraint on js_of_ocaml and zarith_stubs_js requires ocaml>=4.14.0 so I bumped the tested version of the CI for the JS worker.