Package store.0.1

[bclement-ocp]

Store is a library to add snapshotting capabilities to imperative data
structure with a low runtime cost and safe, user-friendly APIs. It is designed
for (and works best with) applications that exploit backtracking algorithms,
such as SMT solvers, type-checking and type-inference algorithms.

The design of the Store library is described in the ICFP'24 paper:

Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer. 2024.
Snapshottable Stores.
Proc. ACM Program. Lang. 8, ICFP, Article 248 (August 2024), 32 pages.
https://doi.org/10.1145/3674637

Homepage: https://gitlab.com/basile.clement/store
Bug tracker: https://gitlab.com/basile.clement/store/-/issues

[bclement-ocp]

CI complains that:

[ERROR] Cannot sync /home/opam/ into /home/opam/.opam/4.05/.opam-switch/sources/store: they overlap
[ERROR] Failed to get sources of store.0.1: /home/opam/

This looks like an issue with the CI rather than the package but I'm not sure.

[bclement-ocp]

Oh no it is obviously an issue with the package… Derp. Fix incoming.

src: ""

[bclement-ocp]

Should be good now. I can squash the commits if needed.

[mseri]

Thanks