Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Publish Z_mlgmpidl module on opam #119

@sim642

Description

@sim642

As pointed out in #118, the Z_mlgmpidl module present here can be used, but it's not built or packaged on opam. Since it works, it shouldn't hurt to also publish it on opam.
It would be useful for Apron users (e.g. Goblint, MOPSA, Frama-C, etc.), because the alternative is to perform the conversions through string, which isn't very pleasing, or float, which defeats the point of big integers.

Of course the module depends on mlgmpidl, so it wouldn't make sense for the module to be part of the "zarith" package, which would have to have an additional dependency for no good reason. Therefore, that single module could be published as a separate package like "zarith-mlgmpidl", which could still be defined in this repository and depend on both zarith and mlgmpidl.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions