Small library to compute maximal sharing of OCaml datastructures.
License
ppedrot/ocaml-compactor
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This library uses Hopcroft algorithm to minimize Coq file objects. It is adaptable to any OCaml structure easily. Article describing the algorithm and its justification (in French): http://hal.archives-ouvertes.fr/hal-00779752/ Hopcroft implementation is taken from: http://arxiv.org/abs/0802.2826
About
Small library to compute maximal sharing of OCaml datastructures.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published